From 94be09e65de4ac080293bf51e1ebd7e5ce223700 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 4 Sep 2024 20:03:26 +0000 Subject: [PATCH 1/5] kmultiversx/src/kmultiversx/kdist/plugin: Set Version a18c1d424957f794a1254d7e560712749c2aeb10 --- kmultiversx/src/kmultiversx/kdist/plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin index 300c9cf5..a18c1d42 160000 --- a/kmultiversx/src/kmultiversx/kdist/plugin +++ b/kmultiversx/src/kmultiversx/kdist/plugin @@ -1 +1 @@ -Subproject commit 300c9cf567eba4c8c88675ff67ebd859795ee169 +Subproject commit a18c1d424957f794a1254d7e560712749c2aeb10 From 1bcc55360b1767ad650279fe28c9acc1f201cef7 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 4 Sep 2024 20:03:41 +0000 Subject: [PATCH 2/5] Set Version: 0.1.113 --- kmultiversx/pyproject.toml | 2 +- package/version | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 4a0c7fbf..667a8770 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmultiversx" -version = "0.1.112" +version = "0.1.113" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", diff --git a/package/version b/package/version index 4b9b35d8..c21e67e6 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.112 +0.1.113 From f850fe29e531a2acaae144d8428c4e8d03580593 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 4 Sep 2024 20:05:33 +0000 Subject: [PATCH 3/5] kmultiversx/: sync poetry files 0.1.95 --- kmultiversx/poetry.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 7ad22d72..a92297d6 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -1168,13 +1168,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "74.0.0" +version = "74.1.1" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-74.0.0-py3-none-any.whl", hash = "sha256:0274581a0037b638b9fc1c6883cc71c0210865aaa76073f7882376b641b84e8f"}, - {file = "setuptools-74.0.0.tar.gz", hash = "sha256:a85e96b8be2b906f3e3e789adec6a9323abf79758ecfa3065bd740d81158b11e"}, + {file = "setuptools-74.1.1-py3-none-any.whl", hash = "sha256:fc91b5f89e392ef5b77fe143b17e32f65d3024744fba66dc3afe07201684d766"}, + {file = "setuptools-74.1.1.tar.gz", hash = "sha256:2353af060c06388be1cecbf5953dcdb1f38362f87a2356c480b6b4d5fcfc8847"}, ] [package.extras] From ce468e2a80da012c73a89653af319b0085e34b41 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 4 Sep 2024 20:05:33 +0000 Subject: [PATCH 4/5] deps/blockchain-k-plugin_release: sync release file version a18c1d424957f794a1254d7e560712749c2aeb10 --- 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 046ce7b6..fec330bd 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -300c9cf567eba4c8c88675ff67ebd859795ee169 +a18c1d424957f794a1254d7e560712749c2aeb10 From ab63ba4dcdfe57ab9b0b4d4b7ecffafecc614868 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 4 Sep 2024 20:06:03 +0000 Subject: [PATCH 5/5] flake.{nix,lock}: update Nix derivations --- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/flake.lock b/flake.lock index ce64631a..4b4fa971 100644 --- a/flake.lock +++ b/flake.lock @@ -45,17 +45,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1724870545, - "narHash": "sha256-OVT3nyAQI59zQSALEOazE8q7WYRyDc7SbL7ilMAPjHc=", + "lastModified": 1725480100, + "narHash": "sha256-2gTqoktcvJUAmH4ES0B+r0BNt0PLPEYnCbZQxcIuJUA=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169", + "rev": "a18c1d424957f794a1254d7e560712749c2aeb10", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169", + "rev": "a18c1d424957f794a1254d7e560712749c2aeb10", "type": "github" } }, @@ -434,16 +434,16 @@ ] }, "locked": { - "lastModified": 1724866053, - "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=", + "lastModified": 1725395202, + "narHash": "sha256-UCMS6H8zIjFzN4xAXdCNcW7UChAp9knpRnscTg5z+jA=", "owner": "runtimeverification", "repo": "k", - "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5", + "rev": "42e03545c319847e7df84e6fbc196b2f51c148a0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.123", + "ref": "v7.1.131", "repo": "k", "type": "github" } @@ -819,17 +819,17 @@ "treefmt-nix": "treefmt-nix" }, "locked": { - "lastModified": 1698640399, - "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=", + "lastModified": 1725253878, + "narHash": "sha256-HwXut4WbOUAjmybhui2eNSE6+Wb0nigYgDzBBOZaPG4=", "owner": "nix-community", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", + "rev": "0d3fad5740d892487805cd2d60d8e4ed828486e9", "type": "github" }, "original": { "owner": "nix-community", + "ref": "2024.9.219347", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 72b5bf9a..ad732a35 100644 --- a/flake.nix +++ b/flake.nix @@ -12,7 +12,7 @@ poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { url = - "github:runtimeverification/blockchain-k-plugin/300c9cf567eba4c8c88675ff67ebd859795ee169"; + "github:runtimeverification/blockchain-k-plugin/a18c1d424957f794a1254d7e560712749c2aeb10"; inputs.flake-utils.follows = "k-framework/flake-utils"; inputs.nixpkgs.follows = "k-framework/nixpkgs"; };