kore-0.29.0.0 (#2121)

runtimeverification · Sep 4, 2020 · f25726d · f25726d
1 parent 8ee3470
commit f25726d
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 1 deletion.
diff --git 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
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.28.0.0
+version:             0.29.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE