Merge tag '1.1.0' into develop

1.1.0
grayswandyr · May 24, 2024 · c6b96ab · c6b96ab
2 parents 2baacc9 + 1e894a3
commit c6b96ab
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+### 1.1.0 (2024-05-24)
+- handle int atoms, Int signature and all Alloy arithmetic operations
+- fix cardinality translation bug
+- stratify LTL formulas for SMV
+
 ### 1.0.0 (2021-01-11)
 - build (using Github Actions) on Windows
 - fix nuXmv/NuSMV output parsing on Windows, which prevented correct behavior

diff --git a/util/release-workflow.txt b/util/release-workflow.txt
@@ -13,6 +13,10 @@ dune build electrod.opam && git add electrod.opam
 
 git commit -am "release VVV"
 
+git flow finish --showcommands --push
+
+//--------------------------------------------------
+// OLD (stop using opam for a non-library)
 git flow finish --showcommands --notag --push
 
 # NOW check https://github.com/grayswandyr/electrod/actions