From 2c576d8a885ec4e9a3de0865e71b89a89beea1f7 Mon Sep 17 00:00:00 2001 From: konnov Date: Wed, 2 Oct 2024 16:25:07 +0000 Subject: [PATCH 1/2] [release] 0.47.0 --- RELEASE.md | 5 +++++ VERSION | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 RELEASE.md diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..3b3dbac7b0 --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,5 @@ +## 0.47.0 - 2024-10-02 + +### Breaking changes + +- Downgrade z3 to 4.12.6, due to instability of 4.13.0 diff --git a/VERSION b/VERSION index 43c513c63b..421ab545d9 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.46.3-SNAPSHOT +0.47.0 From 6dca654e3b9972a5f39750878a8431a73c502a81 Mon Sep 17 00:00:00 2001 From: konnov Date: Wed, 2 Oct 2024 16:25:15 +0000 Subject: [PATCH 2/2] Bump version to 0.47.1-SNAPSHOT --- .unreleased/breaking-changes/downgrade-z3.md | 1 - CHANGES.md | 6 ++++++ RELEASE.md | 5 ----- VERSION | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) delete mode 100644 .unreleased/breaking-changes/downgrade-z3.md delete mode 100644 RELEASE.md diff --git a/.unreleased/breaking-changes/downgrade-z3.md b/.unreleased/breaking-changes/downgrade-z3.md deleted file mode 100644 index c2d58933fc..0000000000 --- a/.unreleased/breaking-changes/downgrade-z3.md +++ /dev/null @@ -1 +0,0 @@ -Downgrade z3 to 4.12.6, due to instability of 4.13.0 diff --git a/CHANGES.md b/CHANGES.md index 4eb4cc93b2..8c5b563969 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,12 @@ +## 0.47.0 - 2024-10-02 + +### Breaking changes + +- Downgrade z3 to 4.12.6, due to instability of 4.13.0 + ## 0.46.2 - 2024-10-02 ### Bug fixes diff --git a/RELEASE.md b/RELEASE.md deleted file mode 100644 index 3b3dbac7b0..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,5 +0,0 @@ -## 0.47.0 - 2024-10-02 - -### Breaking changes - -- Downgrade z3 to 4.12.6, due to instability of 4.13.0 diff --git a/VERSION b/VERSION index 421ab545d9..3e9b4751ef 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.47.0 +0.47.1-SNAPSHOT