Merge pull request #778 from diffblue/ebmc-5-3-version

tautschnig · web-flow · commit 88a0e54b2cfe · 2024-10-18T13:32:11.000+02:00
EBMC 5.3 version bump and changelog
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,3 +1,12 @@
+# EBMC 5.3
+
+* SystemVerilog: fix for nets implicitly declared for port connections
+* SystemVerilog: $typename
+* SystemVerilog: SVA [*n]
+* Verilog: allow indexed part select
+* word-level BMC: fix for F/s_eventually and U/s_until
+* IC3: liveness to safety translation
+
 # EBMC 5.2
 
 * SystemVerilog: defines can now be set on the command line
diff --git a/src/ebmc/ebmc_version.h b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.2"
+#define EBMC_VERSION "5.3"
