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