From 09fe8a7945316ddf9c8f1aaa992fd95326aca2aa Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 10 Sep 2024 00:20:07 -0600 Subject: [PATCH] Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2615) * kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 09b4d74ef7db6664276b84865c3d5eb7606d5912 * kevm-pyk/: sync poetry files pyk version 7.1.136 * deps/blockchain-k-plugin_release: sync release file version 09b4d74ef7db6664276b84865c3d5eb7606d5912 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/blockchain-k-plugin_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 2 +- kevm-pyk/poetry.lock | 30 +++++++++++++++--------------- kevm-pyk/src/kevm_pyk/kproj/plugin | 2 +- 5 files changed, 26 insertions(+), 26 deletions(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index fec330bdfa..1998eb5781 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -a18c1d424957f794a1254d7e560712749c2aeb10 +09b4d74ef7db6664276b84865c3d5eb7606d5912 diff --git a/flake.lock b/flake.lock index cb055e8a43..840f3df657 100644 --- a/flake.lock +++ b/flake.lock @@ -45,17 +45,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1725480100, - "narHash": "sha256-2gTqoktcvJUAmH4ES0B+r0BNt0PLPEYnCbZQxcIuJUA=", + "lastModified": 1725913520, + "narHash": "sha256-lryf4YUxCwkvxW63wyVYlWlclflaWcdjczTYXsXmJ28=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "a18c1d424957f794a1254d7e560712749c2aeb10", + "rev": "09b4d74ef7db6664276b84865c3d5eb7606d5912", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "a18c1d424957f794a1254d7e560712749c2aeb10", + "rev": "09b4d74ef7db6664276b84865c3d5eb7606d5912", "type": "github" } }, @@ -316,16 +316,16 @@ ] }, "locked": { - "lastModified": 1725395202, - "narHash": "sha256-UCMS6H8zIjFzN4xAXdCNcW7UChAp9knpRnscTg5z+jA=", + "lastModified": 1725906529, + "narHash": "sha256-r1geeMXzuy3NjFM5mRke1R8mSikMqY3QrrC0C1yWTjY=", "owner": "runtimeverification", "repo": "k", - "rev": "42e03545c319847e7df84e6fbc196b2f51c148a0", + "rev": "464852c23ecdf15bbe772802e0a4b96e5b95ee47", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.131", + "ref": "v7.1.138", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 078b012831..e48fcca7f9 100644 --- a/flake.nix +++ b/flake.nix @@ -9,7 +9,7 @@ poetry2nix.follows = "k-framework/poetry2nix"; blockchain-k-plugin = { url = - "github:runtimeverification/blockchain-k-plugin/a18c1d424957f794a1254d7e560712749c2aeb10"; + "github:runtimeverification/blockchain-k-plugin/09b4d74ef7db6664276b84865c3d5eb7606d5912"; inputs.flake-utils.follows = "k-framework/flake-utils"; inputs.nixpkgs.follows = "k-framework/nixpkgs"; }; diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 614c0b3dec..8941a070e5 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -287,19 +287,19 @@ testing = ["hatch", "pre-commit", "pytest", "tox"] [[package]] name = "filelock" -version = "3.15.4" +version = "3.16.0" description = "A platform independent file lock." optional = false python-versions = ">=3.8" files = [ - {file = "filelock-3.15.4-py3-none-any.whl", hash = "sha256:6ca1fffae96225dab4c6eaf1c4f4f28cd2568d3ec2a44e15a08520504de468e7"}, - {file = "filelock-3.15.4.tar.gz", hash = "sha256:2207938cbc1844345cb01a5a95524dae30f0ce089eba5b00378295a17e3e90cb"}, + {file = "filelock-3.16.0-py3-none-any.whl", hash = "sha256:f6ed4c963184f4c84dd5557ce8fece759a3724b37b80c6c4f20a2f63a4dc6609"}, + {file = "filelock-3.16.0.tar.gz", hash = "sha256:81de9eb8453c769b63369f87f11131a7ab04e367f8d97ad39dc230daa07e3bec"}, ] [package.extras] -docs = ["furo (>=2023.9.10)", "sphinx (>=7.2.6)", "sphinx-autodoc-typehints (>=1.25.2)"] -testing = ["covdefaults (>=2.3)", "coverage (>=7.3.2)", "diff-cover (>=8.0.1)", "pytest (>=7.4.3)", "pytest-asyncio (>=0.21)", "pytest-cov (>=4.1)", "pytest-mock (>=3.12)", "pytest-timeout (>=2.2)", "virtualenv (>=20.26.2)"] -typing = ["typing-extensions (>=4.8)"] +docs = ["furo (>=2024.8.6)", "sphinx (>=8.0.2)", "sphinx-autodoc-typehints (>=2.4)"] +testing = ["covdefaults (>=2.3)", "coverage (>=7.6.1)", "diff-cover (>=9.1.1)", "pytest (>=8.3.2)", "pytest-asyncio (>=0.24)", "pytest-cov (>=5)", "pytest-mock (>=3.14)", "pytest-timeout (>=2.3.1)", "virtualenv (>=20.26.3)"] +typing = ["typing-extensions (>=4.12.2)"] [[package]] name = "flake8" @@ -582,13 +582,13 @@ files = [ [[package]] name = "mdit-py-plugins" -version = "0.4.1" +version = "0.4.2" description = "Collection of plugins for markdown-it-py" optional = false python-versions = ">=3.8" files = [ - {file = "mdit_py_plugins-0.4.1-py3-none-any.whl", hash = "sha256:1020dfe4e6bfc2c79fb49ae4e3f5b297f5ccd20f010187acc52af2921e27dc6a"}, - {file = "mdit_py_plugins-0.4.1.tar.gz", hash = "sha256:834b8ac23d1cd60cec703646ffd22ae97b7955a6d596eb1d304be1e251ae499c"}, + {file = "mdit_py_plugins-0.4.2-py3-none-any.whl", hash = "sha256:0c673c3f889399a33b95e88d2f0d111b4447bdfea7f237dab2d488f459835636"}, + {file = "mdit_py_plugins-0.4.2.tar.gz", hash = "sha256:5f2cd1fdb606ddf152d37ec30e46101a60512bc0e5fa1a7002c36647b09e26b5"}, ] [package.dependencies] @@ -759,19 +759,19 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "4.2.2" +version = "4.3.2" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a `user data dir`." optional = false python-versions = ">=3.8" files = [ - {file = "platformdirs-4.2.2-py3-none-any.whl", hash = "sha256:2d7a1657e36a80ea911db832a8a6ece5ee53d8de21edd5cc5879af6530b1bfee"}, - {file = "platformdirs-4.2.2.tar.gz", hash = "sha256:38b7b51f512eed9e84a22788b4bce1de17c0adb134d6becb09836e37d8654cd3"}, + {file = "platformdirs-4.3.2-py3-none-any.whl", hash = "sha256:eb1c8582560b34ed4ba105009a4badf7f6f85768b30126f351328507b2beb617"}, + {file = "platformdirs-4.3.2.tar.gz", hash = "sha256:9e5e27a08aa095dd127b9f2e764d74254f482fef22b0970773bfba79d091ab8c"}, ] [package.extras] -docs = ["furo (>=2023.9.10)", "proselint (>=0.13)", "sphinx (>=7.2.6)", "sphinx-autodoc-typehints (>=1.25.2)"] -test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=7.4.3)", "pytest-cov (>=4.1)", "pytest-mock (>=3.12)"] -type = ["mypy (>=1.8)"] +docs = ["furo (>=2024.8.6)", "proselint (>=0.14)", "sphinx (>=8.0.2)", "sphinx-autodoc-typehints (>=2.4)"] +test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=8.3.2)", "pytest-cov (>=5)", "pytest-mock (>=3.14)"] +type = ["mypy (>=1.11.2)"] [[package]] name = "pluggy" diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin index a18c1d4249..09b4d74ef7 160000 --- a/kevm-pyk/src/kevm_pyk/kproj/plugin +++ b/kevm-pyk/src/kevm_pyk/kproj/plugin @@ -1 +1 @@ -Subproject commit a18c1d424957f794a1254d7e560712749c2aeb10 +Subproject commit 09b4d74ef7db6664276b84865c3d5eb7606d5912