From 3243d1e58db1f8aede979c5469458d4242def399 Mon Sep 17 00:00:00 2001
From: Thomas Tuegel <thomas.tuegel@runtimeverification.com>
Date: Mon, 8 Mar 2021 16:10:51 -0600
Subject: [PATCH] kore-0.41.0.0 (#2444)

---
 kore/CHANGELOG.md       | 12 ++++++++++++
 kore/kore.cabal         |  4 ++--
 kore/package.yaml       |  2 +-
 nix/kore.nix.d/kore.nix |  2 +-
 4 files changed, 16 insertions(+), 4 deletions(-)

diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index b700f7a54f..832e381a83 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,18 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.41.0.0] - 2021-03-05
+
+### Changed
+
+- Clauses in the side condition of a configuration are considered when
+  simplifying applying equations to other clauses in the side condition (#2393).
+
+### Fixed
+
+- Values of the `BYTES.Bytes` sort are unparsed in the correct 8-bit encoding
+  instead of the base-16 encoding. (#2411)
+
 ## [0.40.0.0] - 2021-02-17
 
 ### Fixed
diff --git a/kore/kore.cabal b/kore/kore.cabal
index 1c4775ce24..184909c7be 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -4,10 +4,10 @@ cabal-version: 2.2
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 03c98e7a7113ac321409caf3539c3987574f8cb7fa4049e7fb285d8c462de491
+-- hash: 2702a5d875e9f185a4aedc5fdcafa951249ccd4ef5edab6f1e96689991c8f13f
 
 name:           kore
-version:        0.40.0.0
+version:        0.41.0.0
 description:    Please see the [README](README.md) file.
 category:       Language
 homepage:       https://github.com/kframework/kore#readme
diff --git a/kore/package.yaml b/kore/package.yaml
index 36a39202ab..7bb4a718b0 100644
--- a/kore/package.yaml
+++ b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.40.0.0
+version:             0.41.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE
diff --git a/nix/kore.nix.d/kore.nix b/nix/kore.nix.d/kore.nix
index 1b330205ba..87fac4ad76 100644
--- 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.40.0.0"; };
+      identifier = { name = "kore"; version = "0.41.0.0"; };
       license = "NCSA";
       copyright = "2018-2020 Runtime Verification Inc";
       maintainer = "thomas.tuegel@runtimeverification.com";