kore-0.23.0.0 (#1878)

runtimeverification · Jun 10, 2020 · 55a1306 · 55a1306
1 parent 68b9225
commit 55a1306
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
@@ -14,6 +14,20 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.23.0.0] - 2020-06-10
+
+### Added
+
+- `kore-exec` and `kore-repl` save the information necessary to reproduce a bug
+  with the option `--bug-report`.
+- The hook `BOOL.or` is simplified to `\and` when possible.
+- The hook `SET.in` is simplified to `\and` when possible.
+
+### Fixed
+
+- The error message thrown when a rewrite rule cannot be instantiated uses
+  variable names consistently.
+
 ## [0.22.0.0] - 2020-05-27
 
 ### Added

diff --git a/kore/package.yaml b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.22.0.0
+version:             0.23.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE