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";