summaryrefslogtreecommitdiff
path: root/test/regress/regress0/preprocess
AgeCommit message (Expand)Author
2012-04-18add the missing BINARY variable in some test/regress makefilesKshitij Bansal
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
2011-10-29support for proof regressions in other parts of the test treeMorgan Deters
2011-07-05missing test caseDejan Jovanović
2011-07-05updated preprocessing and rewriting input equalities into inequalities for LRADejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback