summaryrefslogtreecommitdiff
path: root/test/regress/regress0/arrays
AgeCommit message (Expand)Author
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-04-05 Python regression script (#1662)Andres Noetzli
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-11-29Improve caching in term formula removal (#1398)Andrew Reynolds
2017-03-17better support for proof production when encountering bool terms: handle the ...guykatzz
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2017-01-18Fix non-idempotent rewrite in Array rewriterAndres Noetzli
2016-11-17Fix Makefiles in testAndres Notzli
2014-11-08Fix bug with incremental+datatypes. Minor cleanup. Disable regression bug48...ajreynol
2014-11-07Properly distinguish which EQC to assign values in datatypes, use assertRepre...ajreynol
2014-10-06Extended parsing testcase, with constant arrays and RESET.Morgan Deters
2014-10-06Merge branch '1.4.x'Morgan Deters
2014-10-06Fix native language parsing of chained-store expressions (resolves bug 585). ...Morgan Deters
2014-10-04Enable some old bug testcases that (maybe?) never got added.Morgan Deters
2014-10-03Add some (so far trivial) regressions for constant arrays.Morgan Deters
2014-03-12Some standardization of regression Makefiles that got out of sync. Fixes cas...Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2012-08-28fix regression tests for automake 1.11 and automake 1.12---both versions shou...Morgan Deters
2012-05-14Fixed assertion failures in array theoryClark Barrett
2012-04-18add the missing BINARY variable in some test/regress makefilesKshitij Bansal
2012-04-11merge from arrays-clark branchMorgan Deters
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
2011-10-29support for proof regressions in other parts of the test treeMorgan Deters
2011-07-12forgot to reflect naming change in makefile. fixedMorgan Deters
2011-07-12fix bug 272, array unsoundness, and some array cleanupMorgan Deters
2011-07-11remove some array regressions from "make check" so nightly regressions runMorgan Deters
2011-07-11status of examplesMorgan Deters
2011-07-11new array bugs ?Morgan Deters
2011-07-11mark the new minimized benchmark as unsatMorgan Deters
2011-07-11if running in QF_AX, equalities over terms of uninterpreted sort go to arrays...Morgan Deters
2011-07-11minimized exampleMorgan Deters
2011-07-11array benchmarksMorgan Deters
2011-05-23Merge from arrays2 branch.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback