From ccd21afe64fb4c0b8f144b15604ec73e7b2a5163 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Wed, 17 Feb 2021 20:29:56 -0600 Subject: [PATCH 1/3] kore-0.40.0.0 --- kore/CHANGELOG.md | 11 +++++++++++ kore/package.yaml | 2 +- 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 025420ef61..b700f7a54f 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,17 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.40.0.0] - 2021-02-17 + +### Fixed + +- When a function equation is rejected for having the wrong form, the source + location of the rule is displayed. (#2408) +- When a function cannot be evaluated because it was not given any rules, the + source location of the function declaration is displayed. (#2377) +- When the proof of a reachability claim is stuck, the source location of the + original claim is displayed. (#2377) + ## [0.39.0.0] - 2021-02-04 ### Added diff --git a/kore/package.yaml b/kore/package.yaml index 6d0ca59719..36a39202ab 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.39.0.0 +version: 0.40.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE From be398e60358dd58c5cd9248c175aaf2f87c1fdfa Mon Sep 17 00:00:00 2001 From: ttuegel Date: Thu, 18 Feb 2021 02:37:22 +0000 Subject: [PATCH 2/3] Materialize Nix expressions --- kore/kore.cabal | 4 ++-- nix/kore.nix.d/kore.nix | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kore/kore.cabal b/kore/kore.cabal index ac6ff4a588..4736577b9b 100644 --- a/kore/kore.cabal +++ b/kore/kore.cabal @@ -4,10 +4,10 @@ cabal-version: 2.2 -- -- see: https://github.com/sol/hpack -- --- hash: 999e1c394d84530678f479451e3ecface6622df87771c72c3aa313a406716b15 +-- hash: 3d55d4e48de30558077ae922d1e28eb952053eba723c498c6844dbb35e799899 name: kore -version: 0.39.0.0 +version: 0.40.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 6174a00fc8..b9b6c16443 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.39.0.0"; }; + identifier = { name = "kore"; version = "0.40.0.0"; }; license = "NCSA"; copyright = "2018-2020 Runtime Verification Inc"; maintainer = "thomas.tuegel@runtimeverification.com"; From 3af78fd8bf8b3243bd8fdcff083d4b250f670a47 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Thu, 18 Feb 2021 14:43:22 -0600 Subject: [PATCH 3/3] Trigger workflows