kore-0.45.0.0 (#2609)

Author: ttuegel

kore/CHANGELOG.md

@@ -14,6 +14,18 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.45.0.0] - 2021-05-10
+
+### Fixed
+
+- The hook `STRING.string2base` remains unevaluated where it is not implemented.
+  (#2546)
+- The backend no longer crashes when it unparses internal representations of
+  certain terms. (#2494)
+- The backend no longer crashes when it rewrites with a rule where the
+  right-hand side is `\bottom`. (#2561)
+- The backend accepts groups of equations containing `owise` rules. (#2523)
+
 ## [0.44.0.0] - 2021-04-22
 
 ### Fixed

kore/kore.cabal

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

nix/kore.nix.d/kore.nix

@@ -11,7 +11,7 @@
     flags = { release = false; threaded = true; };
     package = {
       specVersion = "2.2";
-      identifier = { name = "kore"; version = "0.44.0.0"; };
+      identifier = { name = "kore"; version = "0.45.0.0"; };
       license = "NCSA";
       copyright = "2018-2021 Runtime Verification Inc";
       maintainer = "thomas.tuegel@runtimeverification.com";