From 6ae92f7d5c55e8362a00e236f6e3e0be80fbf6a5 Mon Sep 17 00:00:00 2001 From: konnov Date: Thu, 19 Sep 2024 14:06:24 +0000 Subject: [PATCH 1/2] [release] 0.45.6 --- 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..942abeb990 --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,5 @@ +## 0.45.6 - 2024-09-19 + +### Features + +- Added an `apalache-mc.bat` file to easily start Apalache on Windows, see #2980 diff --git a/VERSION b/VERSION index 35fef456c5..830a43526b 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.45.5-SNAPSHOT +0.45.6 From d67e4e0b44897f21475f41ba525819af63c57368 Mon Sep 17 00:00:00 2001 From: konnov Date: Thu, 19 Sep 2024 14:06:33 +0000 Subject: [PATCH 2/2] Bump version to 0.45.7-SNAPSHOT --- .unreleased/features/bat-file.md | 1 - CHANGES.md | 6 ++++++ RELEASE.md | 5 ----- VERSION | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) delete mode 100644 .unreleased/features/bat-file.md delete mode 100644 RELEASE.md diff --git a/.unreleased/features/bat-file.md b/.unreleased/features/bat-file.md deleted file mode 100644 index 2ea740f941..0000000000 --- a/.unreleased/features/bat-file.md +++ /dev/null @@ -1 +0,0 @@ -Added an `apalache-mc.bat` file to easily start Apalache on Windows, see #2980 diff --git a/CHANGES.md b/CHANGES.md index bb75d1bb16..e0025d5475 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,12 @@ +## 0.45.6 - 2024-09-19 + +### Features + +- Added an `apalache-mc.bat` file to easily start Apalache on Windows, see #2980 + ## 0.45.4 - 2024-09-02 ### Features diff --git a/RELEASE.md b/RELEASE.md deleted file mode 100644 index 942abeb990..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,5 +0,0 @@ -## 0.45.6 - 2024-09-19 - -### Features - -- Added an `apalache-mc.bat` file to easily start Apalache on Windows, see #2980 diff --git a/VERSION b/VERSION index 830a43526b..c17c8e0466 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.45.6 +0.45.7-SNAPSHOT