Merge pull request #960 from diffblue/bump-version-5-6

tautschnig · web-flow · commit 867f995565e5 · 2025-02-03T20:41:07.000+01:00
ebmc: bump version number to 5.6
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,3 +1,7 @@
+# EBMC 5.6
+
+* SystemVerilog: typedefs from package scopes
+
 # EBMC 5.5
 
 * If no engine is given, EBMC now selects an engine heuristically, instead
@@ -12,7 +16,6 @@
 * SystemVerilog: package scope operator
 * SystemVerilog: checkers
 * SystemVerilog: clocking block declarations
-* SystemVerilog: typedefs from package scopes
 
 # EBMC 5.4
 
diff --git a/src/ebmc/ebmc_version.h b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.5"
+#define EBMC_VERSION "5.6"
