Age | Commit message (Expand) | Author |
---|---|---|
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean |
2012-04-05 | Support to test the "dumper" mechanism in regressions (feeding dump output ba... | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-10-29 | support for proof regressions in other parts of the test tree | Morgan Deters |
2011-05-02 | adding some previously-failing "bug" test cases for bitvectors | Morgan Deters |
2011-04-20 | Minor mixed-bag commit. Expected performance impact negligible. | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
2011-04-18 | more work on CVC language | Morgan Deters |
2010-09-20 | hooking up the bitvector tests | Dejan Jovanović |