summaryrefslogtreecommitdiff
path: root/test/regress/regress0/uflra/Makefile.am
AgeCommit message (Expand)Author
2012-06-13- Added a loop to internally assert constraints that are marked as true.Tim King
2012-06-12Fix to yesterday's change in arithmetic.Tim King
2012-04-24This commit merges in the branch branches/arithmetic/congruence into trunk. H...Tim King
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-12-10attempt to fix bug 293: if a split on a trivial shared pair is requested from...Dejan Jovanović
2011-10-29support for proof regressions in other parts of the test treeMorgan Deters
2011-10-17Sharing workDejan Jovanović
2011-09-15additional stuff for sharing, Dejan Jovanović
2011-05-23fixes for "make dist" and "make doc", minor cleanupsMorgan Deters
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2011-01-05Commit for the theory engine and rewriter changes. Changes are substantial an...Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback