kore-0.26.0.0 (#2009)

runtimeverification · Jul 25, 2020 · add659e · add659e
1 parent 7c68064
commit add659e
Show file tree

Hide file tree

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