From c0000517b1abe98822e9245e7821ce1adffb1ce6 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Fri, 18 Sep 2020 14:30:54 -0500 Subject: [PATCH] kore-0.30.0.0 (#2159) --- kore/CHANGELOG.md | 11 +++++++++++ kore/package.yaml | 2 +- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index b796c811db..d704fd674a 100644 --- 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 index 0f0e2a237f..5f072f508f 100644 --- 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