From 13c39f5ef9fde86277635a8fae1fc394313c26f6 Mon Sep 17 00:00:00 2001
From: konnov <github@actions.ci>
Date: Sat, 17 Aug 2024 15:52:48 +0000
Subject: [PATCH 1/2] [release] 0.45.0

---
 RELEASE.md | 7 +++++++
 VERSION    | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)
 create mode 100644 RELEASE.md

diff --git a/RELEASE.md b/RELEASE.md
new file mode 100644
index 0000000000..f5d281c853
--- /dev/null
+++ b/RELEASE.md
@@ -0,0 +1,7 @@
+## 0.45.0 - 2024-08-17
+
+### Features
+
+- Handle expressions such as  S \in SUBSET [ a : Int ]  by rewriting the expression into  \A r \in S: DOMAIN r = {"a"} /\ r.a \in Int
+- Translate Quint's generate into `Apalache!Gen` (#2916)
+- Add `--timeout-smt` to limit SMT queries (#2936)
diff --git a/VERSION b/VERSION
index 93722f80fa..bcce5d06b8 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.44.12-SNAPSHOT
+0.45.0

From 553ff28f7c5a5072f35127cda4a83696f1d03db9 Mon Sep 17 00:00:00 2001
From: konnov <github@actions.ci>
Date: Sat, 17 Aug 2024 15:52:56 +0000
Subject: [PATCH 2/2] Bump version to 0.45.1-SNAPSHOT

---
 .unreleased/features/rewrite.md            | 1 -
 .unreleased/features/timeout-smt.md        | 1 -
 .unreleased/features/translate-generate.md | 1 -
 CHANGES.md                                 | 8 ++++++++
 RELEASE.md                                 | 7 -------
 VERSION                                    | 2 +-
 6 files changed, 9 insertions(+), 11 deletions(-)
 delete mode 100644 .unreleased/features/rewrite.md
 delete mode 100644 .unreleased/features/timeout-smt.md
 delete mode 100644 .unreleased/features/translate-generate.md
 delete mode 100644 RELEASE.md

diff --git a/.unreleased/features/rewrite.md b/.unreleased/features/rewrite.md
deleted file mode 100644
index 00fb95d91b..0000000000
--- a/.unreleased/features/rewrite.md
+++ /dev/null
@@ -1 +0,0 @@
-Handle expressions such as  S \in SUBSET [ a : Int ]  by rewriting the expression into  \A r \in S: DOMAIN r = {"a"} /\ r.a \in Int
\ No newline at end of file
diff --git a/.unreleased/features/timeout-smt.md b/.unreleased/features/timeout-smt.md
deleted file mode 100644
index dd27979cfb..0000000000
--- a/.unreleased/features/timeout-smt.md
+++ /dev/null
@@ -1 +0,0 @@
-Add `--timeout-smt` to limit SMT queries (#2936)
diff --git a/.unreleased/features/translate-generate.md b/.unreleased/features/translate-generate.md
deleted file mode 100644
index 326f24450d..0000000000
--- a/.unreleased/features/translate-generate.md
+++ /dev/null
@@ -1 +0,0 @@
-Translate Quint's generate into `Apalache!Gen` (#2916)
diff --git a/CHANGES.md b/CHANGES.md
index e370b63d49..e523bc2b40 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,14 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
  
+## 0.45.0 - 2024-08-17
+
+### Features
+
+- Handle expressions such as  S \in SUBSET [ a : Int ]  by rewriting the expression into  \A r \in S: DOMAIN r = {"a"} /\ r.a \in Int
+- Translate Quint's generate into `Apalache!Gen` (#2916)
+- Add `--timeout-smt` to limit SMT queries (#2936)
+
 ## 0.44.11 - 2024-05-06
 
 ### Features
diff --git a/RELEASE.md b/RELEASE.md
deleted file mode 100644
index f5d281c853..0000000000
--- a/RELEASE.md
+++ /dev/null
@@ -1,7 +0,0 @@
-## 0.45.0 - 2024-08-17
-
-### Features
-
-- Handle expressions such as  S \in SUBSET [ a : Int ]  by rewriting the expression into  \A r \in S: DOMAIN r = {"a"} /\ r.a \in Int
-- Translate Quint's generate into `Apalache!Gen` (#2916)
-- Add `--timeout-smt` to limit SMT queries (#2936)
diff --git a/VERSION b/VERSION
index bcce5d06b8..630d1052de 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.45.0
+0.45.1-SNAPSHOT