From add659eaa69a9a81536e109abe62d1c7b5a48cdd Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Fri, 24 Jul 2020 20:08:19 -0500 Subject: [PATCH] kore-0.26.0.0 (#2009) --- kore/CHANGELOG.md | 16 ++++++++++++++++ kore/package.yaml | 2 +- 2 files changed, 17 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 98bfdce401..a83e9d51e1 100644 --- a/kore/CHANGELOG.md +++ b/kore/CHANGELOG.md @@ -14,8 +14,24 @@ All notable changes to this project will be documented in this file. ### Fixed +## [0.26.0.0] - 2020-07-24 + +### Added + +- Speedscope is now supported for profiling proofs. +- kore-repl can list rules applied between any related nodes. +- kore-repl allows enabling debug-equation dynamically. +- A warning is emitted to distinguish the types of proof failure. + +### Fixed + - A bug is fixed where variables introduced by symbolic narrowing could be captured incorrectly. +- A more helpful message is provided when the external solver crashes. +- The interrupt signal no longer triggers the creation of a bug report archive + automatically. +- The overhead of logging is significantly reduced. +- Polymorphic symbols can now be encoded for the external solver. ## [0.25.0.0] - 2020-07-08 diff --git a/kore/package.yaml b/kore/package.yaml index ef3bd5bb55..389daffed0 100644 --- a/kore/package.yaml +++ b/kore/package.yaml @@ -1,5 +1,5 @@ name: kore -version: 0.25.0.0 +version: 0.26.0.0 github: "kframework/kore" license: NCSA license-file: LICENSE