Age | Commit message (Expand) | Author |
2019-04-11 | Eliminate Boolean ITE within terms, fixes 2947 (#2949) | Andrew Reynolds |
2018-09-22 | cmake: Added regression tests and target make regress. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
2018-03-21 | Fix various regression tests (#1657) | Andres Noetzli |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-11-17 | Fix Makefiles in test | Andres Notzli |
2015-11-06 | Changing file permissions to add or remove executable tag as appropriate. | Tim King |
2015-11-05 | Fixes some initialization and desctruction problems in quantifiers. Also rest... | Tim King |
2015-06-01 | When proof enabled, disable uf sym break. Add regression. | ajreynol |
2015-05-25 | Add missing regression | ajreynol |
2015-05-25 | Bug fix for CNF proofs (and/or case 1), thanks to Alain Mebsout for bug report. | ajreynol |
2015-04-21 | Fix file permissions | Clark Barrett |
2015-03-10 | CNF proofs. Infrastructure for preprocessing proofs. Updates to smt.plf sig... | ajreynol |
2014-03-12 | Some standardization of regression Makefiles that got out of sync. Fixes cas... | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2013-11-05 | fixed proof regression script and added a new uf test case | lianah |
2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2012-11-27 | First chunk of boolean-terms support. | Morgan Deters |
2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
2012-04-05 | Support to test the "dumper" mechanism in regressions (feeding dump output ba... | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-10-29 | support for proof regressions in other parts of the test tree | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-07-11 | merge from symmetry branch | Morgan Deters |
2011-07-09 | minor fixups | Morgan Deters |
2011-07-09 | surprize surprize | Dejan Jovanović |
2011-06-30 | only use theory registration if (1) a theory requests it, or (2) if there's m... | Morgan Deters |
2011-03-30 | improve recent low-coverage complaints | 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-19 | Merge from ufprop branch, including: | Morgan Deters |
2010-10-20 | fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug... | Morgan Deters |
2010-10-12 | Merge from cc-memout branch. Here are the main points | Morgan Deters |
2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
2010-09-28 | fix predicate bug in UF; code cleanup in theory.cpp | Morgan Deters |
2010-09-02 | recategorize eq_diamond14 as a regress2 test (instead of regress0) | Morgan Deters |
2010-08-19 | UF theory bug fixes, code cleanup, and extra debugging output. | Morgan Deters |
2010-08-18 | more tests, configuration for UF | Morgan Deters |
2010-08-17 | Merge from "cc" branch: | Morgan Deters |
2010-07-04 | make dist && make distcheck functional, other fixes | Morgan Deters |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-03-30 | Removing unnecessary .gitignores | Christopher L. Conway |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-03-12 | Fixing unnecessary construction of NOT nodes when generating conflict clause... | Dejan Jovanović |
2010-03-11 | Changing const TNode& to TNode in the CNF conversion + a new small benchmark ... | Dejan Jovanović |
2010-03-11 | Added some hand generated UF tests. Unfortunartely all of them work. Also fix... | Tim King |