ebmc: bump version number to 5.6

kroening · kroening · commit 7c4924214814 · 2025-02-03T16:53:25.000Z
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"
