Clifford Wolf 9ce7b0fc3b Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)

2014-02-12 13:11:58 +01:00

..

asicworld

Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v

2013-05-24 15:15:59 +02:00

hana

added more .gitignore files (make test)

2013-01-05 11:35:52 +01:00

sat

Added test cases for expose -evert-dff

2014-02-08 21:31:56 +01:00

simple

Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)

2014-02-03 13:01:45 +01:00

tools

Disabled "abc -dff" in "make test" for now (waiting for scorr bugfix in ABC)

2014-02-12 13:11:58 +01:00