From e8450125f28b3225ddc43d5846cc872bd99b0c8e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 30 Apr 2025 03:49:05 +0000 Subject: [PATCH 1/4] kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 5341429abcb23d5b04b3520322ec58ed5ba34471 --- kevm-pyk/src/kevm_pyk/kproj/plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin index 651a2db5af..5341429abc 160000 --- a/kevm-pyk/src/kevm_pyk/kproj/plugin +++ b/kevm-pyk/src/kevm_pyk/kproj/plugin @@ -1 +1 @@ -Subproject commit 651a2db5afc1789c89553f9113c1afa39e391e35 +Subproject commit 5341429abcb23d5b04b3520322ec58ed5ba34471 From bc96bb998991767fc646cfe0fe1645f404e86009 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 30 Apr 2025 03:50:25 +0000 Subject: [PATCH 2/4] kevm-pyk/: sync poetry files pyk version 7.1.244 --- kevm-pyk/poetry.lock | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 3f27c1f677..4fa1e96d2c 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -1189,14 +1189,14 @@ files = [ [[package]] name = "pep8-naming" -version = "0.14.1" +version = "0.15.0" description = "Check PEP-8 naming conventions, plugin for flake8" optional = false -python-versions = ">=3.8" +python-versions = ">=3.9" groups = ["dev"] files = [ - {file = "pep8-naming-0.14.1.tar.gz", hash = "sha256:1ef228ae80875557eb6c1549deafed4dabbf3261cfcafa12f773fe0db9be8a36"}, - {file = "pep8_naming-0.14.1-py3-none-any.whl", hash = "sha256:63f514fc777d715f935faf185dedd679ab99526a7f2f503abb61587877f7b1c5"}, + {file = "pep8_naming-0.15.0-py3-none-any.whl", hash = "sha256:2ce36937ff0421d871a634f4a0c2af06f994fe22c9055ea9813ca72d562754da"}, + {file = "pep8_naming-0.15.0.tar.gz", hash = "sha256:a637ee5144f7585c800b1fc6eeb996fa35a2ef0f2690880a9e1b29cb9f6e8359"}, ] [package.dependencies] @@ -1623,14 +1623,14 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "80.0.0" +version = "80.0.1" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.9" groups = ["dev"] files = [ - {file = "setuptools-80.0.0-py3-none-any.whl", hash = "sha256:a38f898dcd6e5380f4da4381a87ec90bd0a7eec23d204a5552e80ee3cab6bd27"}, - {file = "setuptools-80.0.0.tar.gz", hash = "sha256:c40a5b3729d58dd749c0f08f1a07d134fb8a0a3d7f87dc33e7c5e1f762138650"}, + {file = "setuptools-80.0.1-py3-none-any.whl", hash = "sha256:f4b49d457765b3aae7cbbeb1c71f6633a61b729408c2d1a837dae064cca82ef2"}, + {file = "setuptools-80.0.1.tar.gz", hash = "sha256:20fe373a22ef9f3925512650d1db90b1b8de01cdb6df91ab1788263139cbf9a2"}, ] [package.extras] From 5c918c241e408beeb9bc4b7655b246d6be791d21 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 30 Apr 2025 03:50:25 +0000 Subject: [PATCH 3/4] deps/blockchain-k-plugin_release: sync release file version 5341429abcb23d5b04b3520322ec58ed5ba34471 --- deps/blockchain-k-plugin_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index 84dd46e870..cb43045306 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -651a2db5afc1789c89553f9113c1afa39e391e35 +5341429abcb23d5b04b3520322ec58ed5ba34471 From e77ced0ea200552413a69e18fdd53060d8fe76e3 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 30 Apr 2025 03:50:55 +0000 Subject: [PATCH 4/4] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 9e21c17379..72b57b33d6 100644 --- a/flake.lock +++ b/flake.lock @@ -47,17 +47,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1741336075, - "narHash": "sha256-rFwScLxdJ+cS81MPbhub0vgQLkxEQwdHsQ+sSlnwQHE=", + "lastModified": 1745984844, + "narHash": "sha256-+3FHX/g5RnAh+dppxnOsGVbwoz9B5e4rPJ12PySZd0c=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "651a2db5afc1789c89553f9113c1afa39e391e35", + "rev": "5341429abcb23d5b04b3520322ec58ed5ba34471", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "651a2db5afc1789c89553f9113c1afa39e391e35", + "rev": "5341429abcb23d5b04b3520322ec58ed5ba34471", "type": "github" } }, diff --git a/flake.nix b/flake.nix index d71551f1d9..6c1ee1e6fb 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/651a2db5afc1789c89553f9113c1afa39e391e35"; + "github:runtimeverification/blockchain-k-plugin/5341429abcb23d5b04b3520322ec58ed5ba34471"; inputs.flake-utils.follows = "k-framework/flake-utils"; inputs.nixpkgs.follows = "k-framework/nixpkgs"; };