diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
index 0fbbfab33..008f95ab4 100644
--- a/.github/workflows/master-push.yml
+++ b/.github/workflows/master-push.yml
@@ -11,16 +11,26 @@ jobs:
     runs-on: ubuntu-latest
     environment: production
     steps:
-      - name: 'Update dependents'
+      - name: 'Check out code'
+        uses: actions/checkout@v3
+        with:
+          ref: ${{ github.event.push.head.sha }}
+          fetch-depth: 0
+      - name: 'Make release'
         env:
-          GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          set -x
+          VERSION=v$(cat package/version)
+          gh release create ${VERSION} --target ${{ github.sha }}
+      - name: 'Update dependents'
         run: |
           set -x
           version="${GITHUB_SHA}"
           curl --fail                                                          \
             -X POST                                                            \
             -H "Accept: application/vnd.github+json"                           \
-            -H "Authorization: Bearer ${GITHUB_TOKEN}"                         \
+            -H "Authorization: Bearer ${{ secrets.JENKINS_GITHUB_PAT }}"       \
             -H "X-GitHub-Api-Version: 2022-11-28"                              \
             https://api.github.com/repos/runtimeverification/devops/dispatches \
             -d '{"event_type":"on-demand-test","client_payload":{"repo":"runtimeverification/wasm-semantics","version":"'${version}'"}}'
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 329735b16..99e98a9b9 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -8,6 +8,31 @@ concurrency:
 
 jobs:
 
+  version-bump:
+    name: 'Version Bump'
+    runs-on: [self-hosted, linux, flyweight-ephemeral]
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v3
+        with:
+          token: ${{ secrets.JENKINS_GITHUB_PAT }}
+          # fetch-depth 0 means deep clone the repo
+          fetch-depth: 0
+          ref: ${{ github.event.pull_request.head.sha }}
+      - name: 'Configure GitHub user'
+        run: |
+          git config user.name devops
+          git config user.email devops@runtimeverification.com
+      - name: 'Update version'
+        run: |
+          og_version=$(git show origin/${GITHUB_BASE_REF}:package/version)
+          ./package/version.sh bump ${og_version}
+          ./package/version.sh sub
+          new_version=$(cat package/version)
+          git add --update && git commit --message "Set Version: ${new_version}" || true
+      - name: 'Push updates'
+        run: git push origin HEAD:${GITHUB_HEAD_REF}
+
   pykwasm-code-quality-checks:
     name: 'Code Quality Checks'
     runs-on: ubuntu-latest
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
index 77ec8e704..d0891c77c 100644
--- a/.github/workflows/update-version.yml
+++ b/.github/workflows/update-version.yml
@@ -2,7 +2,6 @@ name: 'Update Version'
 on:
   push:
     branches:
-      - '_update-deps/runtimeverification/k'
       - '_update-deps/runtimeverification/pyk'
 # Stop in progress workflows on the same branch and same workflow to use latest committed code
 concurrency:
@@ -23,23 +22,18 @@ jobs:
       - run: |
           git config user.name devops
           git config user.email devops@runtimeverification.com
-      - name: 'Update K submodule'
-        run: |
-          K_VERSION="$(cat deps/k_release)"
-          cd deps/k
-          git fetch --tags
-          git checkout "v${K_VERSION}"
-          cd -
-          git add deps/k && git commit -m "deps/k: sync submodule v${K_VERSION}" || true
+      - name: 'Install Poetry'
+        uses: Gr1N/setup-poetry@v8
       - name: 'Update pyk Release tag'
         run: |
-          curl -sSL https://install.python-poetry.org | python3 - --version 1.3.2
-          poetry --version
           pyk_version="$(cat deps/pyk_release)"
           sed -i 's!pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="[v0-9\.]*" }!pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="'${pyk_version}'" }!' pykwasm/pyproject.toml
-          cd pykwasm
-          poetry update
-          cd -
+          poetry -C pykwasm update
           git add pykwasm/ && git commit -m "pykwasm/: sync poetry files ${pyk_version}" || true
+      - name: 'Update K release file'
+        run: |
+          K_VERSION=$(poetry -C pykwasm run python3 -c 'import pyk; print(pyk.K_VERSION)')
+          echo ${K_VERSION} > deps/k_release
+          git add deps/k_release && git commit -m "deps/k_release: sync release file version ${K_VERSION}" || true
       - name: 'Push updates'
         run: git push
diff --git a/.gitmodules b/.gitmodules
index ce4e7a7f4..2e6477805 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,7 +1,3 @@
-[submodule "deps/k"]
-	path = deps/k
-	url = https://github.com/kframework/k
-	ignore = untracked
 [submodule "tests/wasm-tests"]
 	path = tests/wasm-tests
 	url = https://github.com/webassembly/spec
diff --git a/Makefile b/Makefile
index bd2bc7f71..fcb8ea148 100644
--- a/Makefile
+++ b/Makefile
@@ -2,36 +2,10 @@
 # --------
 
 BUILD_DIR := .build
-DEPS_DIR  := deps
 DEFN_DIR  := $(BUILD_DIR)/defn
 K_INCLUDE_DIR ?= $(CURDIR)
 
-K_SUBMODULE := $(DEPS_DIR)/k
-ifneq (,$(wildcard deps/k/k-distribution/target/release/k/bin/*))
-  K_RELEASE ?= $(abspath $(K_SUBMODULE)/k-distribution/target/release/k)
-else
-  K_RELEASE ?= $(dir $(shell which kompile))..
-endif
-K_BIN := $(K_RELEASE)/bin
-K_LIB := $(K_RELEASE)/lib/kframework
-export K_RELEASE
-
-ifneq ($(RELEASE),)
-    K_BUILD_TYPE := Release
-else
-    K_BUILD_TYPE := Debug
-endif
-
-PATH := $(K_BIN):$(PATH)
-export PATH
-
-PYK_PATH             := $(abspath $(K_SUBMODULE)/pyk/src/)
-PYWASM_PATH          := ./deps/py-wasm
-
-PYTHONPATH := $(PYK_PATH)
-export PYTHONPATH
-
-.PHONY: all clean deps                                                     \
+.PHONY: all                                                                \
         build build-llvm build-haskell build-wrc20                         \
         test test-execution test-simple test-prove                         \
         test-conformance test-conformance-parse test-conformance-supported \
@@ -39,19 +13,6 @@ export PYTHONPATH
 
 all: build
 
-clean:
-	rm -rf $(BUILD_DIR)
-
-# Build Dependencies (K Submodule)
-# --------------------------------
-
-K_JAR := $(K_SUBMODULE)/k-distribution/target/release/k/lib/java/kernel-1.0-SNAPSHOT.jar
-
-deps: $(K_JAR) $(TANGLER)
-
-$(K_JAR):
-	cd $(K_SUBMODULE) && mvn package -DskipTests -Dproject.build.type=$(K_BUILD_TYPE)
-
 # Building Definition
 # -------------------
 
diff --git a/deps/k b/deps/k
deleted file mode 160000
index 56e36d083..000000000
--- a/deps/k
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 56e36d0837564690732d3669426a327a36d49612
diff --git a/deps/k_release b/deps/k_release
index f8d93b0c6..b27c489bc 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.2.27
+6.2.31
diff --git a/deps/pyk_release b/deps/pyk_release
index f9597a406..8b7ca1805 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.631
+v0.1.635
diff --git a/package/version b/package/version
index 6e8bf73aa..17e51c385 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.0
+0.1.1
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 4e9ced9e0..4cc6036cb 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -1,10 +1,9 @@
-# This file is automatically @generated by Poetry and should not be changed by hand.
+# This file is automatically @generated by Poetry 1.7.1 and should not be changed by hand.
 
 [[package]]
 name = "attrs"
 version = "23.2.0"
 description = "Classes Without Boilerplate"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -22,14 +21,13 @@ tests-no-zope = ["attrs[tests-mypy]", "cloudpickle", "hypothesis", "pympler", "p
 
 [[package]]
 name = "autoflake"
-version = "2.2.1"
+version = "2.3.0"
 description = "Removes unused imports and unused variables"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "autoflake-2.2.1-py3-none-any.whl", hash = "sha256:265cde0a43c1f44ecfb4f30d95b0437796759d07be7706a2f70e4719234c0f79"},
-    {file = "autoflake-2.2.1.tar.gz", hash = "sha256:62b7b6449a692c3c9b0c916919bbc21648da7281e8506bcf8d3f8280e431ebc1"},
+    {file = "autoflake-2.3.0-py3-none-any.whl", hash = "sha256:79a51eb8c0744759d2efe052455ab20aa6a314763510c3fd897499a402126327"},
+    {file = "autoflake-2.3.0.tar.gz", hash = "sha256:8c2011fa34701b9d7dcf05b9873bc4859d4fce4e62dfea90dffefd1576f5f01d"},
 ]
 
 [package.dependencies]
@@ -40,7 +38,6 @@ tomli = {version = ">=2.0.1", markers = "python_version < \"3.11\""}
 name = "black"
 version = "24.2.0"
 description = "The uncompromising code formatter."
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -87,7 +84,6 @@ uvloop = ["uvloop (>=0.15.2)"]
 name = "click"
 version = "8.1.7"
 description = "Composable command line interface toolkit"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -102,7 +98,6 @@ colorama = {version = "*", markers = "platform_system == \"Windows\""}
 name = "cmd2"
 version = "2.4.3"
 description = "cmd2 - quickly build feature-rich and user-friendly interactive command line applications in Python"
-category = "main"
 optional = false
 python-versions = ">=3.6"
 files = [
@@ -125,7 +120,6 @@ validate = ["flake8", "mypy", "types-pkg-resources"]
 name = "colorama"
 version = "0.4.6"
 description = "Cross-platform colored terminal text."
-category = "dev"
 optional = false
 python-versions = "!=3.0.*,!=3.1.*,!=3.2.*,!=3.3.*,!=3.4.*,!=3.5.*,!=3.6.*,>=2.7"
 files = [
@@ -137,7 +131,6 @@ files = [
 name = "coloredlogs"
 version = "15.0.1"
 description = "Colored terminal output for Python's logging module"
-category = "main"
 optional = false
 python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*"
 files = [
@@ -155,7 +148,6 @@ cron = ["capturer (>=2.4)"]
 name = "coverage"
 version = "7.4.1"
 description = "Code coverage measurement for Python"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -223,7 +215,6 @@ toml = ["tomli"]
 name = "cytoolz"
 version = "0.12.3"
 description = "Cython implementation of Toolz: High performance functional utilities"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -343,7 +334,6 @@ cython = ["cython"]
 name = "exceptiongroup"
 version = "1.2.0"
 description = "Backport of PEP 654 (exception groups)"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -358,7 +348,6 @@ test = ["pytest (>=6)"]
 name = "execnet"
 version = "2.0.2"
 description = "execnet: rapid multi-Python deployment"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -373,7 +362,6 @@ testing = ["hatch", "pre-commit", "pytest", "tox"]
 name = "filelock"
 version = "3.13.1"
 description = "A platform independent file lock."
-category = "main"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -390,7 +378,6 @@ typing = ["typing-extensions (>=4.8)"]
 name = "flake8"
 version = "7.0.0"
 description = "the modular source code checker: pep8 pyflakes and co"
-category = "dev"
 optional = false
 python-versions = ">=3.8.1"
 files = [
@@ -407,7 +394,6 @@ pyflakes = ">=3.2.0,<3.3.0"
 name = "flake8-bugbear"
 version = "24.2.6"
 description = "A plugin for flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle."
-category = "dev"
 optional = false
 python-versions = ">=3.8.1"
 files = [
@@ -426,7 +412,6 @@ dev = ["coverage", "hypothesis", "hypothesmith (>=0.2)", "pre-commit", "pytest",
 name = "flake8-comprehensions"
 version = "3.14.0"
 description = "A flake8 plugin to help you write better list/set/dict comprehensions."
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -441,7 +426,6 @@ flake8 = ">=3.0,<3.2.0 || >3.2.0"
 name = "flake8-quotes"
 version = "3.4.0"
 description = "Flake8 lint for quotes."
-category = "dev"
 optional = false
 python-versions = "*"
 files = [
@@ -456,7 +440,6 @@ setuptools = "*"
 name = "graphviz"
 version = "0.20.1"
 description = "Simple Python interface for Graphviz"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -473,7 +456,6 @@ test = ["coverage", "mock (>=4)", "pytest (>=7)", "pytest-cov", "pytest-mock (>=
 name = "humanfriendly"
 version = "10.0"
 description = "Human friendly output for text interfaces using Python"
-category = "main"
 optional = false
 python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*"
 files = [
@@ -488,7 +470,6 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 name = "importlib-metadata"
 version = "7.0.1"
 description = "Read metadata from Python packages"
-category = "main"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -508,7 +489,6 @@ testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs
 name = "iniconfig"
 version = "2.0.0"
 description = "brain-dead simple config-ini parsing"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -520,7 +500,6 @@ files = [
 name = "isort"
 version = "5.13.2"
 description = "A Python utility / library to sort Python imports."
-category = "dev"
 optional = false
 python-versions = ">=3.8.0"
 files = [
@@ -535,7 +514,6 @@ colors = ["colorama (>=0.4.6)"]
 name = "linkify-it-py"
 version = "2.0.3"
 description = "Links recognition library with FULL unicode support."
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -556,7 +534,6 @@ test = ["coverage", "pytest", "pytest-cov"]
 name = "markdown-it-py"
 version = "2.2.0"
 description = "Python port of markdown-it. Markdown parsing, done right!"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -583,7 +560,6 @@ testing = ["coverage", "pytest", "pytest-cov", "pytest-regressions"]
 name = "mccabe"
 version = "0.7.0"
 description = "McCabe checker, plugin for flake8"
-category = "dev"
 optional = false
 python-versions = ">=3.6"
 files = [
@@ -595,7 +571,6 @@ files = [
 name = "mdit-py-plugins"
 version = "0.4.0"
 description = "Collection of plugins for markdown-it-py"
-category = "main"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -615,7 +590,6 @@ testing = ["coverage", "pytest", "pytest-cov", "pytest-regressions"]
 name = "mdurl"
 version = "0.1.2"
 description = "Markdown URL utilities"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -627,7 +601,6 @@ files = [
 name = "mypy"
 version = "1.8.0"
 description = "Optional static typing for Python"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -675,7 +648,6 @@ reports = ["lxml"]
 name = "mypy-extensions"
 version = "1.0.0"
 description = "Type system extensions for programs checked with the mypy type checker."
-category = "main"
 optional = false
 python-versions = ">=3.5"
 files = [
@@ -687,7 +659,6 @@ files = [
 name = "numpy"
 version = "1.26.4"
 description = "Fundamental package for array computing in Python"
-category = "main"
 optional = false
 python-versions = ">=3.9"
 files = [
@@ -733,7 +704,6 @@ files = [
 name = "packaging"
 version = "23.2"
 description = "Core utilities for Python packages"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -745,7 +715,6 @@ files = [
 name = "pathspec"
 version = "0.12.1"
 description = "Utility library for gitignore style pattern matching of file paths."
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -757,7 +726,6 @@ files = [
 name = "pep8-naming"
 version = "0.13.3"
 description = "Check PEP-8 naming conventions, plugin for flake8"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -772,7 +740,6 @@ flake8 = ">=5.0.0"
 name = "platformdirs"
 version = "4.2.0"
 description = "A small Python package for determining appropriate platform-specific dirs, e.g. a \"user data dir\"."
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -788,7 +755,6 @@ test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=7.4.3)", "pytest-
 name = "pluggy"
 version = "1.4.0"
 description = "plugin and hook calling mechanisms for python"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -804,7 +770,6 @@ testing = ["pytest", "pytest-benchmark"]
 name = "psutil"
 version = "5.9.5"
 description = "Cross-platform lib for process and system monitoring in Python."
-category = "main"
 optional = false
 python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*"
 files = [
@@ -830,8 +795,7 @@ test = ["enum34", "ipaddress", "mock", "pywin32", "wmi"]
 [[package]]
 name = "py-wasm"
 version = "0.2.0"
-description = ""
-category = "main"
+description = "py-wasm: A python implementation of the web assembly interpreter"
 optional = false
 python-versions = ">=3.5, <4"
 files = [
@@ -853,11 +817,11 @@ test = ["hypothesis (>=6.88.1,<7)", "pytest (>=7.4.3,<8)", "pytest-watch (>=4.2.
 [package.source]
 type = "url"
 url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"
+
 [[package]]
 name = "pybind11"
 version = "2.11.1"
 description = "Seamless operability between C++11 and Python"
-category = "main"
 optional = false
 python-versions = ">=3.6"
 files = [
@@ -872,7 +836,6 @@ global = ["pybind11-global (==2.11.1)"]
 name = "pycodestyle"
 version = "2.11.1"
 description = "Python style guide checker"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -884,7 +847,6 @@ files = [
 name = "pyflakes"
 version = "3.2.0"
 description = "passive checker of Python programs"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -896,7 +858,6 @@ files = [
 name = "pygments"
 version = "2.17.2"
 description = "Pygments is a syntax highlighting package written in Python."
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -910,9 +871,8 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "0.1.631"
+version = "0.1.635"
 description = ""
-category = "main"
 optional = false
 python-versions = "^3.10"
 files = []
@@ -932,14 +892,13 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.631"
-resolved_reference = "02ec6eb1d39f126633f10e69b07f2661e05feb8d"
+reference = "v0.1.635"
+resolved_reference = "37edac223b12f1389d5f29e402e2fca9be8c1d96"
 
 [[package]]
 name = "pyperclip"
 version = "1.8.2"
 description = "A cross-platform clipboard module for Python. (Only handles plain text for now.)"
-category = "main"
 optional = false
 python-versions = "*"
 files = [
@@ -950,7 +909,6 @@ files = [
 name = "pyreadline3"
 version = "3.4.1"
 description = "A python implementation of GNU readline."
-category = "main"
 optional = false
 python-versions = "*"
 files = [
@@ -962,7 +920,6 @@ files = [
 name = "pytest"
 version = "8.0.1"
 description = "pytest: simple powerful testing with Python"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -985,7 +942,6 @@ testing = ["argcomplete", "attrs (>=19.2.0)", "hypothesis (>=3.56)", "mock", "no
 name = "pytest-cov"
 version = "4.1.0"
 description = "Pytest plugin for measuring coverage."
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -1004,7 +960,6 @@ testing = ["fields", "hunter", "process-tests", "pytest-xdist", "six", "virtuale
 name = "pytest-mock"
 version = "3.12.0"
 description = "Thin-wrapper around the mock package for easier use with pytest"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -1022,7 +977,6 @@ dev = ["pre-commit", "pytest-asyncio", "tox"]
 name = "pytest-xdist"
 version = "3.5.0"
 description = "pytest xdist plugin for distributed testing, most importantly across multiple CPUs"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -1043,7 +997,6 @@ testing = ["filelock"]
 name = "rich"
 version = "13.7.0"
 description = "Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal"
-category = "main"
 optional = false
 python-versions = ">=3.7.0"
 files = [
@@ -1062,7 +1015,6 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"]
 name = "setuptools"
 version = "69.1.0"
 description = "Easily download, build, install, upgrade, and uninstall Python packages"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -1079,7 +1031,6 @@ testing-integration = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "jar
 name = "textual"
 version = "0.27.0"
 description = "Modern Text User Interface framework"
-category = "main"
 optional = false
 python-versions = ">=3.7,<4.0"
 files = [
@@ -1100,7 +1051,6 @@ dev = ["aiohttp (>=3.8.1)", "click (>=8.1.2)", "msgpack (>=1.0.3)"]
 name = "tomli"
 version = "2.0.1"
 description = "A lil' TOML parser"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -1112,7 +1062,6 @@ files = [
 name = "toolz"
 version = "0.12.1"
 description = "List processing tools and functional utilities"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -1124,7 +1073,6 @@ files = [
 name = "typing-extensions"
 version = "4.9.0"
 description = "Backported and Experimental Type Hints for Python 3.8+"
-category = "main"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -1136,7 +1084,6 @@ files = [
 name = "uc-micro-py"
 version = "1.0.3"
 description = "Micro subset of unicode data files for linkify-it-py projects."
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -1151,7 +1098,6 @@ test = ["coverage", "pytest", "pytest-cov"]
 name = "wcwidth"
 version = "0.2.13"
 description = "Measures the displayed width of unicode strings in a terminal"
-category = "main"
 optional = false
 python-versions = "*"
 files = [
@@ -1163,7 +1109,6 @@ files = [
 name = "xdg-base-dirs"
 version = "6.0.1"
 description = "Variables defined by the XDG Base Directory Specification"
-category = "main"
 optional = false
 python-versions = ">=3.10,<4.0"
 files = [
@@ -1175,7 +1120,6 @@ files = [
 name = "zipp"
 version = "3.17.0"
 description = "Backport of pathlib-compatible object wrapper for zip files"
-category = "main"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -1190,4 +1134,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "d7b733c65251dc0aab5dc0ef2441e9c70763a78132f1af445a41a87eb3e2a6b9"
+content-hash = "b93af6f0b6f30e1420cf1e5f01f406869cc55fffdf7728d180eac8d87e49d378"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index c7b2817ce..88ec0b352 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.0"
+version = "0.1.1"
 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.631" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.635" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]