kore-0.33.0.0 (#2232)

runtimeverification · Oct 29, 2020 · 24015b1 · 24015b1
1 parent 7ecea69
commit 24015b1
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,6 +14,28 @@ All notable changes to this project will be documented in this file.
 
 ### Fixed
 
+## [0.33.0.0] - 2020-10-29
+
+### Added
+
+- The `--solver-reset-interval` option allows the user to specify how often the
+  SMT solver will be reset. (#2207)
+- Conditions quantified by `\forall` are sent to the SMT solver. (#2183)
+
+### Changed
+
+- Failing queries to the SMT solver are retried once, after resetting the
+  solver. (#2208)
+- The `--save-proofs` option is always effective, even when all claims are
+  successfully proven. (#2183)
+- The `--strategy all` option is now the default, instead of `--strategy any`.
+  (#2204)
+
+### Removed
+
+- The `--strategy any-heating-cooling` and `--strategy all-heating-cooling`
+  options are removed. (#2204)
+
 ## [0.32.0.0] - 2020-10-15
 
 ### Changed

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