From 24015b1555e97c83d3971a49336a1c9d8cd95129 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel Date: Thu, 29 Oct 2020 10:26:40 -0500 Subject: [PATCH] kore-0.33.0.0 (#2232) --- kore/CHANGELOG.md | 22 ++++++++++++++++++++++ kore/package.yaml | 2 +- 2 files changed, 23 insertions(+), 1 deletion(-) diff --git a/kore/CHANGELOG.md b/kore/CHANGELOG.md index 96f8a5ff3d..7803feccc8 100644 --- 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 index e207af6ba1..934f57afa3 100644 --- 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