summaryrefslogtreecommitdiff
path: root/test/regress/regress0/arith/integers
AgeCommit message (Expand)Author
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-02-21Switch to th_lira.plf (#3741)Alex Ozdemir
2019-10-08Make ackermannization generally applicable rather than just BV (#3315)Ying Sheng
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2016-11-17Fix Makefiles in testAndres Notzli
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-11-11Change exit status to be more consistent with other command-line tools: 0 suc...Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-09-13Move some regress benchmarks around that took too long, other test cleanup.Morgan Deters
2013-05-09Changing the integer normal form to increase matching.Tim King
2013-04-26FCSimplex branch mergeTim King
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-06-08Merge from decision branch (till r3663)Kshitij Bansal
2012-04-18add the missing BINARY variable in some test/regress makefilesKshitij Bansal
2012-04-17Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo...Tim King
2012-04-05Support to test the "dumper" mechanism in regressions (feeding dump output ba...Morgan Deters
2012-03-08Removing QUICK_CHECK, and other unused ones, from the Theory::Effort.Dejan Jovanović
2012-02-16Last commit accidentally lacked r2778 and r2779 from integer2. I have manual...Tim King
2012-02-07removing the 100 integer benchmarks from regress0, too manyDejan Jovanović
2011-10-29support for proof regressions in other parts of the test treeMorgan Deters
2011-10-19Merging the branch branches/arithmetic/push-pop-support from r2247 to r2256 i...Tim King
2011-10-17Sharing workDejan Jovanović
2011-09-02Partial merge of integers work; this is simple B&B and some pseudobooleanMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback