Age | Commit message (Expand) | Author |
2018-12-17 | New C++ API: Add tests for term object. (#2755) | Aina Niemetz |
2018-06-25 | More updates to NEWS for 1.6. | Aina Niemetz |
2018-06-25 | Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS file for 1.6. | Aina Niemetz |
2018-04-02 | Remove references to nyu (#1721) | Clark Barrett |
2017-07-05 | Update unit test, news. | ajreynol |
2017-06-30 | Updated NEWS, README, RELEASE-NOTES. | Clark Barrett |
2016-06-09 | Dummy commit. | Clark Barrett |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-10-03 | Merge branch '1.4.x' | Morgan Deters |
2014-10-03 | Fix output of integer-valued real constants in SMT-LIB models (thanks Christo... | Morgan Deters |
2014-10-03 | More array constants and parsing: better error messages, extend to CVC presen... | Morgan Deters |
2014-10-03 | Note array const support in NEWS | Morgan Deters |
2014-08-22 | Unsat core infrastruture and API (SMT-LIB compliance to come). | Morgan Deters |
2014-07-13 | New versioning for development version. | Morgan Deters |
2014-07-02 | Minor. | Morgan Deters |
2014-07-01 | reword NEWS | Morgan Deters |
2014-06-30 | Update NEWS | Kshitij Bansal |
2014-06-21 | Some minor cleanup and documentation. | Morgan Deters |
2014-06-19 | Documentation clean-ups. | Morgan Deters |
2014-06-19 | Versioning preparation. | Morgan Deters |
2014-06-10 | Some news about API changes. | Morgan Deters |
2014-01-08 | Merge branch '1.3.x' | Morgan Deters |
2014-01-08 | Switch license default back to BSD, and add --best and --enable-gpl options. | Morgan Deters |
2013-12-24 | Merge branch '1.3.x' | Morgan Deters |
2013-12-24 | Better automatic handling of output language setting. | Morgan Deters |
2013-12-24 | Java datatype API fixups, datatype API examples | Morgan Deters |
2013-12-17 | Merge branch '1.3.x' | Morgan Deters |
2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
2013-12-16 | First attempt at incorporating LFSC proof checker into CVC4. | Morgan Deters |
2013-12-10 | Update NEWS. | Morgan Deters |
2013-12-06 | Initializing 1.3.x branch. | Morgan Deters |
2013-12-05 | Fix NEWS. | Morgan Deters |
2013-12-05 | NEWS reorganization. | Morgan Deters |
2013-12-04 | Don't put define-funs in model output; bug 411 testcase no longer relevant. | Morgan Deters |
2013-12-03 | change string news | Tianyi Liang |
2013-12-02 | Update NEWS file. | Morgan Deters |
2013-11-27 | Some versioning in advance of the 1.3 release. | Morgan Deters |
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2013-09-11 | Theory of strings. | Tianyi Liang |
2013-09-09 | Support per-command verbosity settings. | 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-05-29 | Per SMT-LIB spec, allow (set-info..) command to succeed implicitly with unkno... | Morgan Deters |
2013-05-20 | Don't allow get-model & co after a user push/pop | Morgan Deters |
2013-05-08 | Prerelease versioning for 1.2.x | Morgan Deters |
2013-05-08 | Cutting release 1.2.1.2 | Morgan Deters |
2013-04-03 | Pre-release versioning | Morgan Deters |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
2013-04-03 | updated NEWS to include inequality solver | Liana Hadarean |
2013-04-01 | Merging some cleanup work: | Morgan Deters |