summaryrefslogtreecommitdiff
path: root/passes/equiv
Commit message (Expand)AuthorAge
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-21
* Added equiv_addClifford Wolf2015-02-08
* Improved performance in equiv_simpleClifford Wolf2015-02-01
* Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")Clifford Wolf2015-01-31
* Added "equiv_induct -undef"Clifford Wolf2015-01-31
* Added "equiv_simple -undef"Clifford Wolf2015-01-31
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-31
* Fixed bug in equiv_miterClifford Wolf2015-01-28
* Added equiv_removeClifford Wolf2015-01-25
* Added equiv_miterClifford Wolf2015-01-25
* Various equiv_* improvementsClifford Wolf2015-01-24
* Added dict/pool.sort()Clifford Wolf2015-01-24
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-22
* Added equiv_inductClifford Wolf2015-01-22
* Various equiv_simple improvementsClifford Wolf2015-01-22
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-22