CHANGELOG for ebmc 5.2

diffblue · Oct 12, 2024 · 735131c · 735131c
1 parent 81b3d8e
commit 735131c
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