Clifford Wolf d58c3eca3a Some test related fixes ... (incl. removal of three bad test cases)		2015-02-12 17:45:44 +01:00
..
abc	Fixed typos found by lintian	2015-02-01 21:49:55 +01:00
cmds	Added "scc -expect <N> -nofeedback"	2015-02-10 08:48:55 +01:00
equiv	Added equiv_add	2015-02-08 11:59:38 +01:00
fsm	Added onehot attribute	2015-02-04 18:52:54 +01:00
hierarchy	Fixed pattern matching in "hierarchy -generate"	2015-01-04 11:45:39 +01:00
memory	Added onehot attribute	2015-02-04 18:52:54 +01:00
opt	Less aggressive "share" defaults	2015-02-10 20:51:37 +01:00
proc	Added "proc_dlatch"	2015-02-12 16:56:01 +01:00
sat	Improved an error message	2015-01-28 00:46:00 +01:00
techmap	Added ENABLE_NDEBUG makefile options	2015-01-24 12:16:46 +01:00
tests	Some test related fixes	2015-02-12 17:45:44 +01:00