Clifford Wolf 6fe48cf41e equiv_purge bugfix, using SigChunk in Yosys namespace		2015-10-24 19:09:45 +02:00
..
cmds	Disabled "Skipping blackbox module" msg in show command	2015-10-23 20:11:05 +02:00
equiv	equiv_purge bugfix, using SigChunk in Yosys namespace	2015-10-24 19:09:45 +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	Fixed handling of driver-driver conflicts in wreduce	2015-10-24 13:44:35 +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	equiv_purge bugfix, using SigChunk in Yosys namespace	2015-10-24 19:09:45 +02:00
tests	Added "test_cell -noeval"	2015-09-25 17:27:18 +02:00