2020-03-06 |
Andrew Reynolds | Remove tester name from APIs (#3929) |
tree | commitdiff |
2019-10-27 |
Andres Noetzli | Fix global-declarations support (#3403) |
tree | commitdiff |
2019-09-11 |
Andrew Reynolds | Fix constructor type printing (#3246) |
tree | commitdiff |
2019-09-04 |
Mathias Preiner | Remove duplicate regression tests. (#3227) |
tree | commitdiff |
2019-03-12 |
Andrew Reynolds | Move tuple/record update elimination from ppRewrite... |
tree | commitdiff |
2019-01-22 |
Andrew Reynolds | Fix tuple and record CVC printing (#2818) |
tree | commitdiff |
2019-01-22 |
Andrew Reynolds | Fix parsing of overloaded parametric datatype selector... |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added regression tests and target make regress. |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added initial build infrastructure. |
tree | commitdiff |
2018-08-20 |
Andrew Reynolds | Add regressions that increase coverage (#2337) |
tree | commitdiff |
2018-03-21 |
Andres Noetzli | Move regression tests to single Makefile.am (#1658) |
tree | commitdiff |
2018-03-20 |
Andrew Reynolds | Fix datatype dump regression. (#1672) |
tree | commitdiff |
2018-02-15 |
Andrew Reynolds | Refactor regressions (#1581) |
tree | commitdiff |
2017-12-28 |
Arjun Viswanathan | Rel smt parser (#1446) |
tree | commitdiff |
2017-12-10 |
Andrew Reynolds | Fix issue 1433. (#1435) |
tree | commitdiff |
2017-10-03 |
Andrew Reynolds | Op overload parser (#1162) |
tree | commitdiff |
2017-09-14 |
Andrew Reynolds | Remove unhandled subtypes (#1098) |
tree | commitdiff |
2017-08-30 |
Andrew Reynolds | Fix model construction for parametric types (#1059) |
tree | commitdiff |
2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
tree | commitdiff |
2017-08-08 |
ajreynol | Use cache for datatypes cycle check, add regression. |
tree | commitdiff |
2017-08-04 |
ajreynol | Set default language to smt lib 2.6 (including as a... |
tree | commitdiff |
2017-07-13 |
Aina Niemetz | Merge pull request #188 from aniemetz/cx11 |
tree | commitdiff |
2017-07-12 |
ajreynol | Make type rules more strict for operators whose type... |
tree | commitdiff |
2017-04-24 |
ajreynol | Fix parsing selectors for nullary constructors in smtli... |
tree | commitdiff |
2017-04-21 |
Clark Barrett | Merge pull request #150 from 4tXJ7f/check_exceptions2 |
tree | commitdiff |
2017-04-21 |
ajreynol | Handle subtypes in sets. Bug fixes for tuples with... |
tree | commitdiff |
2017-03-16 |
ajreynol | More fixes, features to examples. |
tree | commitdiff |
2017-03-16 |
ajreynol | Minor fixes, always expand applications of lambdas... |
tree | commitdiff |
2017-03-16 |
ajreynol | Support for SMT LIB 2.6 syntax declare-datatype and... |
tree | commitdiff |
2017-03-16 |
ajreynol | Parsing support for SMT LIB 2.6. Minor fixes for printi... |
tree | commitdiff |
2017-03-02 |
ajreynol | Eliminate Boolean term conversion. Generalizes removeIT... |
tree | commitdiff |
2016-12-02 |
Tim King | Merge pull request #95 from 4tXJ7f/fix_sierra_build |
tree | commitdiff |
2016-12-02 |
Clark Barrett | Merge pull request #113 from 4tXJ7f/remove_extract_rule |
tree | commitdiff |
2016-12-02 |
ajreynol | Bug fixes and refactoring of parametric datatypes,... |
tree | commitdiff |
2016-11-18 |
Clark Barrett | Merge pull request #110 from 4tXJ7f/fix_makefiles |
tree | commitdiff |
2016-11-18 |
Andres Notzli | Fix Makefiles in test |
tree | commitdiff |
2016-10-21 |
ajreynol | Move slow regress0 benchmarks to regress1, increment... |
tree | commitdiff |
2016-02-15 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2016-02-10 |
ajreynol | Fix model postprocessor for tuples, add regression. |
tree | commitdiff |
2016-01-19 |
ajreynol | Bug fixes for model construction with codatatypes,... |
tree | commitdiff |
2015-11-10 |
ajreynol | Fix infinite loop in datatype enumerator. Minor fixes... |
tree | commitdiff |
2015-11-07 |
Tim King | Changing file permissions to add or remove executable... |
tree | commitdiff |
2015-11-05 |
Tim King | Merging the google branch back into master. |
tree | commitdiff |
2015-11-05 |
Tim King | Fixes some initialization and desctruction problems... |
tree | commitdiff |
2015-10-16 |
ajreynol | Fix for codatatype constant rewrite, add regression. |
tree | commitdiff |
2015-09-10 |
ajreynol | Models for codatatypes. Fixes bug 662. |
tree | commitdiff |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
tree | commitdiff |
2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
tree | commitdiff |
2015-04-23 |
Liana Hadarean | Added option for --check-unsat-cores and various core... |
tree | commitdiff |
2015-04-22 |
Kshitij Bansal | Merge pull request #73 from kbansal/parser-dont-tokenize |
tree | commitdiff |
2015-04-21 |
ajreynol | Fix bug in fmf mbqi=fmc with arrays. Add two datatypes... |
tree | commitdiff |
2015-04-21 |
Tim King | Adding an example of a tester in SMT2. |
tree | commitdiff |
2015-02-13 |
ajreynol | Handle recursive singleton case for codatatypes, add... |
tree | commitdiff |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-11-18 |
ajreynol | Add local theory extensions instantiation strategy... |
tree | commitdiff |
2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
tree | commitdiff |
2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-07 |
Morgan Deters | Fix a bug in tuple-record handling. Thanks to Saumya... |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
tree | commitdiff |
2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-09-24 |
ajreynol | Fix infinite loop in datatypes enumerator. Minor work... |
tree | commitdiff |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
2014-04-10 |
Andrew Reynolds | Expand definitions in theory datatypes, now has the... |
tree | commitdiff |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
tree | commitdiff |
2013-12-05 |
Morgan Deters | Fix Boolean terms w.r.t. parametric datatypes (e.g... |
tree | commitdiff |
2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-11-11 |
Morgan Deters | Change exit status to be more consistent with other... |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
next |