Merge pull request #761 from diffblue/changelog-5-2

CHANGELOG for ebmc 5.2
diffblue · Oct 14, 2024 · d559b64 · d559b64
2 parents 8446ca7 + 735131c
commit d559b64
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,3 +1,15 @@
+# EBMC 5.2
+
+* SystemVerilog: defines can now be set on the command line
+* SystemVerilog: improvements to elaboration-time constant folding
+* SystemVerilog: continuous assignments to variables
+* SystemVerilog: additional SVA operators
+* SystemVerilog: wildcard equality and inequality operators
+* SystemVerilog: restrict
+* word-level BMC supports full LTL
+* SMV: LTL U and R
+* SMV: ?: operator
+
 # EBMC 5.1
 
 * SVA abort properties and disable iff