kore-0.27.0.0 (#2042)

runtimeverification · Aug 6, 2020 · f45a66e · f45a66e
1 parent d544b82
commit f45a66e
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 1 deletion.
diff --git 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
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.26.0.0
+version:             0.27.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE