From af074c9a6f4c3942d0167e91ae357c4dbf8a3f93 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 4 Jun 2024 18:31:25 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2461) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * deps/k_release: Set Version 7.0.107 * Set Version: 1.0.585 * kevm-pyk/: sync poetry files pyk version v7.0.107 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.108 * kevm-pyk/: sync poetry files pyk version v7.0.108 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.109 * kevm-pyk/: sync poetry files pyk version v7.0.109 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.586 * Set Version: 1.0.587 * Set Version: 1.0.588 * deps/k_release: Set Version 7.0.110 * kevm-pyk/: sync poetry files pyk version v7.0.110 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.111 * kevm-pyk/: sync poetry files pyk version v7.0.111 * 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 | 32 +++++++++++++++---------------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 16 ++++++++-------- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 7 files changed, 31 insertions(+), 31 deletions(-) diff --git a/deps/k_release b/deps/k_release index 45158c60d1..c841e8eae6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.106 +7.0.111 diff --git a/flake.lock b/flake.lock index e7446b8122..60bdaf0193 100644 --- a/flake.lock +++ b/flake.lock @@ -164,17 +164,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1717048155, - "narHash": "sha256-HHrXt2UoG1RbKmAGmOroQJjUbyiE+6c1dJxqoIfp3H0=", + "lastModified": 1717504162, + "narHash": "sha256-muZL1MfImaMimk+f/SwPj4xrlRvDnSpovDhAx/WqdCw=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "b6ab7a9054ae900c97c48e61027fd602dbd2acb8", + "rev": "abceb59fcbc47d1bc537ff797f806c8bb8649626", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "b6ab7a9054ae900c97c48e61027fd602dbd2acb8", + "rev": "abceb59fcbc47d1bc537ff797f806c8bb8649626", "type": "github" } }, @@ -208,16 +208,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1717398151, - "narHash": "sha256-6xKGH3t5ePt7CZPYACGpwx0VOxOQ6L8Wk2Vlcafui88=", + "lastModified": 1717537325, + "narHash": "sha256-lNfVJKxSgUO++XmApqBfAUVzOUkEy2UcMlp0OonWODE=", "owner": "runtimeverification", "repo": "k", - "rev": "9100689e357a7e5820362869a73684468ef9c91b", + "rev": "0551750cc0779b668eac8f3751f13cf2b2ea8ecc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.106", + "ref": "v7.0.111", "repo": "k", "type": "github" } @@ -259,16 +259,16 @@ ] }, "locked": { - "lastModified": 1716543761, - "narHash": "sha256-YQIrz7KjDiwLtHMzRYxzt1+rcCUdeGDmBQl+zWOq5us=", + "lastModified": 1717532732, + "narHash": "sha256-0VTqGrolstZlxtd6DRmoWnJsYO+BB8i+PniGKenB34I=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "0b0bdaeaf5acfed9034c40bec68b285dc5fac4dc", + "rev": "caca83fbec616482760697fbf7620c45e9b560b7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.31", + "ref": "v0.1.42", "repo": "llvm-backend", "type": "github" } @@ -413,17 +413,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1717398151, - "narHash": "sha256-6xKGH3t5ePt7CZPYACGpwx0VOxOQ6L8Wk2Vlcafui88=", + "lastModified": 1717537325, + "narHash": "sha256-lNfVJKxSgUO++XmApqBfAUVzOUkEy2UcMlp0OonWODE=", "owner": "runtimeverification", "repo": "k", - "rev": "9100689e357a7e5820362869a73684468ef9c91b", + "rev": "0551750cc0779b668eac8f3751f13cf2b2ea8ecc", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.106", + "ref": "v7.0.111", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index a2c235b5fa..91ad70c4fa 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.0.106"; + k-framework.url = "github:runtimeverification/k/v7.0.111"; 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.0.106?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.111?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 5a4fe3e01c..5df0552ccc 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.106" +version = "7.0.111" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.106" -resolved_reference = "9100689e357a7e5820362869a73684468ef9c91b" +reference = "v7.0.111" +resolved_reference = "0551750cc0779b668eac8f3751f13cf2b2ea8ecc" subdirectory = "pyk" [[package]] @@ -1100,20 +1100,20 @@ files = [ [[package]] name = "zipp" -version = "3.19.1" +version = "3.19.2" description = "Backport of pathlib-compatible object wrapper for zip files" optional = false python-versions = ">=3.8" files = [ - {file = "zipp-3.19.1-py3-none-any.whl", hash = "sha256:2828e64edb5386ea6a52e7ba7cdb17bb30a73a858f5eb6eb93d8d36f5ea26091"}, - {file = "zipp-3.19.1.tar.gz", hash = "sha256:35427f6d5594f4acf82d25541438348c26736fa9b3afa2754bcd63cdb99d8e8f"}, + {file = "zipp-3.19.2-py3-none-any.whl", hash = "sha256:f091755f667055f2d02b32c53771a7a6c8b47e1fdbc4b72a8b9072b3eef8015c"}, + {file = "zipp-3.19.2.tar.gz", hash = "sha256:bf1dcf6450f873a13e952a29504887c89e6de7506209e5b1bcc3460135d4de19"}, ] [package.extras] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] -test = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more-itertools", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-ignore-flaky", "pytest-mypy", "pytest-ruff (>=0.2.1)"] +test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more-itertools", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-ignore-flaky", "pytest-mypy", "pytest-ruff (>=0.2.1)"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "45437d8fea0996c09f97bef3f34aec2504c39e0a5e5aa22a1481b76687e02ffd" +content-hash = "6ff94b1723caae5c614792dfde0ed00bb566a9cf1156908154fdad03ebde57ec" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 00645b8653..1cc82ac056 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.587" +version = "1.0.588" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.106", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.111", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index c5031d372a..503955389a 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.587' +VERSION: Final = '1.0.588' diff --git a/package/version b/package/version index f449bb757c..f02a1d725e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.587 +1.0.588