projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Revisit strings extended function decomposition (#2892)
[cvc5.git] / NEWS
2019-03-21 Andres NoetzliAdd more NEWS (#2859) blob | commitdiff | raw
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
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersBetter automatic handling of output language setting. blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersJava datatype API fixups, datatype API examples blob | commitdiff | raw | diff to current
2013-12-22 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... blob | commitdiff | raw | diff to current
2013-12-15 Tianyi Liangresolve merge issue. blob | commitdiff | raw | diff to current
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-12-13 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-11 Morgan DetersUpdate NEWS. blob | commitdiff | raw | diff to current
2013-12-09 Morgan DetersInitializing 1.3.x branch. blob | commitdiff | raw | diff to current
2013-12-06 Morgan DetersInitializing 1.3.x branch. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersFix NEWS. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersNEWS reorganization. blob | commitdiff | raw | diff to current
2013-12-04 Morgan DetersDon't put define-funs in model output; bug 411 testcase... blob | commitdiff | raw | diff to current
2013-12-03 Tianyi Liangchange string news blob | commitdiff | raw | diff to current
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-12-02 Morgan DetersUpdate NEWS file. blob | commitdiff | raw | diff to current
2013-11-27 Morgan DetersSome versioning in advance of the 1.3 release. blob | commitdiff | raw | diff to current
next