From f45a66e3314b05aeb886af2524201a8a0a53c320 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Wed, 5 Aug 2020 20:18:53 -0500 Subject: [PATCH] kore-0.27.0.0 (#2042) --- kore/CHANGELOG.md | 18 ++++++++++++++++++ kore/package.yaml | 2 +- 2 files changed, 19 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index a83e9d51e1..6ccbc8aca8 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,24 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.27.0.0] - 2020-08-05 + +### Added + +- Add symbolic reasoning for SET.difference. +- Add SET.inclusion hook. + +### Changed + +- Add more context to some error messages. +- Update stack.yaml to GHC 8.10. + +### Fixed + +- Fix several memory leaks. +- Enable RTS statistics by default in all build configurations. +- Allow narrowing on uninterpreted functions. + ## [0.26.0.0] - 2020-07-24 ### Added diff --git a/kore/package.yaml b/kore/package.yaml index 1511944066..c4051f8438 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.26.0.0 +version: 0.27.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE