From 74f6edcae3ec30ae339dfdd0070785b459197576 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Sun, 20 Aug 2023 08:41:39 -0600
Subject: [PATCH] Update dependency: deps/pyk_release (#2025)

* deps/pyk_release: Set Version v0.1.421

* Set Version: 1.0.268

* kevm-pyk/: sync poetry files pyk version v0.1.421

* deps/k_release: sync release file version 6.0.63

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/k_release           |  2 +-
 deps/pyk_release         |  2 +-
 flake.lock               | 16 ++++-----
 flake.nix                |  4 +--
 kevm-pyk/poetry.lock     | 71 +++-------------------------------------
 kevm-pyk/pyproject.toml  |  4 +--
 package/debian/changelog |  2 +-
 package/version          |  2 +-
 8 files changed, 21 insertions(+), 82 deletions(-)

diff --git a/deps/k_release b/deps/k_release
index 268f3accb9..ac37da2290 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.0.61
+6.0.63
diff --git a/deps/pyk_release b/deps/pyk_release
index cef93a0aaf..04b27fba73 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.420
+v0.1.421
diff --git a/flake.lock b/flake.lock
index 95abdde45c..cd6e2f66f4 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1076,16 +1076,16 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1692271318,
-        "narHash": "sha256-bi9sTDUE/fwwSsLehNp7MNep/7Up05nX4LwJBhYwq/M=",
+        "lastModified": 1692287543,
+        "narHash": "sha256-FWIlzA87Ws+NzLz+i/lECJDbwFzRhCV7T3x8Ddxl1pk=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "d56f22c373848bacc16d01462e2a89eea2479947",
+        "rev": "dc65fd7bc4f473b35d83fb309321ff601252a3b5",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v6.0.61",
+        "ref": "v6.0.63",
         "repo": "k",
         "type": "github"
       }
@@ -1735,16 +1735,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1692371954,
-        "narHash": "sha256-kudU5GkZcgwh9zF7DcCHaZV6JAkcRq2LlQH6pu+3ApU=",
+        "lastModified": 1692512745,
+        "narHash": "sha256-px3g1DKLndKFg4w9nqZNzQzmcMXZUQOS0dep3/DGMUs=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "a9221f8ee203245fa5222a01dbddda9ffba08935",
+        "rev": "c4157e3b515eedfe560fc9356cd769cfaa9962ea",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.420",
+        "ref": "v0.1.421",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index eb1e288b13..a0e6ddbeb0 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
 
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4";
-    k-framework.url = "github:runtimeverification/k/v6.0.61";
+    k-framework.url = "github:runtimeverification/k/v6.0.63";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     #nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
@@ -17,7 +17,7 @@
     ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
     ethereum-legacytests.flake = false;
     haskell-backend.follows = "k-framework/haskell-backend";
-    pyk.url = "github:runtimeverification/pyk/v0.1.420";
+    pyk.url = "github:runtimeverification/pyk/v0.1.421";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
     foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index dd7882e97b..c062e2d753 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -1,10 +1,9 @@
-# This file is automatically @generated by Poetry 1.4.0 and should not be changed by hand.
+# This file is automatically @generated by Poetry 1.5.1 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 = [
@@ -23,7 +22,6 @@ 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 = [
@@ -39,7 +37,6 @@ 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 = [
@@ -85,7 +82,6 @@ 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 = [
@@ -97,7 +93,6 @@ files = [
 name = "click"
 version = "8.1.7"
 description = "Composable command line interface toolkit"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -112,7 +107,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 = [
@@ -135,7 +129,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 = [
@@ -147,7 +140,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 = [
@@ -165,7 +157,6 @@ 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 = [
@@ -233,7 +224,6 @@ toml = ["tomli"]
 name = "dill"
 version = "0.3.7"
 description = "serialize all of Python"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -248,7 +238,6 @@ 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 = [
@@ -263,7 +252,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 = [
@@ -278,7 +266,6 @@ testing = ["hatch", "pre-commit", "pytest", "tox"]
 name = "filelock"
 version = "3.12.2"
 description = "A platform independent file lock."
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -294,7 +281,6 @@ testing = ["covdefaults (>=2.3)", "coverage (>=7.2.7)", "diff-cover (>=7.5)", "p
 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 = [
@@ -311,7 +297,6 @@ 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 = [
@@ -330,7 +315,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 = [
@@ -345,7 +329,6 @@ 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 = [
@@ -359,7 +342,6 @@ 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 = [
@@ -375,7 +357,6 @@ flake8 = "*"
 name = "graphviz"
 version = "0.20.1"
 description = "Simple Python interface for Graphviz"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -392,7 +373,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 = [
@@ -407,7 +387,6 @@ 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 = [
@@ -427,7 +406,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 = [
@@ -439,7 +417,6 @@ 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 = [
@@ -457,7 +434,6 @@ 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 = [
@@ -478,7 +454,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 = [
@@ -505,7 +480,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 = [
@@ -517,7 +491,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 = [
@@ -537,7 +510,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 = [
@@ -549,7 +521,6 @@ files = [
 name = "multiprocess"
 version = "0.70.15"
 description = "better multiprocessing and multithreading in Python"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -578,7 +549,6 @@ 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 = [
@@ -625,7 +595,6 @@ 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 = [
@@ -637,7 +606,6 @@ files = [
 name = "packaging"
 version = "23.1"
 description = "Core utilities for Python packages"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -649,7 +617,6 @@ 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 = [
@@ -667,7 +634,6 @@ 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 = [
@@ -679,7 +645,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 = [
@@ -694,7 +659,6 @@ 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 = [
@@ -710,7 +674,6 @@ test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=7.4)", "pytest-co
 name = "pluggy"
 version = "1.2.0"
 description = "plugin and hook calling mechanisms for python"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -726,7 +689,6 @@ 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 = [
@@ -738,7 +700,6 @@ files = [
 name = "ppft"
 version = "1.7.6.7"
 description = "distributed and parallel Python"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -753,7 +714,6 @@ 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 = [
@@ -780,7 +740,6 @@ 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 = [
@@ -795,7 +754,6 @@ 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 = [
@@ -807,7 +765,6 @@ files = [
 name = "pyflakes"
 version = "3.1.0"
 description = "passive checker of Python programs"
-category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
@@ -819,7 +776,6 @@ 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 = [
@@ -832,9 +788,8 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.420"
+version = "0.1.421"
 description = ""
-category = "main"
 optional = false
 python-versions = "^3.10"
 files = []
@@ -853,14 +808,13 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.420"
-resolved_reference = "a9221f8ee203245fa5222a01dbddda9ffba08935"
+reference = "v0.1.421"
+resolved_reference = "c4157e3b515eedfe560fc9356cd769cfaa9962ea"
 
 [[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 = [
@@ -871,7 +825,6 @@ files = [
 name = "pyreadline3"
 version = "3.4.1"
 description = "A python implementation of GNU readline."
-category = "main"
 optional = false
 python-versions = "*"
 files = [
@@ -883,7 +836,6 @@ files = [
 name = "pytest"
 version = "7.4.0"
 description = "pytest: simple powerful testing with Python"
-category = "dev"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -906,7 +858,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 = [
@@ -925,7 +876,6 @@ 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 = [
@@ -943,7 +893,6 @@ 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 = [
@@ -964,7 +913,6 @@ 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 = [
@@ -979,7 +927,6 @@ 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 = [
@@ -998,7 +945,6 @@ 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 = [
@@ -1019,7 +965,6 @@ 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 = [
@@ -1031,7 +976,6 @@ files = [
 name = "tomli"
 version = "2.0.1"
 description = "A lil' TOML parser"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -1043,7 +987,6 @@ files = [
 name = "tomlkit"
 version = "0.11.8"
 description = "Style preserving TOML library"
-category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
@@ -1055,7 +998,6 @@ 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 = [
@@ -1067,7 +1009,6 @@ 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 = [
@@ -1082,7 +1023,6 @@ 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 = [
@@ -1094,7 +1034,6 @@ 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 = [
@@ -1109,4 +1048,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "3ff5f9730fa458d3d43560e92b7f90b6ee64931afdb9aba0ae23356a0272bfde"
+content-hash = "8f2d881765f6b3ca4869d4fa6b3c191ff45aa9e390d444ed0de5af8ff071553f"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 86b816294d..a97284b0db 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.267"
+version = "1.0.268"
 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.420" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.421" }
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]
diff --git a/package/debian/changelog b/package/debian/changelog
index c4d3117e31..8ca27eef5d 100644
--- a/package/debian/changelog
+++ b/package/debian/changelog
@@ -1,4 +1,4 @@
-kevm (1.0.267) unstable; urgency=medium
+kevm (1.0.268) unstable; urgency=medium
 
   * Initial Release.
 
diff --git a/package/version b/package/version
index a99b7fd782..6f664cca12 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.267
+1.0.268