From 5cc8559b60a5f1668e10268574b820bf64982ea3 Mon Sep 17 00:00:00 2001 From: konnov Date: Tue, 24 Sep 2024 09:08:15 +0000 Subject: [PATCH 1/2] [release] 0.45.7 --- RELEASE.md | 6 ++++++ VERSION | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 RELEASE.md diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..dc299782bd --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,6 @@ +## 0.45.7 - 2024-09-24 + +### Features + +- Periodically print Z3 statistics when `--debug` is on (#2992) +- Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990) diff --git a/VERSION b/VERSION index c17c8e0466..68016cd802 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.45.7-SNAPSHOT +0.45.7 From d96e84d2b62a8a2cd206a0e5c17e0b5d14876c19 Mon Sep 17 00:00:00 2001 From: konnov Date: Tue, 24 Sep 2024 09:08:24 +0000 Subject: [PATCH 2/2] Bump version to 0.45.8-SNAPSHOT --- .unreleased/features/z3-parameters.md | 1 - .unreleased/features/z3-stats.md | 1 - CHANGES.md | 7 +++++++ RELEASE.md | 6 ------ VERSION | 2 +- 5 files changed, 8 insertions(+), 9 deletions(-) delete mode 100644 .unreleased/features/z3-parameters.md delete mode 100644 .unreleased/features/z3-stats.md delete mode 100644 RELEASE.md diff --git a/.unreleased/features/z3-parameters.md b/.unreleased/features/z3-parameters.md deleted file mode 100644 index 82195d8708..0000000000 --- a/.unreleased/features/z3-parameters.md +++ /dev/null @@ -1 +0,0 @@ -Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990) diff --git a/.unreleased/features/z3-stats.md b/.unreleased/features/z3-stats.md deleted file mode 100644 index a3011f003a..0000000000 --- a/.unreleased/features/z3-stats.md +++ /dev/null @@ -1 +0,0 @@ -Periodically print Z3 statistics when `--debug` is on (#2992) diff --git a/CHANGES.md b/CHANGES.md index e0025d5475..b3d3512a1a 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,13 @@ +## 0.45.7 - 2024-09-24 + +### Features + +- Periodically print Z3 statistics when `--debug` is on (#2992) +- Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990) + ## 0.45.6 - 2024-09-19 ### Features diff --git a/RELEASE.md b/RELEASE.md deleted file mode 100644 index dc299782bd..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,6 +0,0 @@ -## 0.45.7 - 2024-09-24 - -### Features - -- Periodically print Z3 statistics when `--debug` is on (#2992) -- Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990) diff --git a/VERSION b/VERSION index 68016cd802..30ae1be474 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.45.7 +0.45.8-SNAPSHOT