Merge tag '1.2.0' into develop

1.2.0
AlloyTools · Oct 3, 2024 · cd52ad8 · cd52ad8
2 parents 75b75bf + 38bed9d
commit cd52ad8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,6 @@
+### 1.2.0 (2024-10-03)
+- fix bug: several lassos in some SMV traces. The BMC algorithm now is now "sbmc_inc" and the complete algorithm is (for nuXmv) "ic3 -i".
+
 ### 1.1.1 (2024-09-27)
 - fix bug: some arithmetic auxiliaries were absent from the generated SMV file