kore-0.39.0.0 (#2388)

Author: ttuegel

kore/CHANGELOG.md

@@ -14,6 +14,26 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.39.0.0] - 2021-02-04
+
+### Added
+
+- `kore-parser` accepts the `--pattern` argument multiple times. It will
+  validate all the patterns with a single definition. (#2369)
+
+### Changed
+
+- `kore-exec --version` will report the version number and Git commit, but not
+  the build date. The build date was never reported correctly anyway. (#2370)
+
+### Fixed
+
+- The priority of equations is respected again. (#2366)
+- Terms are still equal if the backend has inferred that one is defined but not
+  the other. (#2372)
+- Uninterpreted functions appearing in the keys of maps and sets are handled
+  correctly. (#2323)
+
 ## [0.38.0.0] - 2021-01-24
 
 ### Added

kore/kore.cabal

@@ -4,10 +4,10 @@ cabal-version: 2.2
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 1eb807e1a58c0a657f51fd08934c8a7e171988a07bcd9e0e4c098055595b6ac4
+-- hash: 7e4a37b77d7b81a22960b085c7c033ee8536b5990c1d4567ffca224c79a1e2aa
 
 name:           kore
-version:        0.38.0.0
+version:        0.39.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.38.0.0
+version:             0.39.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.38.0.0"; };
+      identifier = { name = "kore"; version = "0.39.0.0"; };
       license = "NCSA";
       copyright = "2018-2020 Runtime Verification Inc";
       maintainer = "thomas.tuegel@runtimeverification.com";