From 5dee24e4d05dc3476977a2e49f4963e3802fae2f Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 6 May 2024 12:01:34 +0000 Subject: [PATCH 1/2] [release] 0.44.11 --- RELEASE.md | 11 +++++++++++ VERSION | 2 +- 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 RELEASE.md diff --git a/RELEASE.md b/RELEASE.md new file mode 100644 index 0000000000..b56c75c47d --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,11 @@ +## 0.44.11 - 2024-05-06 + +### Features + +- TLA+ modules produced by the Shai command `TLA` now include type annotations (#2891) + +### Bug fixes + +- Fixed a problem where folds produced by the Shai command `TLA` had an invalid form and could not be parsed back (#2891) +- Fixed a problem where bindings from exists and forall operators where not properly sanitized before printing (#2891) +- Fixed a problem where translation from `slice` to `replaceAt` added an incorrect increment to the last argument (#2891) diff --git a/VERSION b/VERSION index 2d9f8c3c40..a9cce3e097 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.11-SNAPSHOT +0.44.11 From 71e902fd848877ae79440ffde6647c9b518f50be Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 6 May 2024 12:01:42 +0000 Subject: [PATCH 2/2] Bump version to 0.44.12-SNAPSHOT --- .unreleased/bug-fixes/fold-let-extraction.md | 1 - .unreleased/bug-fixes/sanitize-bindings.md | 1 - .unreleased/bug-fixes/slice-to-replaceAt.md | 1 - .unreleased/features/compilation-type-annotations.md | 1 - CHANGES.md | 12 ++++++++++++ RELEASE.md | 11 ----------- VERSION | 2 +- 7 files changed, 13 insertions(+), 16 deletions(-) delete mode 100644 .unreleased/bug-fixes/fold-let-extraction.md delete mode 100644 .unreleased/bug-fixes/sanitize-bindings.md delete mode 100644 .unreleased/bug-fixes/slice-to-replaceAt.md delete mode 100644 .unreleased/features/compilation-type-annotations.md delete mode 100644 RELEASE.md diff --git a/.unreleased/bug-fixes/fold-let-extraction.md b/.unreleased/bug-fixes/fold-let-extraction.md deleted file mode 100644 index df4e509277..0000000000 --- a/.unreleased/bug-fixes/fold-let-extraction.md +++ /dev/null @@ -1 +0,0 @@ -Fixed a problem where folds produced by the Shai command `TLA` had an invalid form and could not be parsed back (#2891) diff --git a/.unreleased/bug-fixes/sanitize-bindings.md b/.unreleased/bug-fixes/sanitize-bindings.md deleted file mode 100644 index 86368fa4e9..0000000000 --- a/.unreleased/bug-fixes/sanitize-bindings.md +++ /dev/null @@ -1 +0,0 @@ -Fixed a problem where bindings from exists and forall operators where not properly sanitized before printing (#2891) diff --git a/.unreleased/bug-fixes/slice-to-replaceAt.md b/.unreleased/bug-fixes/slice-to-replaceAt.md deleted file mode 100644 index 4a7af87d1d..0000000000 --- a/.unreleased/bug-fixes/slice-to-replaceAt.md +++ /dev/null @@ -1 +0,0 @@ -Fixed a problem where translation from `slice` to `replaceAt` added an incorrect increment to the last argument (#2891) diff --git a/.unreleased/features/compilation-type-annotations.md b/.unreleased/features/compilation-type-annotations.md deleted file mode 100644 index 1d52d4f576..0000000000 --- a/.unreleased/features/compilation-type-annotations.md +++ /dev/null @@ -1 +0,0 @@ -TLA+ modules produced by the Shai command `TLA` now include type annotations (#2891) diff --git a/CHANGES.md b/CHANGES.md index 306aa8b492..e370b63d49 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,18 @@ +## 0.44.11 - 2024-05-06 + +### Features + +- TLA+ modules produced by the Shai command `TLA` now include type annotations (#2891) + +### Bug fixes + +- Fixed a problem where folds produced by the Shai command `TLA` had an invalid form and could not be parsed back (#2891) +- Fixed a problem where bindings from exists and forall operators where not properly sanitized before printing (#2891) +- Fixed a problem where translation from `slice` to `replaceAt` added an incorrect increment to the last argument (#2891) + ## 0.44.10 - 2024-03-25 ### Bug fixes diff --git a/RELEASE.md b/RELEASE.md deleted file mode 100644 index b56c75c47d..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,11 +0,0 @@ -## 0.44.11 - 2024-05-06 - -### Features - -- TLA+ modules produced by the Shai command `TLA` now include type annotations (#2891) - -### Bug fixes - -- Fixed a problem where folds produced by the Shai command `TLA` had an invalid form and could not be parsed back (#2891) -- Fixed a problem where bindings from exists and forall operators where not properly sanitized before printing (#2891) -- Fixed a problem where translation from `slice` to `replaceAt` added an incorrect increment to the last argument (#2891) diff --git a/VERSION b/VERSION index a9cce3e097..93722f80fa 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.44.11 +0.44.12-SNAPSHOT