5 commits

Author	SHA1	Message	Date
Clifford Wolf	ac7a175a3c	Improved equiv_purge log output	2016-11-29 13:30:35 +01:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	6fe48cf41e	equiv_purge bugfix, using SigChunk in Yosys namespace	2015-10-24 19:09:45 +02:00
Clifford Wolf	4cec1c058d	Added equiv_mark command	2015-10-23 23:56:58 +02:00
Clifford Wolf	84a07ffb8a	Added equiv_purge	2015-10-22 15:40:27 +02:00