From df8fa5f5585ec346c988265ccbb6a238c7de66c1 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Thu, 28 May 2020 05:39:50 -0500 Subject: [PATCH] kore-0.22.0.0 (#1853) --- kore/CHANGELOG.md | 17 +++++++++++++++-- kore/package.yaml | 2 +- 2 files changed, 16 insertions(+), 3 deletions(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 45368caa7e..168b4276f5 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -8,14 +8,27 @@ All notable changes to this project will be documented in this file. ### Changed -- Execution does not branch when evaluating the hooked `KEQUAL.eq` function. - ### Deprecated ### Removed ### Fixed +## [0.22.0.0] - 2020-05-27 + +### Added + +- A warning is emitted when a total function returns `\bottom`. + +### Changed + +- Execution does not branch when evaluating the hooked `KEQUAL.eq` function. + +### Fixed + +- Overloaded symbols are now correctly unified with injected variables. +- Error messages are no longer duplicated in the log. + ## [0.21.0.0] - 2020-05-13 ### Added diff --git a/kore/package.yaml b/kore/package.yaml index 99a1cb1e37..1760c9c5f8 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.21.0.0 +version: 0.22.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE