Age | Commit message (Expand) | Author |
---|---|---|
2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
2012-08-21 | add some incremental in-tree regressions | Morgan Deters |
2012-06-13 | - Added a loop to internally assert constraints that are marked as true. | Tim King |
2012-06-11 | Fix to term normalization of integer equalities. Adds a regression test that ... | Tim King |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-05-07 | Fixing a bug with TheoryArith::ppAssert() and shared terms. | Tim King |
2012-04-17 | Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo... | Tim King |
2012-04-05 | Support to test the "dumper" mechanism in regressions (feeding dump output ba... | Morgan Deters |
2012-03-22 | some improvements to the sharing mechanism/interface | Dejan Jovanović |