kore-0.25.0.0 (#1964)

runtimeverification · Jul 9, 2020 · 3eaaa54 · 3eaaa54
1 parent 857a9c4
commit 3eaaa54
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 1 deletion.
diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md
@@ -14,8 +14,30 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.25.0.0] - 2020-07-08
+
+### Added
+
+- The `simplification` attribute takes an optional integer argument indicating
+  the priority of the simplification rule.
+- The hooked function `INT.ediv` implements Euclidean division.
+
+### Changed
+
+- `ErrorBottomTotalFunction` is thrown when a function declared total
+  (`functional`) returns `\bottom`.
+- `ErrorDecidePredicateUnknown` is thrown when the solver cannot decide if a
+  condition is satisfiable or unsatisfiable.
+
+### Fixed
+
 - `kore-exec` exits with the code specified by the semantics, even when the
   final configuration has side conditions.
+- `kore-exec` and `kore-repl` halt when the limit specified by the `--breadth`
+  option is exceeded.
+- Proofs are no longer incomplete when the final configuration is undefined.
+- `kore-repl` does not allow `clear`-ing the direct child of a branching node
+  because this can invalidate a proof.
 
 ## [0.24.0.0] - 2020-06-25
 

diff --git a/kore/package.yaml b/kore/package.yaml
@@ -1,5 +1,5 @@
 name:                kore
-version:             0.24.0.0
+version:             0.25.0.0
 github:              "kframework/kore"
 license:             NCSA
 license-file:        LICENSE