From 76aff043ac4c53e941058ab336e89d3dcc59099b Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Thu, 22 Apr 2021 14:02:02 -0500 Subject: [PATCH] kore-0.44.0.0 --- kore/CHANGELOG.md | 7 +++++++ kore/kore.cabal | 2 +- nix/kore.nix.d/kore.nix | 2 +- 3 files changed, 9 insertions(+), 2 deletions(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 407ac57f92..72cbbc348a 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,13 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.44.0.0] - 2021-04-22 + +### Fixed + +- Concrete side conditions will be fully simplified. (#2526) +- A memory leak is removed where deciding if a Map or Set is defined. (#2550) + ## [0.43.0.0] - 2021-04-07 ### Changed diff --git a/kore/kore.cabal b/kore/kore.cabal index c16dc989b7..f1d0445d68 100644 --- a/kore/kore.cabal +++ b/kore/kore.cabal @@ -1,6 +1,6 @@ cabal-version: 2.2 name: kore -version: 0.43.0.0 +version: 0.44.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 81bab4a425..91f003cf38 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.43.0.0"; }; + identifier = { name = "kore"; version = "0.44.0.0"; }; license = "NCSA"; copyright = "2018-2021 Runtime Verification Inc"; maintainer = "thomas.tuegel@runtimeverification.com";