| Age | Commit message (Expand) | Author |
|---|
| 2020-06-10 | Add support for str.replace_re/str.replace_re_all (#4594) | Andres Noetzli |
| 2020-06-06 | Keep definitions when global-declarations enabled (#4572) | Andres Noetzli |
| 2020-06-05 | Changing default language (#4561) | Haniel Barbosa |
| 2020-06-05 | Printing FP values as binary or indexed BVs according to option (#4554) | Haniel Barbosa |
| 2020-06-04 | Update Java tests to match changes in API (#4535) | Andres Noetzli |
| 2020-02-12 | Rename Java package to edu.stanford.CVC4 (#3752) | Andres Noetzli |
| 2019-04-04 | adding sygus news (#2934) | Haniel Barbosa |
| 2019-03-21 | Add more NEWS (#2859) | Andres Noetzli |
| 2019-01-16 | Update NEWS file (#2804) | Andres Noetzli |
| 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 |
