summaryrefslogtreecommitdiff
path: root/passes/sat/freduce.cc
Commit message (Expand)AuthorAge
* More "freduce" related fixes and improvementsClifford Wolf2014-01-02
* Some cleanups in freduce -inv mode (and switched from -noinv to -inv)Clifford Wolf2014-01-02
* Major rewrite of "freduce" commandClifford Wolf2014-01-02
* freduce performance fixClifford Wolf2013-08-10
* Added -try option to freduce passClifford Wolf2013-08-08
* Fixed topological ordering in freduce passClifford Wolf2013-08-07
* Small bugfixes in freduce passClifford Wolf2013-08-06
* Added freduce commandClifford Wolf2013-08-06