Clifford Wolf db548800b6 Added buffer detection to "abc -lut"		2015-09-18 20:12:56 +02:00
..
cmds	Fixed port ordering in "splitnets" cmd	2015-09-01 13:10:36 +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
memory	Keep gcc from complaining about uninitialized variables	2015-08-14 23:26:49 +02:00
opt	Added detection of "mux inverter" chains in opt_const	2015-09-18 11:55:31 +02:00
proc	Re-created command-reference-manual.tex, copied some doc fixes to online help	2015-08-14 11:27:19 +02:00
sat	Added sat -show-regs, -show-public, -show-all	2015-08-18 17:14:30 +02:00
techmap	Added buffer detection to "abc -lut"	2015-09-18 20:12:56 +02:00
tests	Re-created command-reference-manual.tex, copied some doc fixes to online help	2015-08-14 11:27:19 +02:00