| Age | Commit message (Expand) | Author |
|---|
| 2016-01-28 | Adding listeners to Options. | Tim King |
| 2016-01-08 | Adding a new Listener utility class. Changing the ResourceManager to use List... | Tim King |
| 2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
| 2016-01-05 | Moving sexpr.{cpp,h,i} from expr/ back into util/. | Tim King |
| 2016-01-05 | Add SmtGlobals Class | Tim King |
| 2015-12-24 | Miscellaneous fixes | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2015-02-13 | Minor cleanup, remove unused files. | ajreynol |
| 2014-12-03 | Floating point infrastructure. | Martin Brain |
| 2014-11-19 | Distribute UnsafeInterruptException interface file for SWIG. | Morgan Deters |
| 2014-11-17 | Resource-limiting work. | Liana Hadarean |
| 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 |
