abc
|
Minor fixes in abc build instructions and abc pass
|
2013-08-20 09:46:05 +02:00 |
extract
|
Automatically run "proc" on extract map files
|
2013-07-24 20:19:08 +02:00 |
fsm
|
Some fixes to improve determinism
|
2013-08-09 12:42:32 +02:00 |
memory
|
Added -nomap option to memory pass
|
2013-03-21 09:11:06 +01:00 |
opt
|
Added "clean -purge" and ";;;" support
|
2013-08-11 13:59:14 +02:00 |
sat
|
Added sat -ignore_div_by_zero switch
|
2013-08-15 11:40:01 +02:00 |
scc
|
fixed typos
|
2013-03-18 07:28:31 +01:00 |
submod
|
Renamed opt_rmunused to opt_clean
|
2013-06-05 07:07:31 +02:00 |
techmap
|
Added techmap -opt mode
|
2013-08-09 15:20:22 +02:00 |