From d144d56ada3abed6a63e9206135e1b3b5393aefc Mon Sep 17 00:00:00 2001
From: konnov <github@actions.ci>
Date: Wed, 14 Aug 2024 17:32:09 +0000
Subject: [PATCH 1/2] [release] 0.44.15

---
 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..ec62a1e3e3
--- /dev/null
+++ b/RELEASE.md
@@ -0,0 +1,6 @@
+## 0.44.15 - 2024-08-14
+
+### Features
+
+- Translate Quint's generate into `Apalache!Gen` (#2916)
+- Add `--timeout-smt` to limit SMT queries (#2936)
diff --git a/VERSION b/VERSION
index 93722f80fa..48b54c180f 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.44.12-SNAPSHOT
+0.44.15

From c20e0d13c8eb3e02971f120a431298b211c43d78 Mon Sep 17 00:00:00 2001
From: konnov <github@actions.ci>
Date: Wed, 14 Aug 2024 17:32:18 +0000
Subject: [PATCH 2/2] Bump version to 0.44.16-SNAPSHOT

---
 .unreleased/features/timeout-smt.md        | 1 -
 .unreleased/features/translate-generate.md | 1 -
 CHANGES.md                                 | 7 +++++++
 RELEASE.md                                 | 6 ------
 VERSION                                    | 2 +-
 5 files changed, 8 insertions(+), 9 deletions(-)
 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/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..50600d3433 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,6 +1,13 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
  
+## 0.44.15 - 2024-08-14
+
+### Features
+
+- 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 ec62a1e3e3..0000000000
--- a/RELEASE.md
+++ /dev/null
@@ -1,6 +0,0 @@
-## 0.44.15 - 2024-08-14
-
-### Features
-
-- Translate Quint's generate into `Apalache!Gen` (#2916)
-- Add `--timeout-smt` to limit SMT queries (#2936)
diff --git a/VERSION b/VERSION
index 48b54c180f..4291129cbd 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.44.15
+0.44.16-SNAPSHOT