| Age | Commit message (Expand) | Author |
|---|
| 2014-08-18 | Revert a8e0ce67 and add test case (resolves bug #578). | Morgan Deters |
| 2014-08-04 | Some fixes to symmetry breaker (resolves bug 576). | Morgan Deters |
| 2014-07-12 | Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f... | Morgan Deters |
| 2014-06-27 | Fix for bug543 | Clark Barrett |
| 2014-06-19 | forgot to add the test with fix | Kshitij Bansal |
| 2014-06-19 | disable unate lemmas when using incremental mode | Kshitij Bansal |
| 2014-06-08 | test for prvs commit (tokenize emptyset) | Kshitij Bansal |
| 2014-04-29 | fix was compiler warning in antlr_input, crashing test case with the old fix | Kshitij Bansal |
| 2014-04-06 | Merge pull request #21 from pcc/ite-fix | Tim King |
| 2014-04-03 | Some incremental bugs for Boolean terms, fixed. Thanks to Pantazis Deligiann... | Morgan Deters |
| 2014-03-16 | Fix for ite of >=64bit wide bitvectors with unconstrained condition. | Peter Collingbourne |
| 2014-03-11 | Fix for (get-assignment), resolves bug 553. | Morgan Deters |
| 2014-03-08 | Merge remote-tracking branch 'CVC4root/master' | Tim King |
| 2014-03-07 | Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodi... | Morgan Deters |
| 2014-03-07 | Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into m... | Tim King |
| 2014-03-05 | Array smtlib compliance tests | Kshitij Bansal |
| 2014-02-21 | add new theory (sets) | Kshitij Bansal |
| 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 |
