| 2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Update copyrights. |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
tree | commitdiff |
| 2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
tree | commitdiff |
| 2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
tree | commitdiff |
| 2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
tree | commitdiff |
| 2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
tree | commitdiff |
| 2014-06-22 |
lianah | Merge pull request #39 from mdeters/bv-warnings |
tree | commitdiff |
| 2014-06-22 |
lianah | Merge pull request #35 from mdeters/bv-kinds |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Fix compiler warnings (mostly unused variables). |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Fix to the compatibility library (this does fix the... |
tree | commitdiff |
| 2014-06-21 |
Morgan Deters | Add some missing functions in configuration and compat... |
tree | commitdiff |
| 2014-05-25 |
Morgan Deters | Some cleanup, fix warnings raised by Debian packager. |
tree | commitdiff |
| 2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
| 2014-04-14 |
Andrew Reynolds | Add initial support for co-datatypes. |
tree | commitdiff |
| 2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
tree | commitdiff |
| 2013-11-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
tree | commitdiff |
| 2013-11-07 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
tree | commitdiff |
| 2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
| 2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-09-11 |
Tianyi Liang | Theory of strings. |
tree | commitdiff |
| 2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-27 |
Morgan Deters | Remove output.h from public space, to avoid clashes... |
tree | commitdiff |
| 2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
tree | commitdiff |
| 2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-20 |
Morgan Deters | Detect multiply-defined :named annotations and issue... |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | update copyrights |
tree | commitdiff |
| 2013-03-27 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
| 2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x... |
tree | commitdiff |
| 2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
| 2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-14 |
Morgan Deters | fix to build system: #include the proper file when... |
tree | commitdiff |
| 2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
tree | commitdiff |
| 2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-26 |
lianah | Merge branch '1.0.x' of https://github.com/CVC4/CVC4... |
tree | commitdiff |
| 2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-17 |
Kshitij Bansal | Merge pull request #6 from kbansal/decNewoptions |
tree | commitdiff |
| 2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-16 |
Morgan Deters | Fix typo in error message |
tree | commitdiff |
| 2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-15 |
Tim King | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
tree | commitdiff |
| 2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-23 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-19 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2012-12-22 |
Dejan Jovanović | Merge branch '1.0.x' |
tree | commitdiff |
| 2012-12-18 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
tree | commitdiff |
| 2012-12-12 |
Dejan Jovanović | Merge pull request #2 from CVC4/1.0.x |
tree | commitdiff |
| 2012-12-11 |
Morgan Deters | Merge branch '1.0.x', getting fix for bug 480 |
tree | commitdiff |
| 2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
tree | commitdiff |
| 2012-12-11 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
tree | commitdiff |
| 2012-12-07 |
François Bobot | Merge release branch '1.0.x' |
tree | commitdiff |
| 2012-12-06 |
François Bobot | Merge branch 'release-1.0.x' |
tree | commitdiff |
| 2012-12-06 |
Morgan Deters | * tuple and record support in compatibility library |
tree | commitdiff |
| 2012-11-18 |
Morgan Deters | Disable predicate subtyping: |
tree | commitdiff |
| 2012-11-06 |
Morgan Deters | fix issue in compatibility layer that could segfault |
tree | commitdiff |
| 2012-11-05 |
Morgan Deters | fixes for replacement function library |
tree | commitdiff |
| 2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
| 2012-10-05 |
Dejan Jovanović | BoolExpr removed and replaced with Expr |
tree | commitdiff |
| 2012-10-04 |
Morgan Deters | disable model-generation by default in cvc3 compatibili... |
tree | commitdiff |
| 2012-09-28 |
Morgan Deters | Public interface review items: |
tree | commitdiff |
| 2012-09-28 |
Morgan Deters | * fix compatibility library naming for SMT-LIBv1 |
tree | commitdiff |
| 2012-09-26 |
Morgan Deters | Finish off SEXPR kind work. |
tree | commitdiff |
| 2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
tree | commitdiff |
| 2012-09-06 |
Morgan Deters | fixes to the compatibility layer; this fixes the broken... |
tree | commitdiff |
| 2012-09-06 |
Morgan Deters | Remove SmtEngine::getStackLevel(), which exposed implem... |
tree | commitdiff |
| 2012-08-28 |
Morgan Deters | Improved compatibility layer, now supports quantifiers... |
tree | commitdiff |
| 2012-08-24 |
Morgan Deters | * disallow internal uses of mkVar() (you have to mkSkol... |
tree | commitdiff |
| 2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
| 2012-06-22 |
François Bobot | TPTP: add parser for cnf and fof |
tree | commitdiff |
| 2012-05-15 |
Tim King | This commit removes the CONST_INTEGER kind from nodes... |
tree | commitdiff |
| 2012-03-07 |
Morgan Deters | fix some Java compatibility-layer interface problems... |
tree | commitdiff |
| 2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
tree | commitdiff |
| 2012-01-27 |
Morgan Deters | effecting the same change in the compat Java binding... |
tree | commitdiff |
| 2011-11-16 |
Morgan Deters | Addressed many of the concerns raised in the public... |
tree | commitdiff |
| 2011-11-06 |
Morgan Deters | datatype stuff in compatibility interface implemented |
tree | commitdiff |
| 2011-10-04 |
Morgan Deters | compatibility, bindings |
tree | commitdiff |
| 2011-10-04 |
Morgan Deters | compat layer cleanup |
tree | commitdiff |
| 2011-10-04 |
Morgan Deters | mimicking Chris's recent contribution to QueryResult... |
tree | commitdiff |
| 2011-10-03 |
Morgan Deters | Importing Chris's recent changes to CVC3's ValidityChec... |
tree | commitdiff |
| next |
projects / cvc5.git / history