Clifford Wolf e5116eeb77 Generalized blifparse API		2015-05-17 15:10:37 +02:00
..
cmds	Preserve important attributes in splitnets	2015-04-29 07:44:57 +02:00
equiv	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
fsm	Added $eq/$neq -> $logic_not/$reduce_bool optimization	2015-04-29 07:28:15 +02:00
hierarchy	Added "dffinit", Support for initialized Xilinx DFF	2015-04-04 19:00:15 +02:00
memory	Fixed memory_unpack for initialized memories	2015-04-29 19:55:32 +02:00
opt	Added $eq/$neq -> $logic_not/$reduce_bool optimization	2015-04-29 07:28:15 +02:00
proc	Minor fixes in handling of "init" attribute	2015-04-09 15:12:26 +02:00
sat	don't consider blackbox modules in "sat" command	2015-04-18 09:29:03 +02:00
techmap	Generalized blifparse API	2015-05-17 15:10:37 +02:00
tests	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00