| Age | Commit message (Expand) | Author |
|---|
| 2021-02-09 | cmake: Make Python3 default and improve toml error messages. (#5884) | Mathias Preiner |
| 2020-11-12 | Models standard (#5415) | yoni206 |
| 2020-09-25 | Restrict bvxnor to only allow two operands (was n-ary). (#5138) | Aina Niemetz |
| 2020-09-08 | Make CVC/API BV div/mod semantics match SMT-LIB (#4997) | Andres Noetzli |
| 2020-09-02 | Use SMT-COMP configuration for competition build (#4995) | Andres Noetzli |
| 2020-07-17 | Support for using 'libedit' over 'readline' #4571 (#4579) | Andrew V. Jones |
| 2020-07-10 | Front end support for integer AND (#4717) | Andrew Reynolds |
| 2020-07-06 | Front end support for sequences (#4690) | Andrew Reynolds |
| 2020-07-02 | Remove SWIG bindings (#4683) | Andres Noetzli |
| 2020-06-30 | Update NEWS post 1.8 release (#4666) | Andres Noetzli |
| 2020-06-27 | Add API for retrieving separation heap/nil term (#4663) | Andres Noetzli |
| 2020-06-19 | Update info for 1.8 release (#4633) | Andres Noetzli |
| 2020-06-16 | Updates to NEWS. (#4628) | Andrew Reynolds |
| 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 |
