aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/freduce.cc
Commit message (Expand)AuthorAgeFilesLines
* freduce performance fixClifford Wolf2013-08-101-4/+8
* Added -try option to freduce passClifford Wolf2013-08-081-16/+44
* Fixed topological ordering in freduce passClifford Wolf2013-08-071-54/+67
* Small bugfixes in freduce passClifford Wolf2013-08-061-4/+14
* Added freduce commandClifford Wolf2013-08-061-0/+361