From 0045d939bca7ba9470170488b615719656fb03f5 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Tue, 14 Oct 2025 11:23:35 -0700
Subject: [PATCH] bump EBMC version to 5.8

---
 CHANGELOG      | 2 ++
 src/config.inc | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG b/CHANGELOG
index 6d675974c..687ac144f 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,5 @@
+# EBMC 5.8
+
 # EBMC 5.7
 
 * Verilog: --initial-zero changes the default value from nondet to zero
diff --git a/src/config.inc b/src/config.inc
index c54ee8987..dd13b536d 100644
--- a/src/config.inc
+++ b/src/config.inc
@@ -1 +1 @@
-EBMC_VERSION = 5.7
+EBMC_VERSION = 5.8