Clifford Wolf 84ced2bb8e Fixed a bug in "add -global_input"		2013-11-21 03:01:20 +01:00
..
abc	Renamed temp module generated by "abc" pass from "logic" to "netlist"	2013-11-19 01:03:57 +01:00
cmds	Fixed a bug in "add -global_input"	2013-11-21 03:01:20 +01:00
extract	Automatically run "proc" on extract map files	2013-07-24 20:19:08 +02:00
fsm	Added detection for endless recursion in fsm_detect pass	2013-10-30 00:47:58 +01:00
hierarchy	Added resolution of positional arguments to hierarchy pass	2013-11-03 09:42:51 +01:00
memory	Fixed help message typo (memory pass)	2013-10-30 00:47:31 +01:00
opt	Cleanups and bugfixes in response to new internal cell checker	2013-11-11 00:39:45 +01:00
proc	Added "proc_arst -global_arst" feature	2013-11-20 21:00:43 +01:00
sat	Improved user-friendliness of "sat" and "eval" expression parsing	2013-11-09 12:02:27 +01: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	Call internal checker more often	2013-11-10 23:24:21 +01:00