Merge pull request #1109 from diffblue/bump-ebmc-version

tautschnig · web-flow · commit 4ae445e5b5dc · 2025-05-12T20:48:38.000+02:00
bump EBMC version to 5.7 post release
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,3 +1,5 @@
+# EBMC 5.7
+
 # EBMC 5.6
 
 * SystemVerilog: [*] and [+] SVA operators
diff --git a/src/ebmc/ebmc_version.h b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.6"
+#define EBMC_VERSION "5.7"

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+# EBMC 5.7`
	`2`	`+`
`1`	`3`	`# EBMC 5.6`
`2`	`4`
`3`	`5`	`* SystemVerilog: [*] and [+] SVA operators`