From 1c591f52b34c6b75dd4aef1fd150accc0f7492d2 Mon Sep 17 00:00:00 2001
From: ana-pantilie <45069775+ana-pantilie@users.noreply.github.com>
Date: Thu, 9 Sep 2021 14:19:25 +0300
Subject: [PATCH] kore-0.53.0.0 (#2832)

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

diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
index ed0cb95819..71d23fa744 100644
--- a/kore/CHANGELOG.md
+++ b/kore/CHANGELOG.md
@@ -14,6 +14,16 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.53.0.0] - 2021-09-08
+
+### Added
+
+- Display log-format option values (#2808).
+
+### Fixed
+
+- Performance issues related to `SideCondition.definedTerms` (#2778, #2779).
+
 ## [0.52.0.0] - 2021-08-11
 
 ### Added
diff --git a/kore/kore.cabal b/kore/kore.cabal
index 4113fe5975..1e2eb98698 100644
--- a/kore/kore.cabal
+++ b/kore/kore.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           kore
-version:        0.52.0.0
+version:        0.53.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 c19857559f..fa574a821b 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.52.0.0"; };
+      identifier = { name = "kore"; version = "0.53.0.0"; };
       license = "BSD-3-Clause";
       copyright = "2018-2021 Runtime Verification Inc";
       maintainer = "ana.pantilie@runtimeverification.com";