summaryrefslogtreecommitdiff
path: root/passes/equiv/equiv_make.cc
Commit message (Collapse)AuthorAge
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-31
|
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-31
|
* Various equiv_* improvementsClifford Wolf2015-01-24
|
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-22
|
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-22