kore-0.30.0.0 (#2159)

ttuegel · web-flow · commit c0000517b1ab · 2020-09-18T14:30:54.000-05:00
diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
@@ -14,6 +14,17 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.30.0.0] - 2020-09-18
+
+### Changed
+
+- The prover halts if the SMT solver returns `unknown`. (#2072)
+
+### Fixed
+
+- Function evaluation returns a result after the first equation which
+  applies. (#1146)
+
 ## [0.29.0.0] - 2020-09-04
 
 ### Added
diff --git a/kore/package.yaml b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.29.0.0
+version:             0.30.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE
