From faff22cc4d49cd9735f737054737bd4adb327ef8 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Wed, 13 May 2020 13:49:03 -0500 Subject: [PATCH] kore-0.21.0.0 (#1818) --- kore/CHANGELOG.md | 20 ++++++++++++++++++++ kore/package.yaml | 2 +- 2 files changed, 21 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index ea79d72fdc..5c9e808675 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,6 +14,26 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.21.0.0] - 2020-05-13 + +### Added + +- Injections into hooked sorts are forbidden. +- Semantic rules with the same left- and right-hand sides will be rejected. + Such rules will always cause the backend to loop endlessly. +- `kore-repl` prints output in script mode with the option `--save-run-output`. + +### Changed + +- kore-repl: `stepf` command advances the current configuration. +- `kore-exec` does not retain the interior of the execution graph. + Only the leaf nodes of the execution graph are retained during + execution. Memory use is bounded by the size of the largest configuration and + does not increase with the length of the proof. +- Applying semantic (rewrite) rules is more efficient. + Run time is improved 10-15% by avoiding duplicate work when refreshing the + free variables of semantic rules. + ## [0.20.0.0] - 2020-04-29 ### Added diff --git a/kore/package.yaml b/kore/package.yaml index 14af766f28..99a1cb1e37 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.20.0.0 +version: 0.21.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE