summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
2014-08-26Improved SMT-LIBv2 language support for unsat cores.Morgan Deters
2014-08-24fix option alias (minor)Kshitij Bansal
2014-08-22Unsat core infrastruture and API (SMT-LIB compliance to come).Morgan Deters
2014-08-18Add support for quantifier-specific instantiation levels. Add option for set...ajreynol
2014-07-01Update copyrights.Morgan Deters
2014-06-19Java bindings fixes.Morgan Deters
2014-06-19Another fix for the CASC stuff.Morgan Deters
2014-06-19For casc : print models of functions rewritten by sort inference.ajreynol
2014-06-19Clean up some compiler warnings on 32-bit.Morgan Deters
2014-06-06option to hide stats which are zero (off by default), also some aliasesKshitij Bansal
2014-06-06Sets translate, and other short fixesKshitij Bansal
2014-05-27Some fixes to GC order in Java.Morgan Deters
2014-05-27Fix typo in Java destruction code; should fix some recent bug reports of cras...Morgan Deters
2014-05-24Some cleanup, fix warnings raised by Debian packager.Morgan Deters
2014-05-11More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...Andrew Reynolds
2014-05-09Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC...Andrew Reynolds
2014-04-28nodemanager robust skolem numberingKshitij Bansal
2014-04-17simplify mkSkolem naming system: don't use $$Kshitij Bansal
2014-04-09Minor change to better support parameterized partial/total kinds (for upcomin...Morgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback