|
cmds
|
Added "tee +INT -INT"
|
2016-09-06 17:43:24 +02:00 |
|
equiv
|
Added "yosys -D" feature
|
2016-04-21 23:28:37 +02:00 |
|
fsm
|
Minor bugfix in FSM reset state detection
|
2016-07-12 09:46:15 +02:00 |
|
hierarchy
|
Removed $predict again
|
2016-08-28 21:35:33 +02:00 |
|
memory
|
Typo fix.
|
2016-09-08 10:57:16 +03:00 |
|
opt
|
Added "opt_rmdff -keepdc"
|
2016-09-30 17:02:38 +02:00 |
|
proc
|
Added "proc_mux -ifx"
|
2016-06-06 17:15:50 +02:00 |
|
sat
|
Improvements in assertpmux
|
2016-09-07 12:42:16 +02:00 |
|
techmap
|
Bugfix in techmap parameter handling
|
2016-09-14 20:46:54 +02:00 |
|
tests
|
Cosmetic fix in test_autotb.cc
|
2016-09-19 20:43:43 +02:00 |
ed519f578e