update CHANGES.md

grayswandyr · Sep 27, 2024 · e48a8ff · e48a8ff
2 parents 9ac8eb9 + 1433a80
commit e48a8ff
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