|
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 |
8d6d5c30d9