Clifford Wolf e666611534 Bugfix in resource sharing test		2015-01-27 19:30:06 +01:00
..
asicworld	Added autotest -e (do not use -noexpr on write_verilog)	2014-08-30 18:34:07 +02:00
bram	Refactoring of memory_bram and xilinx brams	2015-01-18 19:05:29 +01:00
fsm	Cosmetic changes to FSM tests	2014-08-21 17:40:49 +02:00
hana	Added autotest -e (do not use -noexpr on write_verilog)	2014-08-30 18:34:07 +02:00
memories	Added SAT-based write-port sharing to memory_share	2014-07-19 15:33:55 +02:00
realmath	Added "yosys -qq" to also quiet warning messages	2014-11-09 11:02:20 +01:00
sat	Added yet another resource sharing test case	2014-07-20 21:15:01 +02:00
share	Bugfix in resource sharing test	2015-01-27 19:30:06 +01:00
simple	improvements in muxtree/select_leaves test	2015-01-18 13:24:01 +01:00
techmap	Changed tests/techmap/mem_simple_4x1_map for new $mem/$memwr WR_EN interface	2014-07-16 14:08:51 +02:00
tools	Refactoring of memory_bram and xilinx brams	2015-01-18 19:05:29 +01:00
various	Added tests/various/constmsk_test.ys	2014-09-04 15:07:30 +02:00
vloghtb	Added "wreduce" to some of the standard test benches	2014-08-03 20:22:33 +02:00