summaryrefslogtreecommitdiff
path: root/NEWS
AgeCommit message (Expand)Author
2021-10-28Add a `define-fun` command for each `:named` term. (#7308)Abdalrhman Mohamed
2021-07-22Add support for minimal unsat cores (#4605)Andres Noetzli
2021-07-07pow2: Update NEWS. (#6851)Aina Niemetz
2021-06-21Make CaDiCaL a required dependency. (#6761)Mathias Preiner
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-02Remove redundant logic ALL_SUPPORTED. (#6664)Aina Niemetz
2021-05-30Remove invalid options from run scripts (#6645)Andres Noetzli
2021-05-27Fix `str.replace_re` and `str.replace_re_all` (#6615)Andres Noetzli
2021-05-19Change the default unsat cores (#6571)Haniel Barbosa
2021-02-09cmake: Make Python3 default and improve toml error messages. (#5884)Mathias Preiner
2020-11-12Models standard (#5415)yoni206
2020-09-25Restrict bvxnor to only allow two operands (was n-ary). (#5138)Aina Niemetz
2020-09-08Make CVC/API BV div/mod semantics match SMT-LIB (#4997)Andres Noetzli
2020-09-02Use SMT-COMP configuration for competition build (#4995)Andres Noetzli
2020-07-17Support for using 'libedit' over 'readline' #4571 (#4579)Andrew V. Jones
2020-07-10Front end support for integer AND (#4717)Andrew Reynolds
2020-07-06Front end support for sequences (#4690)Andrew Reynolds
2020-07-02Remove SWIG bindings (#4683)Andres Noetzli
2020-06-30Update NEWS post 1.8 release (#4666)Andres Noetzli
2020-06-27Add API for retrieving separation heap/nil term (#4663)Andres Noetzli
2020-06-19Update info for 1.8 release (#4633)Andres Noetzli
2020-06-16Updates to NEWS. (#4628)Andrew Reynolds
2020-06-10Add support for str.replace_re/str.replace_re_all (#4594)Andres Noetzli
2020-06-06Keep definitions when global-declarations enabled (#4572)Andres Noetzli
2020-06-05Changing default language (#4561)Haniel Barbosa
2020-06-05Printing FP values as binary or indexed BVs according to option (#4554)Haniel Barbosa
2020-06-04Update Java tests to match changes in API (#4535)Andres Noetzli
2020-02-12Rename Java package to edu.stanford.CVC4 (#3752)Andres Noetzli
2019-04-04adding sygus news (#2934)Haniel Barbosa
2019-03-21Add more NEWS (#2859)Andres Noetzli
2019-01-16Update NEWS file (#2804)Andres Noetzli
2018-12-17New C++ API: Add tests for term object. (#2755)Aina Niemetz
2018-06-25More updates to NEWS for 1.6.Aina Niemetz
2018-06-25Update AUTHORS, NEWS, README, RELEASE-NOTES and THANKS file for 1.6.Aina Niemetz
2018-04-02Remove references to nyu (#1721)Clark Barrett
2017-07-05Update unit test, news.ajreynol
2017-06-30Updated NEWS, README, RELEASE-NOTES.Clark Barrett
2016-06-09Dummy commit.Clark Barrett
2014-10-23Parsing and infrastructure support for SMT-LIBv2.5 input and output languages.Morgan Deters
2014-10-03Merge branch '1.4.x'Morgan Deters
2014-10-03Fix output of integer-valued real constants in SMT-LIB models (thanks Christo...Morgan Deters
2014-10-03More array constants and parsing: better error messages, extend to CVC presen...Morgan Deters
2014-10-03Note array const support in NEWSMorgan Deters
2014-08-22Unsat core infrastruture and API (SMT-LIB compliance to come).Morgan Deters
2014-07-13New versioning for development version.Morgan Deters
2014-07-02Minor.Morgan Deters
2014-07-01reword NEWSMorgan Deters
2014-06-30Update NEWSKshitij Bansal
2014-06-21Some minor cleanup and documentation.Morgan Deters
2014-06-19Documentation clean-ups.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback