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