Age | Commit message (Expand) | Author |
2014-04-19 | Eh, what? | Kshitij Bansal |
2014-04-01 | Merge branch '1.3.x' | Tim King |
2014-04-01 | Fixing bug 552. There was a bug when integers are made using a string with a...1.3.x | Tim King |
2014-02-26 | for merging | Tianyi Liang |
2014-02-21 | add new theory (sets) | Kshitij Bansal |
2013-12-25 | fix for some nightly build failures | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-27 | Java bindings improvements for CASCADE, minor cleanup. | Morgan Deters |
2013-11-25 | Substantial Changes: | Tim King |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-07-13 | Fix language bindings and portfolio builds. | Morgan Deters |
2013-07-11 | Support for TPTP's TFF0 (with arithmetic) | Morgan Deters |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
2013-04-26 | FCSimplex branch merge | Tim King |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and referen... | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |
2012-11-17 | * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT... | Morgan Deters |
2012-11-12 | * Fix language bindings: various issues | Morgan Deters |
2012-11-12 | minor bug fixes for quantifiers, added sort inference module (not ready to be... | Andrew Reynolds |
2012-10-10 | Abstract values for SMT-LIB. | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-10-04 | Implemented array type enumerator, more fixes for models | Clark Barrett |
2012-09-28 | fix distribution of cvc4_assert.i | Morgan Deters |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-20 | fixes for java bindings | Morgan Deters |
2012-08-02 | array-store-all class | Morgan Deters |
2012-08-01 | fixes to some *clean targets | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-27 | removing unecessary files | Andrew Reynolds |
2012-07-17 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-07-14 | Type enumerator infrastructure and uninterpreted constant support. No suppor... | Morgan Deters |
2012-07-12 | merged fmf-devel branch, includes support for SMT2 command get-value and (ext... | Andrew Reynolds |
2012-05-18 | This commit removes the dead psuedoboolean code. | Tim King |
2012-05-11 | fix regex in Debug_tags and Trace_tags generation for Mac OS | Morgan Deters |
2012-05-11 | fix typo in sed line | Morgan Deters |
2012-05-09 | --disable-tracing at configure time now disables Trace() and Debug() gestures... | Morgan Deters |
2012-05-09 | Fixing the debug tags generation and related methods in configuration.cpp tha... | Dejan Jovanović |
2012-04-27 | This merges in the branch cvc4/branches/arithmetic/matrix into trunk. | Tim King |
2012-03-09 | Some work on the dump infrastructure to support portfolio work. | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2012-02-21 | don't require libboost_thread (its presence is detected at configure-time), a... | Morgan Deters |
2012-02-20 | fix "make dist" | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-10-29 | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g... | Morgan Deters |
2011-09-29 | build system fixes | Morgan Deters |