Age | Commit message (Expand) | Author |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |
2017-12-06 | Remove CDChunkList (#1414) | Andres Noetzli |
2017-12-01 | Fix reset-assertions (#1413) | Andres Noetzli |
2017-11-23 | Ho parsing and regressions (#1350) | Andrew Reynolds |
2017-10-16 | Fix for issue 1247 (#1257) | Clark Barrett |
2017-10-03 | Op overload parser (#1162) | Andrew Reynolds |
2017-09-25 | Fix bug related to sort inference + subtypes. (#1125) | Andrew Reynolds |
2017-09-19 | Fix issue #1074, improve non-fatal error handling (#1075) | Andres Noetzli |
2017-09-14 | Remove unhandled subtypes (#1098) | Andrew Reynolds |
2017-07-12 | Make type rules more strict for operators whose type rules involve subtypes. ... | ajreynol |
2017-06-16 | Merge pull request #170 from CVC4/fix_2_6_parser3 | Clark Barrett |
2017-06-16 | Parse 'is', 'match' differently for non-DT input | Andres Noetzli |
2017-06-15 | Fix for bug 639. | Clark Barrett |
2017-04-21 | Disabled bug639.smt2 which still fails. | Clark Barrett |
2017-04-21 | Add test cases for bugs 639 and 681. | Clark Barrett |
2017-04-05 | Add non-linear regressions, disable nlAlgSubs, do not do rep checking for NON... | ajreynol |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2017-01-10 | Adding regression test scrubbing. | Tim King |
2016-11-30 | Fix parsing of BVROTR by CVC parser | Andres Notzli |
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-10-21 | Move slow regress0 benchmarks to regress1, increment regress1 through regress3. | ajreynol |
2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
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 |