Age | Commit message (Expand) | Author |
2017-11-23 | Ho parsing and regressions (#1350) | Andrew Reynolds |
2017-05-15 | Fix issue in ceg_instantiator related to types and theoryOf, fixes bug 802. | ajreynol |
2017-04-05 | Add non-linear regressions, disable nlAlgSubs, do not do rep checking for NON... | ajreynol |
2017-01-10 | Adding regression test scrubbing. | Tim King |
2016-11-17 | Fix Makefiles in test | Andres Notzli |
2016-10-26 | New implementation of sets+cardinality. Merge Paul Meng's relation solver as... | ajreynol |
2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
2015-01-14 | sygus input language and benchmark | Morgan Deters |
2014-06-08 | test for prvs commit (tokenize emptyset) | Kshitij Bansal |
2014-02-21 | add new theory (sets) | Kshitij Bansal |
2013-12-18 | Add missing regression-results directory. | Morgan Deters |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-05-23 | Refactoring to prepare for MBQI with integer quantification. Minor bug fixes. | Andrew Reynolds |
2012-12-08 | Fix bug 476: when CxxTest is not found, make the error less fatal-looking | Morgan Deters |
2012-11-26 | include new regression directories in summary test output | Morgan Deters |
2012-10-29 | auflia directory missing from regression summary - fixed | Clark Barrett |
2012-08-28 | test summaries for automake 1.12 test harness | Morgan Deters |
2012-06-13 | decision regressions, all but one fail | Kshitij Bansal |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
2012-06-06 | Fixing numerous issues with tests and "make dist": | Morgan Deters |
2012-04-11 | merge from arrays-clark branch | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | Partial merge of integers work; this is simple B&B and some pseudoboolean | Morgan Deters |
2011-05-23 | Merge from arrays2 branch. | Morgan Deters |
2011-04-18 | Partial merge from datatypes-merge branch: | Morgan Deters |
2011-03-26 | fix typo | Morgan Deters |
2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
2010-11-15 | fix some things with the build system (make dist, make install, make check) | Morgan Deters |
2010-09-20 | hooking up the bitvector tests | Dejan Jovanović |
2010-09-14 | * added test/regress/regress0/arith for easy arithmetic regress tests. | Tim King |
2010-09-02 | * add TimerStat statistic type | Morgan Deters |
2010-08-17 | Merge from "cc" branch: | Morgan Deters |
2010-06-03 | * Added NodeBuilder<>::getChild() to make interface more consistent | Morgan Deters |
2010-05-27 | small cosmetic change to tests summary output | Morgan Deters |
2010-05-27 | Use the newer automake test driver "parallel-tests". This driver: | Morgan Deters |
2010-02-04 | build system for multi-level regressions | Morgan Deters |
2010-02-04 | test infrastructure updated for multiple-level regressions | Morgan Deters |
2010-01-27 | support "make check" in src/ subdirs for unit-testing of just that module; al... | Morgan Deters |
2009-12-17 | add system regression testing infrastructure | Morgan Deters |
2009-11-20 | fixes to build/test system | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |