From 4edbb83f3701c6cd591c304c32214fa37ce4c5af Mon Sep 17 00:00:00 2001
From: Thomas Tuegel <thomas.tuegel@runtimeverification.com>
Date: Thu, 3 Jun 2021 10:27:03 -0500
Subject: [PATCH] kore-0.47.0.0 (#2656)

---
 kore/CHANGELOG.md       | 18 ++++++++++++++++++
 kore/kore.cabal         |  2 +-
 nix/kore.nix.d/kore.nix |  2 +-
 3 files changed, 20 insertions(+), 2 deletions(-)

diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index 05a0d99069..e17819b54a 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,24 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.47.0.0] - 2021-06-02
+
+### Added
+
+- The hook `KEQUALS.neq` eagerly returns `false` when two symbolic patterns are
+  equal. (#2634)
+- The hooks `BYTES.decodeBytes` and `BYTES.encodeBytes` are implemented. (#2619)
+- The warning `WarnIfLowProductivity` indicates the definition where the warning
+  occurred. (#2594)
+- `kore-repl` records effect-ful commands from the current session when it
+  saves a bug report. (#2614)
+
+### Fixed
+
+- The definitions of functions in `prelude.kore` are rewritten in the format
+  expected by the LLVM backend. (#2629)
+- `\next` is correctly distributed over `\or` during simplification. (#2608)
+
 ## [0.45.0.0] - 2021-05-10
 
 ### Fixed
diff --git a/kore/kore.cabal b/kore/kore.cabal
index 0099d56f6b..025f95ba25 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore
-version:        0.45.0.0
+version:        0.47.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
index d7901299a5..efefd280d3 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.45.0.0"; };
+      identifier = { name = "kore"; version = "0.47.0.0"; };
       license = "NCSA";
       copyright = "2018-2021 Runtime Verification Inc";
       maintainer = "thomas.tuegel@runtimeverification.com";