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