summaryrefslogtreecommitdiff
path: root/src/expr
AgeCommit message (Expand)Author
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
2013-03-19merged master with dejan's constant evaluating equality engineLiana Hadarean
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14Fix warning (line annotation)Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2013-03-13post failed attempts at getting the incremental solver to worklianah
2013-03-06more slicer changes for incrementallianah
2013-02-20Some exception specification fixes in SmtEngine/Command infrastructureMorgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-02-07Merge branch '1.0.x'Morgan Deters
2013-02-07Make --default-dag-thresh apply to stringstreamsMorgan Deters
2013-02-05Merge branch '1.0.x'Morgan Deters
2013-02-05Fix a compiler warning in NodeBuilderMorgan Deters
2013-02-05remove now-unnecessary wrappers from Type interfaceMorgan Deters
2013-02-04Merge branch '1.0.x'Morgan Deters
2013-02-04Fix NodeBuilder bug which could attempt to allocate beyond hard limitMorgan Deters
2013-02-01Merge branch '1.0.x'Morgan Deters
2013-02-01Fix a tuple attribute bug that was causing model-generation problems for tuplesMorgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback