From 131854f3d754dd9e0bfe4aa03e6b142d088b161e Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Thu, 25 Jun 2020 11:38:33 -0500 Subject: [PATCH] kore-0.24.0.0 (#1926) --- kore/CHANGELOG.md | 14 ++++++++++++++ kore/package.yaml | 2 +- 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 63f4c43eba..d03aae1464 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,20 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.24.0.0] - 2020-06-25 + +### Added + +- The hook `INT.eq` is reflexive with symbolic arguments. +- The unification-based interpretation of function equations is supported. + +### Fixed + +- Improved function evaluation performance by reducing book-keeping. +- Improved unification performance by removing excess logs. +- Improved execution performance by discarding historical configurations. +- `kore-repl` respects all logging options. + ## [0.23.0.0] - 2020-06-10 ### Added diff --git a/kore/package.yaml b/kore/package.yaml index 999f5d28a0..62a9633758 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.23.0.0 +version: 0.24.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE