kore-0.22.0.0 (#1853)

runtimeverification · May 28, 2020 · df8fa5f · df8fa5f
1 parent c411f70
commit df8fa5f
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 3 deletions.
diff --git 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
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.21.0.0
+version:             0.22.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE