summaryrefslogtreecommitdiff
path: root/passes/sat/freduce.cc
Commit message (Expand)AuthorAge
* 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