Age | Commit message (Expand) | Author |
---|---|---|
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
2013-04-01 | Fixes for two bugs: | Morgan Deters |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2012-12-03 | Fix for fuzzer-found model bug | Clark Barrett |
2012-11-26 | Removing DioSolver::acceptableOriginalNodes(). This assertion was too strong,... | Tim King |
2012-11-25 | Adding a regression test from bug 462. | Tim King |
2012-11-19 | Adding hand minimized test for bug 450. | Tim King |
2012-11-15 | More fixes to model generation, with previously failing testcases | Clark Barrett |
2012-11-14 | bug fixes to models, array rewriter with previously failing testcases | Clark Barrett |
2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
2012-06-12 | bufixes and the bugs | Dejan Jovanović |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-05-15 | test cases | Dejan Jovanović |