Age | Commit message (Expand) | Author |
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 |
2013-03-21 | Merge branch 'master' into bv-core | lianah |
2013-03-21 | Add the ability to "mute" commands, needed for SMT-LIB compliance. | Morgan Deters |
2013-03-19 | merged master with dejan's constant evaluating equality engine | Liana Hadarean |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | Fix warning (line annotation) | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2013-03-13 | post failed attempts at getting the incremental solver to work | lianah |
2013-03-06 | more slicer changes for incremental | lianah |
2013-02-20 | Some exception specification fixes in SmtEngine/Command infrastructure | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2013-02-07 | Merge branch '1.0.x' | Morgan Deters |
2013-02-07 | Make --default-dag-thresh apply to stringstreams | Morgan Deters |
2013-02-05 | Merge branch '1.0.x' | Morgan Deters |
2013-02-05 | Fix a compiler warning in NodeBuilder | Morgan Deters |
2013-02-05 | remove now-unnecessary wrappers from Type interface | Morgan Deters |
2013-02-04 | Merge branch '1.0.x' | Morgan Deters |
2013-02-04 | Fix NodeBuilder bug which could attempt to allocate beyond hard limit | Morgan Deters |
2013-02-01 | Merge branch '1.0.x' | Morgan Deters |
2013-02-01 | Fix a tuple attribute bug that was causing model-generation problems for tuples | Morgan Deters |