Age | Commit message (Expand) | Author |
2018-07-08 | Add more sophisticated floating-point sampler (#2155) | Andres Noetzli |
2018-06-20 | Resolve CVC4_USE_SYMFPU in headers at config-time (#2077) | Andres Noetzli |
2018-04-20 | Remove unused cache.h (#1795) | Andres Noetzli |
2018-02-23 | Split and document bitvector.h. (#1615) | Aina Niemetz |
2018-02-02 | Restoring ostream format. Resolves a few CIDs 1362780. (#1543) | Tim King |
2017-11-17 | Add random number generator. (#1370) | Aina Niemetz |
2017-08-17 | Remove unused SubrangeBound(s) classes (#221) | Andres Noetzli |
2017-07-16 | Moving to static_assert now that c++11 is available. | Tim King |
2017-05-12 | Make signal handlers safer | Andres Notzli |
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 |