Age | Commit message (Expand) | Author |
2015-09-04 | Fix bugs 605 and 667. | ajreynol |
2015-08-19 | fix bug 605 | Kshitij Bansal |
2015-07-27 | Disable bug590.smt2 | Tianyi Liang |
2015-04-24 | More parser related bug fixes (define-funs-rec, declare-funs). Bug fix for fm... | ajreynol |
2015-01-19 | Adding tests for get-value output for arithmetic. | Tim King |
2015-01-14 | sygus input language and benchmark | Morgan Deters |
2014-11-10 | Bug 593 fix: if the type is finite, it is now considered for detecting theori... | Dejan Jovanović |
2014-11-09 | Fix dt shared terms issue, reenable regression. | ajreynol |
2014-11-08 | Fix bug with incremental+datatypes. Minor cleanup. Disable regression bug48... | ajreynol |
2014-11-07 | Merge branch '1.4.x' | Morgan Deters |
2014-11-07 | Fix missing case in Boolean terms rewriting. (Resolves bug #596.) | Morgan Deters |
2014-11-07 | Corrected fix for missing case in model postprocessor (resolves bug #595). | Morgan Deters |
2014-11-07 | Revert "Fix missing case in model postprocessor (resolves bug #595)." | Morgan Deters |
2014-11-07 | Merge branch '1.4.x' | Morgan Deters |
2014-11-07 | Fix missing case in model postprocessor (resolves bug #595). | Morgan Deters |
2014-11-01 | Fix bug 592: introduce skolem for dt instantiate lemma (avoids terms in lemma... | ajreynol |
2014-11-01 | Fix some mistakes in datatypes theory combination, disable two regressions. ... | ajreynol |
2014-10-22 | Fix bug590 regression distcheck failure from last night. | Morgan Deters |
2014-10-21 | Fixed bug 590, added regression test | Clark Barrett |
2014-10-10 | Merge remote-tracking branch 'origin/1.4.x' | Kshitij Bansal |
2014-10-10 | Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti... | Kshitij Bansal |
2014-10-06 | Merge branch '1.4.x' | Morgan Deters |
2014-10-06 | fix for bug586 | Kshitij Bansal |
2014-10-06 | Merge branch '1.4.x' | Morgan Deters |
2014-10-06 | Fix native language parsing of chained-store expressions (resolves bug 585). ... | Morgan Deters |
2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
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 |