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/VERSION b/VERSION
index 93722f80fa..630d1052de 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.44.12-SNAPSHOT
+0.45.1-SNAPSHOT