From f25726d27012d7055ae764e2ffcce4b3f1d95804 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Fri, 4 Sep 2020 08:36:04 -0500 Subject: [PATCH] kore-0.29.0.0 (#2121) --- kore/CHANGELOG.md | 21 +++++++++++++++++++++ kore/package.yaml | 2 +- 2 files changed, 22 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 5db78f87e5..b796c811db 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,27 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.29.0.0] - 2020-09-04 + +### Added + +- The SMT solver transcript (`--solver-transcript`) shows reponses received from + the solver. (#1688) + +### Changed + +- The internal representation of terms is simplified. (#2104) +- The prover keeps the right-hand side of its working claim simplified. (#1278) + +### Fixed + +- The SMT solver no longer fails to solve simple queries. (#2075) +- The SMT solver no longer leaks memory. (#2087) +- Simplifying conjunctions of predicates runs in linear time, rather than + quadratic. (#2102) +- Proven states are not accidentally reported as "stuck". (#2021) +- The prover halts at the first unproven state. (#2071) + ## [0.28.0.0] - 2020-08-19 ### Added diff --git a/kore/package.yaml b/kore/package.yaml index 1041db4f0c..0f0e2a237f 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.28.0.0 +version: 0.29.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE