5 commits

Author	SHA1	Message	Date
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)