From 4f5c9fac3efa0fcfc69da555c90886fa1b0f7f2c Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Mon, 29 Apr 2024 02:55:02 -0600
Subject: [PATCH] Update dependency: deps/k_release (#620)

* deps/k_release: Set Version 7.0.25

* Set Version: 0.1.41

* pykwasm/: sync poetry files v7.0.25

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/k_release         |  2 +-
 package/version        |  2 +-
 pykwasm/poetry.lock    | 14 +++++++-------
 pykwasm/pyproject.toml |  4 ++--
 4 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/deps/k_release b/deps/k_release
index ec74bee4d..99c74f0db 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.0.24
+7.0.25
diff --git a/package/version b/package/version
index 7172442a1..37f868fba 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.40
+0.1.41
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 1970b70c1..97a7797f6 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -898,7 +898,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "7.0.24"
+version = "7.0.25"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -919,8 +919,8 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/k.git"
-reference = "v7.0.24"
-resolved_reference = "f6f7287b63e0f4c72aab49906786c426b097beaf"
+reference = "v7.0.25"
+resolved_reference = "8c88ad342e70950d71d7dcf32657cee51ae301f1"
 subdirectory = "pyk"
 
 [[package]]
@@ -946,13 +946,13 @@ files = [
 
 [[package]]
 name = "pytest"
-version = "8.1.1"
+version = "8.1.2"
 description = "pytest: simple powerful testing with Python"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "pytest-8.1.1-py3-none-any.whl", hash = "sha256:2a8386cfc11fa9d2c50ee7b2a57e7d898ef90470a7a34c4b949ff59662bb78b7"},
-    {file = "pytest-8.1.1.tar.gz", hash = "sha256:ac978141a75948948817d360297b7aae0fcb9d6ff6bc9ec6d514b85d5a65c044"},
+    {file = "pytest-8.1.2-py3-none-any.whl", hash = "sha256:6c06dc309ff46a05721e6fd48e492a775ed8165d2ecdf57f156a80c7e95bb142"},
+    {file = "pytest-8.1.2.tar.gz", hash = "sha256:f3c45d1d5eed96b01a2aea70dee6a4a366d51d38f9957768083e4fecfc77f3ef"},
 ]
 
 [package.dependencies]
@@ -1187,4 +1187,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "81d28b48ad0e631c1b175eb26c4ef2345d2c68ff73363a8f7bc246b4ccc88b58"
+content-hash = "bce2fd08cebfd3cdd3711d4194d572a600b5fd968f5d466b7e5cf3f22a156c6e"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 9fca8ec21..657d45d5c 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.40"
+version = "0.1.41"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.24", subdirectory = "pyk" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.25", subdirectory = "pyk" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]