summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2014-03-20Merge pull request #22 from kbansal/sets-modelKshitij Bansal
2014-03-20push subtyping for sets to the element typeKshitij Bansal
2014-03-11Minor cleanup.Morgan Deters
2014-03-07Remove --ite-remove-quant; support pulling ground ITEs out of quantifier bodi...Morgan Deters
2014-03-04More useful error message when someone tries mkExpr(VARIABLE).Morgan Deters
2014-02-21Merge branch '1.3.x'Morgan Deters
2014-02-21Fix two variants of Node::substitute().Morgan Deters
2014-02-21portfolio: fix export of emptysetKshitij Bansal
2014-02-21add new theory (sets)Kshitij Bansal
2014-01-02Update copyright year.Morgan Deters
2013-12-24Better automatic handling of output language setting.Morgan Deters
2013-12-24Minor code cleanup.Morgan Deters
2013-12-10Fix warning.Morgan Deters
2013-12-07fix bug 542Kshitij Bansal
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback