Age | Commit message (Expand) | Author |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-16 | Fix for bug 544. | Morgan Deters |
2013-12-04 | Don't put define-funs in model output; bug 411 testcase no longer relevant. | Morgan Deters |
2013-12-02 | Add test case for (previously resolved) bug 528. | Morgan Deters |
2013-12-02 | Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a s... | Morgan Deters |
2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
2013-09-13 | Move some regress benchmarks around that took too long, other test cleanup. | Morgan Deters |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-07-19 | enable bug521 regression tests | Morgan Deters |
2013-07-17 | Fix bug 516; include some bug testcases. | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-07-09 | Fix for bug 519; don't involve ITESimplifier in model generation. | Morgan Deters |
2013-06-04 | Merge branch '1.2.x' | Morgan Deters |
2013-06-04 | Fix clang static initialization order issue; fixes bug 512. | Morgan Deters |
2013-05-22 | Add regressions for finite model finding | Andrew Reynolds |
2013-05-21 | Fix bug 512: an assertion failure only appearing with clang on Mac OS, due to... | Morgan Deters |
2013-05-21 | Fix incremental bug in symmetry breaker. | Morgan Deters |
2013-05-20 | Fix for equality-chaining of Booleans in SMT-LIBv2. | Morgan Deters |
2013-05-01 | Fix to boolean-terms; resolves bug #507 | Morgan Deters |
2013-04-01 | Fix for iff terms over equalities between the same term and differing constants. | Tim King |
2013-04-01 | Fix bug 491 and related issues with checkModel() and quantifiers. Enabling p... | Morgan Deters |
2013-03-20 | Fix to bug 497: make justification heuristic's ITE cache context-dependent. | Morgan Deters |
2013-03-20 | Properly |quote| symbols in SMT-LIBv2 output. | Morgan Deters |
2013-02-07 | Merge branch '1.0.x' | Morgan Deters |
2013-02-07 | Significant work on bug #491 (not yet closed). | Morgan Deters |
2013-02-07 | More complete fix for bug 484 (includes fixes for records and tuples). | Morgan Deters |
2013-02-04 | Model no longer adds subterms of quantifiers to equality engine, this fixed b... | Andrew Reynolds |
2013-01-29 | currently disabling bug486 regression. we need to discuss getValue/collectMo... | Andrew Reynolds |
2013-01-28 | Fix the regression test for bug 486, and enable it | Morgan Deters |
2013-01-28 | Fix the regression test for bug 486, and enable it | Morgan Deters |
2013-01-28 | some fixes for win32, including ability to "make check" win32 builds via wine | Morgan Deters |
2013-01-23 | partially address bug 486: allow some model inspection of quantifiers | Morgan Deters |
2013-01-23 | partially address bug 486: allow some model inspection of quantifiers | Morgan Deters |
2012-12-11 | SMT-LIB compliance fix to get-assignment; resolves bug 480 | Morgan Deters |
2012-12-01 | Some fixes for boolean arrays | Morgan Deters |
2012-11-27 | Functions and predicates over Boolean now work with --check-models and output... | Morgan Deters |
2012-11-27 | First chunk of boolean-terms support. | Morgan Deters |
2012-11-14 | Fix for bug 407. mkAnonymousFunction() in the parser no longer uses ':'. CVC ... | Tim King |
2012-10-22 | add bug 425 models regression; fix mac-build execute permission | Morgan Deters |
2012-10-11 | Fix bug 421, again, and add a second, independent test case for the same | Morgan Deters |
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-10-06 | * Include a few bug testcases for resolved bugs. | Morgan Deters |
2012-09-26 | bug #398 test (bug was resolved last night), and a script to download all bug... | Morgan Deters |
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-09-16 | enable bug regression for bug 382 | Morgan Deters |
2012-09-15 | bug testcase for model generation | Morgan Deters |
2012-09-06 | Remove SmtEngine::getStackLevel(), which exposed implementation details and w... | Morgan Deters |
2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
2012-08-21 | add some incremental in-tree regressions | Morgan Deters |
2012-07-27 | Merge quantifiers2-trunk: | François Bobot |