Clifford Wolf 8d6d5c30d9 Added WORDS parameter to $meminit

2015-07-31 10:40:09 +02:00

..

cmds

Fixed "check" command for inout ports

2015-07-27 09:54:58 +02:00

equiv

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

fsm

Bugfix in fsm_extract

2015-07-03 18:42:36 +02:00

hierarchy

Keep modules with $assume (like $assert)

2015-07-25 12:09:57 +02:00

memory

Added WORDS parameter to $meminit

2015-07-31 10:40:09 +02:00

opt

Some cleanups in opt_rmdff

2015-07-25 12:09:57 +02:00

proc

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00

sat

Added "miter -assert"

2015-07-25 12:09:57 +02:00

techmap

Fixed flatten $meminit handling

2015-07-30 21:43:41 +02:00

tests

Fixed trailing whitespaces

2015-07-02 11:14:30 +02:00