summaryrefslogtreecommitdiff
path: root/test/regress/regress0/arrays
AgeCommit message (Expand)Author
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