kore-0.55.0.0 (#2873)

runtimeverification · Oct 11, 2021 · e0fedde · e0fedde
1 parent 395b9ec
commit e0fedde
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 2 deletions.
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.55.0.0] - 2021-10-11
+
+### Added
+
+- Add `oneLineDoc` implementations to all existing `Entry` instances (#2781).
+- Cache the results of equation application (#2321).
+- Parses multi-argument `\\or` with `\\left-assoc` and `\\right-assoc` (#2833).
+
+### Fixed
+
+- Fix bug which lost `Proven` states (#2786).
+- `graph` command does not crash `kore-repl` on MacOS (#2817).
+- Fix bug related to equation application (#2785, #2849, #2793).
+
 ## [0.53.0.0] - 2021-09-08
 
 ### Added

diff --git a/kore/kore.cabal b/kore/kore.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore
-version:        0.53.0.0
+version:        0.55.0.0
 description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/kframework/kore#readme

diff --git a/nix/kore.nix.d/kore.nix b/nix/kore.nix.d/kore.nix
@@ -11,7 +11,7 @@
     flags = { release = false; threaded = true; };
     package = {
       specVersion = "2.2";
-      identifier = { name = "kore"; version = "0.53.0.0"; };
+      identifier = { name = "kore"; version = "0.55.0.0"; };
       license = "BSD-3-Clause";
       copyright = "2018-2021 Runtime Verification Inc";
       maintainer = "[email protected]";