From 93ef5fec487960b2a47093aa6c629255b4784138 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 12 May 2025 09:00:37 -0700
Subject: [PATCH] bump EBMC version to 5.7 post release

---
 CHANGELOG               | 2 ++
 src/ebmc/ebmc_version.h | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG b/CHANGELOG
index dd37a6394..bbc34a6b3 100644
--- 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
index 01d515512..0361d5e9f 100644
--- a/src/ebmc/ebmc_version.h
+++ b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.6"
+#define EBMC_VERSION "5.7"