Clifford Wolf 4b6221478e Added simple $dlatch support to opt_rmdff		2015-05-23 09:45:48 +02:00
..
Makefile.inc	Fixed build with SMALL=1	2014-12-30 11:41:24 +01:00
opt.cc	Some cleanups in "clean"	2015-02-24 22:31:30 +01:00
opt_clean.cc	preserve used $-wires with init attribute in opt_clean	2015-05-22 08:20:29 +02:00
opt_const.cc	Added $eq/$neq -> $logic_not/$reduce_bool optimization	2015-04-29 07:28:15 +02:00
opt_muxtree.cc	Using design->selected_modules() in opt_*	2015-02-03 23:45:01 +01:00
opt_reduce.cc	Using design->selected_modules() in opt_*	2015-02-03 23:45:01 +01:00
opt_rmdff.cc	Added simple $dlatch support to opt_rmdff	2015-05-23 09:45:48 +02:00
opt_share.cc	Using design->selected_modules() in opt_*	2015-02-03 23:45:01 +01:00
share.cc	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
wreduce.cc	Added handling of bool-output cells to "wreduce"	2015-04-13 19:27:49 +02:00