From 45dcad904092221631608a168b6276b876400fb6 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 29 Apr 2026 13:59:41 +0000
Subject: [PATCH 1/2] deps/kwasm_release: Set Version 0.1.151

---
 deps/kwasm_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/kwasm_release b/deps/kwasm_release
index 6be7166..6c015fd 100644
--- a/deps/kwasm_release
+++ b/deps/kwasm_release
@@ -1 +1 @@
-0.1.142
+0.1.151

From e15abfe79c3eb697408ac7c03f5cc71baf5c4961 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 29 Apr 2026 14:00:12 +0000
Subject: [PATCH 2/2] Set Version: 0.1.27

---
 package/version | 2 +-
 pyproject.toml  | 2 +-
 uv.lock         | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/package/version b/package/version
index 7db2672..a2e1aa9 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.26
+0.1.27
diff --git a/pyproject.toml b/pyproject.toml
index bcade3a..dd480c6 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "skribe"
-version = "0.1.26"
+version = "0.1.27"
 description = "Property testing for Stylus smart contracts"
 readme = "README.md"
 requires-python = "~=3.10"
diff --git a/uv.lock b/uv.lock
index 6573f21..11f6c71 100644
--- a/uv.lock
+++ b/uv.lock
@@ -1815,7 +1815,7 @@ wheels = [
 
 [[package]]
 name = "skribe"
-version = "0.1.26"
+version = "0.1.27"
 source = { editable = "." }
 dependencies = [
     { name = "kontrol" },