Change the default unsat cores (#6571)
[cvc5.git] / NEWS
2021-05-19 Haniel BarbosaChange the default unsat cores (#6571)
2021-02-09 Mathias Preinercmake: Make Python3 default and improve toml error...
2020-11-12 yoni206Models standard (#5415)
2020-09-26 Aina NiemetzRestrict bvxnor to only allow two operands (was n-ary...
2020-09-08 Andres NoetzliMake CVC/API BV div/mod semantics match SMT-LIB (#4997)
2020-09-02 Andres NoetzliUse SMT-COMP configuration for competition build (...
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ...
2020-07-10 Andrew ReynoldsFront end support for integer AND (#4717)
2020-07-06 Andrew ReynoldsFront end support for sequences (#4690)
2020-07-03 Andres NoetzliRemove SWIG bindings (#4683)
2020-06-30 Andres NoetzliUpdate NEWS post 1.8 release (#4666)
2020-06-27 Andres NoetzliAdd API for retrieving separation heap/nil term (#4663)
2020-06-19 Andres NoetzliUpdate info for 1.8 release (#4633)
2020-06-16 Andrew ReynoldsUpdates to NEWS. (#4628)
2020-06-10 Andres NoetzliAdd support for str.replace_re/str.replace_re_all ...
2020-06-06 Andres NoetzliKeep definitions when global-declarations enabled ...
2020-06-05 Haniel BarbosaChanging default language (#4561)
2020-06-05 Haniel BarbosaPrinting FP values as binary or indexed BVs according...
2020-06-05 Andres NoetzliUpdate Java tests to match changes in API (#4535)
2020-02-12 Andres NoetzliRename Java package to edu.stanford.CVC4 (#3752)
2019-04-04 Haniel Barbosaadding sygus news (#2934)
2019-03-21 Andres NoetzliAdd more NEWS (#2859)
2019-01-16 Andres NoetzliUpdate NEWS file (#2804)
2018-12-17 Aina NiemetzNew C++ API: Add tests for term object. (#2755)
2018-06-25 Aina NiemetzMore updates to NEWS for 1.6.
2018-06-25 Aina NiemetzUpdate AUTHORS, NEWS, README, RELEASE-NOTES and THANKS...
2018-04-02 Clark BarrettRemove references to nyu (#1721)
2017-07-05 ajreynolUpdate unit test, news.
2017-06-30 Clark BarrettUpdated NEWS, README, RELEASE-NOTES.
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4
2016-06-09 Clark BarrettDummy commit.
2014-11-10 Morgan DetersMerge branch '1.4.x'
2014-11-07 Morgan DetersMerge branch '1.4.x'
2014-11-07 Morgan DetersMerge branch '1.4.x'
2014-11-07 Morgan DetersMerge branch '1.4.x'
2014-11-05 Morgan DetersMerge branch '1.4.x'
2014-10-23 Morgan DetersParsing and infrastructure support for SMT-LIBv2.5...
2014-10-17 Morgan DetersMerge branch '1.4.x'
2014-10-16 Morgan DetersMerge branch '1.4.x'
2014-10-11 Morgan DetersMerge branch '1.4.x'
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x'
2014-10-09 Morgan DetersMerge branch '1.4.x'
2014-10-07 Morgan DetersMerge branch '1.4.x'
2014-10-06 Morgan DetersMerge branch '1.4.x'
2014-10-06 Morgan DetersMerge branch '1.4.x'
2014-10-03 Morgan DetersMerge branch '1.4.x'
2014-10-03 Morgan DetersFix output of integer-valued real constants in SMT...
2014-10-03 Morgan DetersMore array constants and parsing: better error messages...
2014-10-03 Morgan DetersMerge branch '1.4.x'
2014-10-03 Morgan DetersNote array const support in NEWS
2014-10-02 Morgan DetersMerge branch '1.4.x'.
2014-09-30 Morgan DetersMerge branch '1.4.x'
2014-09-27 Morgan DetersMerge branch '1.4.x'
2014-09-26 Morgan DetersMerge branch '1.4.x'
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49.
2014-09-17 Kshitij BansalMerge branch '1.4.x'
2014-08-22 Morgan DetersUnsat core infrastruture and API (SMT-LIB compliance...
2014-07-13 Morgan DetersNew versioning for development version.
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa...
2014-07-02 Morgan DetersMinor.
2014-07-01 Morgan Detersreword NEWS
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp
2014-06-30 Kshitij BansalUpdate NEWS
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission'
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application'
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds
2014-06-21 Morgan DetersSome minor cleanup and documentation.
2014-06-19 Morgan DetersDocumentation clean-ups.
2014-06-19 Morgan DetersVersioning preparation.
2014-06-17 Tim KingMerge pull request #33 from mdeters/arith-proposal
2014-06-17 Morgan DetersDocumentation clean-ups.
2014-06-17 Morgan DetersVersioning preparation.
2014-06-10 Morgan DetersSome news about API changes.
2014-04-01 Tim KingMerge branch '1.3.x'
2014-03-26 Morgan DetersMerge branch '1.3.x'
2014-03-11 Morgan DetersMerge branch '1.3.x'
2014-03-11 Morgan DetersMerge branch '1.3.x'
2014-02-21 Morgan DetersMerge branch '1.3.x'
2014-02-21 Morgan DetersMerge branch '1.3.x'
2014-02-19 Tim KingMerge branch '1.3.x'
2014-01-27 Morgan DetersMerge branch '1.3.x'
2014-01-18 Morgan DetersMerge branch '1.3.x'
2014-01-17 Kshitij BansalMerge branch '1.3.x'
2014-01-09 Morgan DetersMerge branch '1.3.x'
2014-01-08 Morgan DetersMerge branch '1.3.x'
2014-01-08 Morgan DetersSwitch license default back to BSD, and add --best...
2014-01-02 Morgan DetersMerge branch '1.3.x'
2013-12-27 Morgan DetersMerge branch '1.3.x'
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4
2013-12-24 Morgan DetersMerge branch '1.3.x'
2013-12-24 Morgan DetersBetter automatic handling of output language setting.
2013-12-24 Morgan DetersMerge branch '1.3.x'
2013-12-24 Morgan DetersJava datatype API fixups, datatype API examples
2013-12-22 Morgan DetersMerge branch '1.3.x'
next