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