From 7a4eda23862bfd3cc683d9e8ae22310c6e9db4e1 Mon Sep 17 00:00:00 2001 From: shonfeder Date: Fri, 23 Jun 2023 15:18:15 +0000 Subject: [PATCH 1/2] [release] 0.40.4 --- 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..5a5b421a6d --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,6 @@ +## 0.40.4 - 2023-06-23 + +### Bug fixes + +- Fixed a bug in pointer propagation, where sets cherrypicked from a powerset would always have the exact same pointers as the base set, instead of some subset thereof (though SMT constraints were added correctly). This broke counterexample reconstruction. See #2606 +- Fix translation of nested/shadowed "_" Quint lambda parameters, see #2608 diff --git a/VERSION b/VERSION index e8339648d0..f57373a053 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.40.4-SNAPSHOT +0.40.4 From a34c2efd1f187af63e12e42306e2b3047a1672f1 Mon Sep 17 00:00:00 2001 From: shonfeder Date: Fri, 23 Jun 2023 15:18:27 +0000 Subject: [PATCH 2/2] Bump version to 0.40.5-SNAPSHOT --- .unreleased/bug-fixes/2606.md | 1 - .unreleased/bug-fixes/2608.md | 1 - CHANGES.md | 7 +++++++ RELEASE.md | 6 ------ VERSION | 2 +- 5 files changed, 8 insertions(+), 9 deletions(-) delete mode 100644 .unreleased/bug-fixes/2606.md delete mode 100644 .unreleased/bug-fixes/2608.md delete mode 100644 RELEASE.md diff --git a/.unreleased/bug-fixes/2606.md b/.unreleased/bug-fixes/2606.md deleted file mode 100644 index b6fd703993..0000000000 --- a/.unreleased/bug-fixes/2606.md +++ /dev/null @@ -1 +0,0 @@ -Fixed a bug in pointer propagation, where sets cherrypicked from a powerset would always have the exact same pointers as the base set, instead of some subset thereof (though SMT constraints were added correctly). This broke counterexample reconstruction. See #2606 \ No newline at end of file diff --git a/.unreleased/bug-fixes/2608.md b/.unreleased/bug-fixes/2608.md deleted file mode 100644 index f3cab16206..0000000000 --- a/.unreleased/bug-fixes/2608.md +++ /dev/null @@ -1 +0,0 @@ -Fix translation of nested/shadowed "_" Quint lambda parameters, see #2608 diff --git a/CHANGES.md b/CHANGES.md index d2249d7b5c..fa12d12245 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,13 @@ +## 0.40.4 - 2023-06-23 + +### Bug fixes + +- Fixed a bug in pointer propagation, where sets cherrypicked from a powerset would always have the exact same pointers as the base set, instead of some subset thereof (though SMT constraints were added correctly). This broke counterexample reconstruction. See #2606 +- Fix translation of nested/shadowed "_" Quint lambda parameters, see #2608 + ## 0.40.3 - 2023-06-19 ### Bug fixes diff --git a/RELEASE.md b/RELEASE.md deleted file mode 100644 index 5a5b421a6d..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,6 +0,0 @@ -## 0.40.4 - 2023-06-23 - -### Bug fixes - -- Fixed a bug in pointer propagation, where sets cherrypicked from a powerset would always have the exact same pointers as the base set, instead of some subset thereof (though SMT constraints were added correctly). This broke counterexample reconstruction. See #2606 -- Fix translation of nested/shadowed "_" Quint lambda parameters, see #2608 diff --git a/VERSION b/VERSION index f57373a053..4284e73859 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.40.4 +0.40.5-SNAPSHOT