Merge tag '1.1.1' into develop

Update CHANGES.md
grayswandyr · Sep 27, 2024 · abc449c · abc449c
2 parents 9ac8eb9 + e48a8ff
commit abc449c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,6 @@
+### 1.1.1 (2024-09-27)
+- fix bug: some arithmetic auxiliaries were absent from the generated SMV file
+
 ### 1.1.0 (2024-05-24)
 - handle int atoms, Int signature and all Alloy arithmetic operations
 - fix cardinality translation bug