Age | Commit message (Expand) | Author |
---|---|---|
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ć |