diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 3d8857bf0c..95a0f083fb 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -1,9 +1,10 @@
-# This file is automatically @generated by Poetry 1.6.1 and should not be changed by hand.
+# This file is automatically @generated by Poetry 1.4.2 and should not be changed by hand.
[[package]]
name = "attrs"
version = "23.1.0"
description = "Classes Without Boilerplate"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -22,6 +23,7 @@ tests-no-zope = ["cloudpickle", "hypothesis", "mypy (>=1.1.1)", "pympler", "pyte
name = "autoflake"
version = "2.2.0"
description = "Removes unused imports and unused variables"
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -37,6 +39,7 @@ tomli = {version = ">=2.0.1", markers = "python_version < \"3.11\""}
name = "black"
version = "23.7.0"
description = "The uncompromising code formatter."
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -82,6 +85,7 @@ uvloop = ["uvloop (>=0.15.2)"]
name = "classify-imports"
version = "4.2.0"
description = "Utilities for refactoring imports in python-like syntax."
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -93,6 +97,7 @@ files = [
name = "click"
version = "8.1.7"
description = "Composable command line interface toolkit"
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -107,6 +112,7 @@ 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 = [
@@ -129,6 +135,7 @@ 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 = [
@@ -140,6 +147,7 @@ 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 = [
@@ -157,6 +165,7 @@ cron = ["capturer (>=2.4)"]
name = "coverage"
version = "7.3.0"
description = "Code coverage measurement for Python"
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -224,6 +233,7 @@ toml = ["tomli"]
name = "dill"
version = "0.3.7"
description = "serialize all of Python"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -238,6 +248,7 @@ graph = ["objgraph (>=1.7.2)"]
name = "exceptiongroup"
version = "1.1.3"
description = "Backport of PEP 654 (exception groups)"
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -252,6 +263,7 @@ test = ["pytest (>=6)"]
name = "execnet"
version = "2.0.2"
description = "execnet: rapid multi-Python deployment"
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -264,26 +276,25 @@ testing = ["hatch", "pre-commit", "pytest", "tox"]
[[package]]
name = "filelock"
-version = "3.12.3"
+version = "3.12.2"
description = "A platform independent file lock."
+category = "main"
optional = false
-python-versions = ">=3.8"
+python-versions = ">=3.7"
files = [
- {file = "filelock-3.12.3-py3-none-any.whl", hash = "sha256:f067e40ccc40f2b48395a80fcbd4728262fab54e232e090a4063ab804179efeb"},
- {file = "filelock-3.12.3.tar.gz", hash = "sha256:0ecc1dd2ec4672a10c8550a8182f1bd0c0a5088470ecd5a125e45f49472fac3d"},
+ {file = "filelock-3.12.2-py3-none-any.whl", hash = "sha256:cbb791cdea2a72f23da6ac5b5269ab0a0d161e9ef0100e653b69049a7706d1ec"},
+ {file = "filelock-3.12.2.tar.gz", hash = "sha256:002740518d8aa59a26b0c76e10fb8c6e15eae825d34b6fdf670333fd7b938d81"},
]
-[package.dependencies]
-typing-extensions = {version = ">=4.7.1", markers = "python_version < \"3.11\""}
-
[package.extras]
-docs = ["furo (>=2023.7.26)", "sphinx (>=7.1.2)", "sphinx-autodoc-typehints (>=1.24)"]
-testing = ["covdefaults (>=2.3)", "coverage (>=7.3)", "diff-cover (>=7.7)", "pytest (>=7.4)", "pytest-cov (>=4.1)", "pytest-mock (>=3.11.1)", "pytest-timeout (>=2.1)"]
+docs = ["furo (>=2023.5.20)", "sphinx (>=7.0.1)", "sphinx-autodoc-typehints (>=1.23,!=1.23.4)"]
+testing = ["covdefaults (>=2.3)", "coverage (>=7.2.7)", "diff-cover (>=7.5)", "pytest (>=7.3.1)", "pytest-cov (>=4.1)", "pytest-mock (>=3.10)", "pytest-timeout (>=2.1)"]
[[package]]
name = "flake8"
version = "6.1.0"
description = "the modular source code checker: pep8 pyflakes and co"
+category = "dev"
optional = false
python-versions = ">=3.8.1"
files = [
@@ -300,6 +311,7 @@ pyflakes = ">=3.1.0,<3.2.0"
name = "flake8-bugbear"
version = "23.7.10"
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 = [
@@ -318,6 +330,7 @@ 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 = [
@@ -332,6 +345,7 @@ flake8 = ">=3.0,<3.2.0 || >3.2.0"
name = "flake8-quotes"
version = "3.3.2"
description = "Flake8 lint for quotes."
+category = "dev"
optional = false
python-versions = "*"
files = [
@@ -345,6 +359,7 @@ flake8 = "*"
name = "flake8-type-checking"
version = "2.4.1"
description = "A flake8 plugin for managing type-checking imports & forward references"
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -360,6 +375,7 @@ flake8 = "*"
name = "graphviz"
version = "0.20.1"
description = "Simple Python interface for Graphviz"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -376,6 +392,7 @@ 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 = [
@@ -390,6 +407,7 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
name = "importlib-metadata"
version = "6.8.0"
description = "Read metadata from Python packages"
+category = "main"
optional = false
python-versions = ">=3.8"
files = [
@@ -409,6 +427,7 @@ 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 = [
@@ -420,6 +439,7 @@ files = [
name = "isort"
version = "5.12.0"
description = "A Python utility / library to sort Python imports."
+category = "dev"
optional = false
python-versions = ">=3.8.0"
files = [
@@ -437,6 +457,7 @@ requirements-deprecated-finder = ["pip-api", "pipreqs"]
name = "linkify-it-py"
version = "2.0.2"
description = "Links recognition library with FULL unicode support."
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -457,6 +478,7 @@ 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 = [
@@ -483,6 +505,7 @@ 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 = [
@@ -494,6 +517,7 @@ 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 = [
@@ -513,6 +537,7 @@ 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 = [
@@ -524,6 +549,7 @@ files = [
name = "multiprocess"
version = "0.70.15"
description = "better multiprocessing and multithreading in Python"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -552,6 +578,7 @@ dill = ">=0.3.7"
name = "mypy"
version = "1.5.1"
description = "Optional static typing for Python"
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -598,6 +625,7 @@ reports = ["lxml"]
name = "mypy-extensions"
version = "1.0.0"
description = "Type system extensions for programs checked with the mypy type checker."
+category = "dev"
optional = false
python-versions = ">=3.5"
files = [
@@ -609,6 +637,7 @@ files = [
name = "packaging"
version = "23.1"
description = "Core utilities for Python packages"
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -620,6 +649,7 @@ files = [
name = "pathos"
version = "0.3.1"
description = "parallel graph management and execution in heterogeneous computing"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -637,6 +667,7 @@ ppft = ">=1.7.6.7"
name = "pathspec"
version = "0.11.2"
description = "Utility library for gitignore style pattern matching of file paths."
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -648,6 +679,7 @@ 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 = [
@@ -662,6 +694,7 @@ flake8 = ">=5.0.0"
name = "platformdirs"
version = "3.10.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.7"
files = [
@@ -677,6 +710,7 @@ test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=7.4)", "pytest-co
name = "pluggy"
version = "1.3.0"
description = "plugin and hook calling mechanisms for python"
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -692,6 +726,7 @@ testing = ["pytest", "pytest-benchmark"]
name = "pox"
version = "0.3.3"
description = "utilities for filesystem exploration and automated builds"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -703,6 +738,7 @@ files = [
name = "ppft"
version = "1.7.6.7"
description = "distributed and parallel Python"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -717,6 +753,7 @@ dill = ["dill (>=0.3.7)"]
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 = [
@@ -743,6 +780,7 @@ test = ["enum34", "ipaddress", "mock", "pywin32", "wmi"]
name = "pybind11"
version = "2.11.1"
description = "Seamless operability between C++11 and Python"
+category = "main"
optional = false
python-versions = ">=3.6"
files = [
@@ -757,6 +795,7 @@ global = ["pybind11-global (==2.11.1)"]
name = "pycodestyle"
version = "2.11.0"
description = "Python style guide checker"
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -768,6 +807,7 @@ files = [
name = "pyflakes"
version = "3.1.0"
description = "passive checker of Python programs"
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -779,6 +819,7 @@ files = [
name = "pygments"
version = "2.16.1"
description = "Pygments is a syntax highlighting package written in Python."
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -791,8 +832,9 @@ plugins = ["importlib-metadata"]
[[package]]
name = "pyk"
-version = "0.1.431"
+version = "0.1.425"
description = ""
+category = "main"
optional = false
python-versions = "^3.10"
files = []
@@ -811,13 +853,14 @@ tomli = "^2.0.1"
[package.source]
type = "git"
url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.431"
-resolved_reference = "a18d76df9419194acf1f9d159d8fa697e0471bd9"
+reference = "v0.1.425"
+resolved_reference = "c292c4610183acec2ae44d8f68973ebf3cb4cd1e"
[[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 = [
@@ -828,6 +871,7 @@ files = [
name = "pyreadline3"
version = "3.4.1"
description = "A python implementation of GNU readline."
+category = "main"
optional = false
python-versions = "*"
files = [
@@ -839,6 +883,7 @@ files = [
name = "pytest"
version = "7.4.0"
description = "pytest: simple powerful testing with Python"
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -861,6 +906,7 @@ 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 = [
@@ -879,6 +925,7 @@ testing = ["fields", "hunter", "process-tests", "pytest-xdist", "six", "virtuale
name = "pytest-mock"
version = "3.11.1"
description = "Thin-wrapper around the mock package for easier use with pytest"
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -896,6 +943,7 @@ dev = ["pre-commit", "pytest-asyncio", "tox"]
name = "pytest-xdist"
version = "3.3.1"
description = "pytest xdist plugin for distributed testing, most importantly across multiple CPUs"
+category = "dev"
optional = false
python-versions = ">=3.7"
files = [
@@ -916,6 +964,7 @@ testing = ["filelock"]
name = "pyupgrade"
version = "3.10.1"
description = "A tool to automatically upgrade syntax for newer versions."
+category = "dev"
optional = false
python-versions = ">=3.8.1"
files = [
@@ -930,6 +979,7 @@ tokenize-rt = ">=5.2.0"
name = "rich"
version = "13.5.2"
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 = [
@@ -948,6 +998,7 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"]
name = "textual"
version = "0.27.0"
description = "Modern Text User Interface framework"
+category = "main"
optional = false
python-versions = ">=3.7,<4.0"
files = [
@@ -968,6 +1019,7 @@ dev = ["aiohttp (>=3.8.1)", "click (>=8.1.2)", "msgpack (>=1.0.3)"]
name = "tokenize-rt"
version = "5.2.0"
description = "A wrapper around the stdlib `tokenize` which roundtrips."
+category = "dev"
optional = false
python-versions = ">=3.8"
files = [
@@ -979,6 +1031,7 @@ files = [
name = "tomli"
version = "2.0.1"
description = "A lil' TOML parser"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -990,6 +1043,7 @@ files = [
name = "tomlkit"
version = "0.11.8"
description = "Style preserving TOML library"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -1001,6 +1055,7 @@ files = [
name = "typing-extensions"
version = "4.7.1"
description = "Backported and Experimental Type Hints for Python 3.7+"
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -1012,6 +1067,7 @@ files = [
name = "uc-micro-py"
version = "1.0.2"
description = "Micro subset of unicode data files for linkify-it-py projects."
+category = "main"
optional = false
python-versions = ">=3.7"
files = [
@@ -1026,6 +1082,7 @@ test = ["coverage", "pytest", "pytest-cov"]
name = "wcwidth"
version = "0.2.6"
description = "Measures the displayed width of unicode strings in a terminal"
+category = "main"
optional = false
python-versions = "*"
files = [
@@ -1037,6 +1094,7 @@ files = [
name = "zipp"
version = "3.16.2"
description = "Backport of pathlib-compatible object wrapper for zip files"
+category = "main"
optional = false
python-versions = ">=3.8"
files = [
@@ -1051,4 +1109,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
[metadata]
lock-version = "2.0"
python-versions = "^3.10"
-content-hash = "52c02013a3aa448f371fadb4d9e4c27249a355e1591b7257fe9af57e44e0a524"
+content-hash = "7a6eba6fae9c636c5f96e42d56b7f5cf5033f59481f4dd9e0344e3efe231b03b"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 1ff05c2d4e..1385c5fb1c 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
[tool.poetry]
name = "kevm-pyk"
-version = "1.0.285"
+version = "1.0.286"
description = ""
authors = [
"Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -17,7 +17,7 @@ packages = [
[tool.poetry.dependencies]
python = "^3.10"
pathos = "*"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.431" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", branch = "graceful-res-fix" }
tomlkit = "^0.11.6"
[tool.poetry.group.dev.dependencies]
diff --git a/package/debian/changelog b/package/debian/changelog
index 38a60b153d..27122956db 100644
--- a/package/debian/changelog
+++ b/package/debian/changelog
@@ -1,4 +1,4 @@
-kevm (1.0.285) unstable; urgency=medium
+kevm (1.0.286) unstable; urgency=medium
* Initial Release.
diff --git a/package/version b/package/version
index cff7ecca0a..c3ace87fe2 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.285
+1.0.286