bump EBMC version to 5.7 post release

kroening · kroening · commit 93ef5fec4879 · 2025-05-12T09:01:16.000-07:00
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`