Merge branch 'main' into igor/disable-coverage

apalache-mc · Aug 17, 2024 · 8113eef · 8113eef
2 parents 05769e6 + 68fd608
commit 8113eef
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 4 deletions.
diff --git a/.unreleased/features/rewrite.md b/.unreleased/features/rewrite.md
diff --git a/.unreleased/features/timeout-smt.md b/.unreleased/features/timeout-smt.md
diff --git a/.unreleased/features/translate-generate.md b/.unreleased/features/translate-generate.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,14 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.45.0 - 2024-08-17
+
+### Features
+
+- Handle expressions such as  S \in SUBSET [ a : Int ]  by rewriting the expression into  \A r \in S: DOMAIN r = {"a"} /\ r.a \in Int
+- 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/VERSION b/VERSION
@@ -1 +1 @@
-0.44.12-SNAPSHOT
+0.45.1-SNAPSHOT