Clifford Wolf 910556560f Added $meminit cell type

2015-02-14 10:23:03 +01:00

..

abc

Fixed typos found by lintian

2015-02-01 21:49:55 +01:00

cmds

hotfix in "check" command

2015-02-13 14:40:49 +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

Added $meminit cell type

2015-02-14 10:23:03 +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