|
cmds
|
Added "design -reset-vlog"
|
2016-11-30 11:25:55 +01:00 |
|
equiv
|
Improved equiv_purge log output
|
2016-11-29 13:30:35 +01:00 |
|
fsm
|
Added support for fsm_encoding="user"
|
2016-11-02 13:15:49 +01:00 |
|
hierarchy
|
Added support for hierarchical defparams
|
2016-11-15 13:35:19 +01:00 |
|
memory
|
Typo fix.
|
2016-09-08 10:57:16 +03:00 |
|
opt
|
Added opt_rmdff support for $ff cells
|
2016-10-14 13:02:36 +02:00 |
|
sat
|
Bugfix in "miter -assert" handling of assumptions
|
2016-10-17 14:56:58 +02:00 |
|
techmap
|
Improved ABC default scripts
|
2016-11-19 18:20:54 +01:00 |
|
tests
|
Cosmetic fix in test_autotb.cc
|
2016-09-19 20:43:43 +02:00 |
