summaryrefslogtreecommitdiff
path: root/test/regress/regress0/arith
AgeCommit message (Expand)Author
2012-06-08Merge from decision branch (till r3663)Kshitij Bansal
2012-05-07Fixes a sign bug in the DioSolver.Tim King
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-20portfolio mergeMorgan Deters
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
2011-05-31This commit contains the code for allowing arbitrary equalities in the theory...Tim King
2011-03-26fix typoMorgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2010-10-29Adds a very small test that triggers a bug. The bug is from the commit for -r...Tim King
2010-10-10additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...Morgan Deters
2010-10-02branches/arith-indexed-variables merged into the main trunk.Tim King
2010-09-16Bug fix to CVC4::theory::arith::VarList as well as some superficial changes. ...Tim King
2010-09-14* added test/regress/regress0/arith for easy arithmetic regress tests.Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback