summaryrefslogtreecommitdiff
path: root/test/regress/regress0/push-pop
AgeCommit message (Expand)Author
2013-04-26FCSimplex branch mergeTim King
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-11-30fix rewrite-rules syntax in regressionMorgan Deters
2012-11-29reliable benchmark corresponding to bug468Kshitij Bansal
2012-11-26fixup for incremental solvingDejan Jovanović
2012-11-26Disabling test/regress/regress0/push-pop/bug396.smt2. This takes 2m to run in...Tim King
2012-10-24fix for bug 429 Dejan Jovanović
2012-10-24two smaller random pure LRA push-pop cases that failDejan Jovanović
2012-10-06* Fix some regressions' expected outputs.Morgan Deters
2012-10-05Bug-related:Morgan Deters
2012-09-25some buggy examples for incrementality, and make bug326 run as part of make r...Morgan Deters
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-06-13adding some regressions to the usual regressions runs; several recently-fixed...Morgan Deters
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-10-29support for proof regressions in other parts of the test treeMorgan Deters
2011-10-04also add test caseMorgan Deters
2011-10-04fixes to context-dependent caching substitutionsMorgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-09-30more push/pop infrastructure, some SAT stuffMorgan Deters
2011-07-05updated preprocessing and rewriting input equalities into inequalities for LRADejan Jovanović
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-11-16SmtEngine now fails with a ModalException if --incremental is not enabledMorgan Deters
2010-11-15minor tweaks to last commit, testing infrastructureMorgan Deters
2010-11-15fix some things with the build system (make dist, make install, make check)Morgan Deters
2010-11-09Lemmas on demand work, push-pop, some cleanup.Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback