Age | Commit message (Expand) | Author |
2013-06-27 | Remove output.h from public space, to avoid clashes with symbols defined in u... | Morgan Deters |
2013-05-20 | Detect multiply-defined :named annotations and issue an error. | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-02-16 | Merge branch '1.0.x' | Morgan Deters |
2013-02-16 | Fix typo in error message | Morgan Deters |
2012-12-06 | * tuple and record support in compatibility library | Morgan Deters |
2012-11-18 | Disable predicate subtyping: | Morgan Deters |
2012-11-06 | fix issue in compatibility layer that could segfault | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-05 | BoolExpr removed and replaced with Expr | Dejan Jovanović |
2012-10-04 | disable model-generation by default in cvc3 compatibility layer. should fix ... | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-26 | Finish off SEXPR kind work. | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-06 | fixes to the compatibility layer; this fixes the broken system test | Morgan Deters |
2012-09-06 | Remove SmtEngine::getStackLevel(), which exposed implementation details and w... | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-05-15 | This commit removes the CONST_INTEGER kind from nodes. This code comes from t... | Tim King |
2012-03-07 | fix some Java compatibility-layer interface problems; also fix some Mac OS X ... | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2012-01-27 | effecting the same change in the compat Java binding as was done to CVC3 yest... | Morgan Deters |
2011-11-16 | Addressed many of the concerns raised in the public interface review of CVC4 ... | Morgan Deters |
2011-11-06 | datatype stuff in compatibility interface implemented | Morgan Deters |
2011-10-04 | compatibility, bindings | Morgan Deters |
2011-10-04 | compat layer cleanup | Morgan Deters |
2011-10-04 | mimicking Chris's recent contribution to QueryResult in CVC3 in the compatibi... | Morgan Deters |
2011-10-03 | Importing Chris's recent changes to CVC3's ValidityChecker into the compatibi... | Morgan Deters |
2011-09-29 | compatibility work, documentation | Morgan Deters |
2011-09-27 | more interface work; adding legacy C interface | Morgan Deters |
2011-09-16 | some minor fixes to the cvc3 compatibility library and test case | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |