From 0395812442bba7ba68ec6dc933517ad3545104ee Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 21 Mar 2024 03:43:43 -0600
Subject: [PATCH] Update dependency: deps/pyk_release (#593)

* deps/pyk_release: Set Version v0.1.718

* Set Version: 0.1.17

* pykwasm/: sync poetry files v0.1.718

* deps/k_release: sync release file version 6.3.43

* deps/pyk_release: Set Version v0.1.719

* pykwasm/: sync poetry files v0.1.719

* deps/pyk_release: Set Version v0.1.720

* pykwasm/: sync poetry files v0.1.720

* deps/pyk_release: Set Version v0.1.721

* pykwasm/: sync poetry files v0.1.721

* deps/k_release: sync release file version 6.3.44

* deps/pyk_release: Set Version v0.1.722

* pykwasm/: sync poetry files v0.1.722

* deps/k_release: sync release file version 6.3.45

* deps/pyk_release: Set Version v0.1.723

* pykwasm/: sync poetry files v0.1.723

* deps/pyk_release: Set Version v0.1.724

* pykwasm/: sync poetry files v0.1.724

* deps/k_release: sync release file version 6.3.47

* deps/pyk_release: Set Version v0.1.725

* pykwasm/: sync poetry files v0.1.725

* deps/pyk_release: Set Version v0.1.726

* pykwasm/: sync poetry files v0.1.726

* deps/pyk_release: Set Version v0.1.727

* pykwasm/: sync poetry files v0.1.727

* deps/pyk_release: Set Version v0.1.728

* pykwasm/: sync poetry files v0.1.728

* deps/k_release: sync release file version 6.3.50

---------

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

diff --git a/deps/k_release b/deps/k_release
index 24f65e189..148535cd2 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.3.42
+6.3.50
diff --git a/deps/pyk_release b/deps/pyk_release
index f51f839f4..e3d72ffcb 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.717
+v0.1.728
diff --git a/package/version b/package/version
index e8e277f2f..04c5555c6 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.16
+0.1.17
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 2a7c8bafc..e3bb8d598 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -871,7 +871,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "0.1.717"
+version = "0.1.728"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -892,8 +892,8 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.717"
-resolved_reference = "a11bb3381e3e6fda365c7a772c7f47abcde8ecd7"
+reference = "v0.1.728"
+resolved_reference = "8336f5228d263fa1157da3712cf2337779251a2a"
 
 [[package]]
 name = "pyperclip"
@@ -1134,4 +1134,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "4ae4af7c3895bf5d8b837596fed8241d8eee44b33c98c8a7a91f2d5275059e36"
+content-hash = "10754955244f7b6a0e49afbc0ec7bd2a3ebadb0cca1aa06d64409dd74c0e4d35"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 7bac888b4..71019a5a9 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.16"
+version = "0.1.17"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -14,7 +14,7 @@ authors = [
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.717" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.728" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]