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

ebmc: bump version number to 5.6
diffblue · Feb 3, 2025 · 867f995 · 867f995
2 parents eec8d0e + 7c49242
commit 867f995
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
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"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		#define EBMC_VERSION "5.5"
		#define EBMC_VERSION "5.6"