aboutsummaryrefslogtreecommitdiffstats
path: root/passes/equiv
Commit message (Collapse)AuthorAgeFilesLines
...
* Added "equiv_make -blacklist <file> -encfile <file>"Clifford Wolf2015-01-312-5/+173
|
* Fixed bug in equiv_miterClifford Wolf2015-01-281-6/+6
|
* Added equiv_removeClifford Wolf2015-01-252-0/+84
|
* Added equiv_miterClifford Wolf2015-01-252-0/+344
|
* Various equiv_* improvementsClifford Wolf2015-01-244-14/+20
|
* Added dict/pool.sort()Clifford Wolf2015-01-241-0/+2
|
* Improvements in equiv_make, equiv_inductClifford Wolf2015-01-222-0/+46
|
* Added equiv_inductClifford Wolf2015-01-222-0/+182
|
* Various equiv_simple improvementsClifford Wolf2015-01-221-25/+50
|
* Moved equiv stuff to passes/equiv/Clifford Wolf2015-01-224-0/+600