cmds
|
Added "qwp -dump"
|
2015-09-20 22:36:35 +02:00 |
equiv
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
fsm
|
Added $logic_not handling to fsm_detect
|
2015-09-18 10:46:50 +02:00 |
hierarchy
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
sat
|
Added sat -show-regs, -show-public, -show-all
|
2015-08-18 17:14:30 +02:00 |
techmap
|
Added nlutmap
|
2015-09-18 21:57:34 +02:00 |