Age | Commit message (Expand) | Author |
2013-12-10 | Fix warning. | Morgan Deters |
2013-12-07 | fix bug 542 | Kshitij Bansal |
2013-12-05 | Fix NodeValue bitfields for 32-bit; fix comment. | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-12-04 | Minor cleanup. | Morgan Deters |
2013-12-03 | Some fixes for swig warnings. | Morgan Deters |
2013-12-02 | SExpr pretty-printing for :all-options and :all-statistics. | Morgan Deters |
2013-12-02 | Minor cleanup. | Morgan Deters |
2013-12-02 | Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a s... | Morgan Deters |
2013-12-02 | Another fix to Java destruction order issues. Thanks to Zheng Manchun for th... | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-27 | Add missing template instanatiation in Java bindings | Morgan Deters |
2013-11-26 | Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ... | Morgan Deters |
2013-11-26 | Minor fix for swig bindings. | Morgan Deters |
2013-11-25 | Substantial Changes: | Tim King |
2013-11-21 | Adding the changes needed to delete rewriter attributes. This includes being... | Tim King |
2013-11-20 | Changing the number of bits allocated per field in node values. | Tim King |
2013-11-10 | Minor fixups to last commit | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-09-13 | Merge branch 'master' of https://github.com/CVC4/CVC4 | Kshitij Bansal |
2013-09-12 | fix bug 534: portfolio define-fun duplicate model | Kshitij Bansal |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-09-09 | Fix declare-datatypes dumping bug (bug 385). | Morgan Deters |
2013-09-09 | Support per-command verbosity settings. | Morgan Deters |
2013-09-09 | Support empty (and 1-ary) tuples and records. | Morgan Deters |
2013-09-09 | Fix some line-numbering in auto-generated metakind.h. Thanks to Martin Brain... | Morgan Deters |
2013-09-05 | Fix declare-fun/define-fun in dumps; resolves bugs 408 and 385; also fix a se... | Morgan Deters |
2013-08-30 | Add ability to mkConst(TupleSelect) and friends in language bindings | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-06-27 | Fix minor warnings found by recent clang/gcc. | Morgan Deters |
2013-06-27 | Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_public.h so that they don'... | Morgan Deters |
2013-06-27 | Better user documentation for mkVar() and mkBoundVar(). | Morgan Deters |
2013-06-07 | Fix for bug 517. | Morgan Deters |
2013-06-04 | Fix clang static initialization order issue; fixes bug 512. | Morgan Deters |
2013-05-29 | Per SMT-LIB spec, allow (set-info..) command to succeed implicitly with unkno... | Morgan Deters |
2013-05-20 | Fix destruction issue in GetValueCommand leading to crash. | Morgan Deters |
2013-05-20 | A couple of fixes to the get-option command for compliance with SMT-LIB. | Morgan Deters |
2013-05-20 | minor changes to language bindings | Morgan Deters |
2013-05-01 | Comment out some debug-related things in attribute code, no longer needed | Morgan Deters |
2013-04-23 | Theory "alternates" support | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-03-27 | some Java bindings fixes (fixes Debian build problems) | Morgan Deters |
2013-03-27 | Merge branch 'master' into bv-core | lianah |
2013-03-26 | added model generation for bv subtheories and bv-inequality solver option | lianah |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |