From 0d90a3dae1b8252bcb35bd25ddf62bf422d49a78 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 28 Aug 2024 14:24:55 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2597) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * deps/k_release: Set Version 7.1.122 * kevm-pyk/: sync poetry files pyk version 7.1.122 * flake.{nix,lock}: update Nix derivations * kevm-pyk/: sync poetry files pyk version 7.1.122 * deps/k_release: Set Version 7.1.123 * kevm-pyk/: sync poetry files pyk version 7.1.123 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> --- deps/k_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 20 ++++++++++++-------- kevm-pyk/pyproject.toml | 2 +- 5 files changed, 24 insertions(+), 20 deletions(-) diff --git a/deps/k_release b/deps/k_release index 25b8aaf5a7..e85246a8e1 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.121 +7.1.123 diff --git a/flake.lock b/flake.lock index e07e2b5115..f0c5f34bad 100644 --- a/flake.lock +++ b/flake.lock @@ -370,16 +370,16 @@ ] }, "locked": { - "lastModified": 1724666348, - "narHash": "sha256-uYzqKlfWzfWwdzbdAZAKQ2KX/B4ngVoi+FhUN+c4EkM=", + "lastModified": 1724866053, + "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=", "owner": "runtimeverification", "repo": "k", - "rev": "894298664c0609ce775b2c26bc56674c21563f2c", + "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.121", + "ref": "v7.1.123", "repo": "k", "type": "github" } @@ -711,17 +711,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1724666348, - "narHash": "sha256-uYzqKlfWzfWwdzbdAZAKQ2KX/B4ngVoi+FhUN+c4EkM=", + "lastModified": 1724866053, + "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=", "owner": "runtimeverification", "repo": "k", - "rev": "894298664c0609ce775b2c26bc56674c21563f2c", + "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.121", + "ref": "v7.1.123", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 992db2550d..5dad3731d7 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.121"; + k-framework.url = "github:runtimeverification/k/v7.1.123"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.121?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.123?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 8bd2b20adf..752586bcce 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -501,13 +501,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.121" +version = "7.1.123" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.121-py3-none-any.whl", hash = "sha256:92796088daf5c5083b0daa6e5b22e633f68295c58e97830c2c0538a48ba08d0a"}, - {file = "kframework-7.1.121.tar.gz", hash = "sha256:9ea14f197abcebf24b47b0cd4c5b95f0d0b824eba63741d1176c0a6c468a6847"}, + {file = "kframework-7.1.123-py3-none-any.whl", hash = "sha256:b98081331a8f1d2902df61911726c3fb80b95f7da1d330102a58dd6bd3e5c83c"}, + {file = "kframework-7.1.123.tar.gz", hash = "sha256:9174ac133734cfa0f899088f401073e4c160cc1b6b565947a474aaa89876fe0a"}, ] [package.dependencies] @@ -1035,19 +1035,23 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "73.0.1" +version = "74.0.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-73.0.1-py3-none-any.whl", hash = "sha256:b208925fcb9f7af924ed2dc04708ea89791e24bde0d3020b27df0e116088b34e"}, - {file = "setuptools-73.0.1.tar.gz", hash = "sha256:d59a3e788ab7e012ab2c4baed1b376da6366883ee20d7a5fc426816e3d7b1193"}, + {file = "setuptools-74.0.0-py3-none-any.whl", hash = "sha256:0274581a0037b638b9fc1c6883cc71c0210865aaa76073f7882376b641b84e8f"}, + {file = "setuptools-74.0.0.tar.gz", hash = "sha256:a85e96b8be2b906f3e3e789adec6a9323abf79758ecfa3065bd740d81158b11e"}, ] [package.extras] +check = ["pytest-checkdocs (>=2.4)", "pytest-ruff (>=0.2.1)", "ruff (>=0.5.2)"] core = ["importlib-metadata (>=6)", "importlib-resources (>=5.10.2)", "jaraco.text (>=3.7)", "more-itertools (>=8.8)", "packaging (>=24)", "platformdirs (>=2.6.2)", "tomli (>=2.0.1)", "wheel (>=0.43.0)"] +cover = ["pytest-cov"] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier", "towncrier (<24.7)"] -test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.11.*)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (<0.4)", "pytest-ruff (>=0.2.1)", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel (>=0.44.0)"] +enabler = ["pytest-enabler (>=2.2)"] +test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-home (>=0.5)", "pytest-perf", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel (>=0.44.0)"] +type = ["importlib-metadata (>=7.0.2)", "jaraco.develop (>=7.21)", "mypy (==1.11.*)", "pytest-mypy"] [[package]] name = "sortedcontainers" @@ -1182,4 +1186,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c105f61818e5ff89a8893297e422e6d33bdad78833c0c4b669f51020e6b7f196" +content-hash = "481ebb00ccaa537f0348f34d0ad0a2f217240290c0e30dd76b44a4f5f1e5757c" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index ed94225d77..47e0b59ea0 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.121" +kframework = "7.1.123" tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies]