Age | Commit message (Expand) | Author |
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 |
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 |