Clifford Wolf 4864736167 Bugfix in bram read-enable code		2015-09-25 14:22:33 +02:00
..
cmds	Added pivoting to qwp solver	2015-09-24 22:16:37 +02:00
equiv	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
fsm	Do not detect fsm state registers with init attribute	2015-09-21 11:54:00 +02:00
hierarchy	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
memory	Bugfix in bram read-enable code	2015-09-25 14:22:33 +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 nlutmap	2015-09-18 21:57:34 +02:00
tests	Re-created command-reference-manual.tex, copied some doc fixes to online help	2015-08-14 11:27:19 +02:00