10 commits

Author	SHA1	Message	Date
Clifford Wolf	9337e4999d	Improve log messages in equiv_make ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-01-19 16:20:40 +01:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	6416dfee93	Improved inout handling in equiv_make	2015-10-21 15:42:50 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	1d92915a55	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	2015-01-31 21:07:42 +01:00
Clifford Wolf	f80f5b721d	Added "equiv_make -blacklist <file> -encfile <file>"	2015-01-31 12:08:20 +01:00
Clifford Wolf	75bbeb828a	Various equiv_* improvements	2015-01-24 00:32:24 +01:00
Clifford Wolf	1cb4c925d0	Improvements in equiv_make, equiv_induct	2015-01-22 21:23:01 +01:00
Clifford Wolf	0a225f8b27	Moved equiv stuff to passes/equiv/	2015-01-22 12:03:15 +01:00

Renamed from passes/sat/equiv_make.cc (Browse further)