kore-0.40.0.0

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

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

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

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 = "[email protected]";