| Age | Commit message (Expand) | Author |
|---|
| 2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
| 2014-06-19 | Java bindings fixes. | Morgan Deters |
| 2014-06-19 | This commit adds a priority queue implementation. This is to avoid compilati... | Tim King |
| 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 |
