From b3ee88a1915c4c96142f50064dc1bc341b3aaa1c Mon Sep 17 00:00:00 2001 From: konnov Date: Wed, 2 Oct 2024 12:21:02 +0000 Subject: [PATCH 1/2] [release] 0.46.2 --- 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..671c7f5c22 --- /dev/null +++ b/RELEASE.md @@ -0,0 +1,6 @@ +## 0.46.2 - 2024-10-02 + +### Bug fixes + +- Do not produce `(distinct ...)` for singletons, see #3005 +- Show note that expression is unsupported instead of reporting a counterexample claiming that e.g. `{42} \in SUBSET Nat` is false, see #2690 diff --git a/VERSION b/VERSION index 288d429fd9..43c125a0bb 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.46.2-SNAPSHOT +0.46.2 From c83d8db45a73e8a45d36f458b7db1ebebe05e498 Mon Sep 17 00:00:00 2001 From: konnov Date: Wed, 2 Oct 2024 12:21:11 +0000 Subject: [PATCH 2/2] Bump version to 0.46.3-SNAPSHOT --- .unreleased/bug-fixes/BogusSafetyViolationSubsetNat.md | 1 - .unreleased/bug-fixes/distinct-on-singleton.md | 1 - CHANGES.md | 7 +++++++ RELEASE.md | 6 ------ VERSION | 2 +- 5 files changed, 8 insertions(+), 9 deletions(-) delete mode 100644 .unreleased/bug-fixes/BogusSafetyViolationSubsetNat.md delete mode 100644 .unreleased/bug-fixes/distinct-on-singleton.md delete mode 100644 RELEASE.md diff --git a/.unreleased/bug-fixes/BogusSafetyViolationSubsetNat.md b/.unreleased/bug-fixes/BogusSafetyViolationSubsetNat.md deleted file mode 100644 index 365cee9f7f..0000000000 --- a/.unreleased/bug-fixes/BogusSafetyViolationSubsetNat.md +++ /dev/null @@ -1 +0,0 @@ -Show note that expression is unsupported instead of reporting a counterexample claiming that e.g. `{42} \in SUBSET Nat` is false, see #2690 diff --git a/.unreleased/bug-fixes/distinct-on-singleton.md b/.unreleased/bug-fixes/distinct-on-singleton.md deleted file mode 100644 index e1aded6fdf..0000000000 --- a/.unreleased/bug-fixes/distinct-on-singleton.md +++ /dev/null @@ -1 +0,0 @@ -Do not produce `(distinct ...)` for singletons, see #3005 diff --git a/CHANGES.md b/CHANGES.md index 10b4117c8f..4eb4cc93b2 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,6 +1,13 @@ +## 0.46.2 - 2024-10-02 + +### Bug fixes + +- Do not produce `(distinct ...)` for singletons, see #3005 +- Show note that expression is unsupported instead of reporting a counterexample claiming that e.g. `{42} \in SUBSET Nat` is false, see #2690 + ## 0.46.1 - 2024-09-24 ### Features diff --git a/RELEASE.md b/RELEASE.md deleted file mode 100644 index 671c7f5c22..0000000000 --- a/RELEASE.md +++ /dev/null @@ -1,6 +0,0 @@ -## 0.46.2 - 2024-10-02 - -### Bug fixes - -- Do not produce `(distinct ...)` for singletons, see #3005 -- Show note that expression is unsupported instead of reporting a counterexample claiming that e.g. `{42} \in SUBSET Nat` is false, see #2690 diff --git a/VERSION b/VERSION index 43c125a0bb..43c513c63b 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -0.46.2 +0.46.3-SNAPSHOT