From 4b8a59db2fb066b3b29c859f3bd6354c47b7fdd3 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 17 Dec 2024 02:43:33 -0700 Subject: [PATCH] Update dependency: deps/kevm_release (#917) * deps/kevm_release: Set Version 1.0.761 * Sync Poetry files: kevm-pyk version 1.0.761 * deps/k_release: sync release file version 7.1.187 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.762 * Sync Poetry files: kevm-pyk version 1.0.762 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.763 * Sync Poetry files: kevm-pyk version 1.0.763 * deps/k_release: sync release file version 7.1.190 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kevm_release | 2 +- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- poetry.lock | 22 +++++++++++----------- pyproject.toml | 2 +- 6 files changed, 27 insertions(+), 27 deletions(-) diff --git a/deps/k_release b/deps/k_release index 96f9e6a44..c8f95abe8 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.186 +7.1.190 diff --git a/deps/kevm_release b/deps/kevm_release index 6afbcf9ed..17237ed68 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.760 +1.0.763 diff --git a/flake.lock b/flake.lock index 025f88920..731c2a6e5 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1733859752, - "narHash": "sha256-wRfMUdf8hQWLEbtwTihnGvlUssU55NVm30LOrAXS7jU=", + "lastModified": 1734410707, + "narHash": "sha256-kQJj9iZI/VXqqFq75YhmqhMlBvv3cL4YqIz6AgthpJ8=", "owner": "runtimeverification", "repo": "k", - "rev": "c8d0bee9b64f0e83a4db805575699bae040abbf1", + "rev": "c4354cd4925db935874cd9625723c09e9d5ca616", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.186", + "ref": "v7.1.190", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1733898858, - "narHash": "sha256-/W7p0JG+dPZoTSDRb6ftXi+G0ef28P16pbLw3GgaA7I=", + "lastModified": 1734420381, + "narHash": "sha256-Kd0WG5vWW5Lj6263/uVP4AWvRRSf39zeWK9TGW/B3Lo=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "b77287f34ef474cd9d253fa4a9ccd8113b7d0ff0", + "rev": "022eda8085a78c0cb063f382a24885616a21ecf2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.760", + "ref": "v1.0.763", "repo": "evm-semantics", "type": "github" } @@ -517,16 +517,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1733763903, - "narHash": "sha256-wvkNjv30PWyswJA2+1XnNSydCX+jXAiaaGovz2z/5Lw=", + "lastModified": 1730229432, + "narHash": "sha256-2Y4U7TCmSf9NAZCBmvXiHLOXrHxpiRgIpw5ERYDdNSM=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b16e56c905b7dc4db70ac7c0ec00abc18831500d", + "rev": "d5eab4b0f0e610bc60843ebb482f79c043b92702", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.113", + "ref": "v0.1.103", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 8b45e5bee..9ef948fd6 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.760"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.763"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; flake-utils.follows = "kevm/flake-utils"; diff --git a/poetry.lock b/poetry.lock index 044f162cc..a0acf3318 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.760" +version = "1.0.763" description = "" optional = false python-versions = "^3.10" @@ -715,26 +715,26 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.186" +kframework = "7.1.190" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.760" -resolved_reference = "b77287f34ef474cd9d253fa4a9ccd8113b7d0ff0" +reference = "v1.0.763" +resolved_reference = "022eda8085a78c0cb063f382a24885616a21ecf2" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.186" +version = "7.1.190" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.186-py3-none-any.whl", hash = "sha256:de89b8c98c23d7b8d9f13f16729e266a160ba139a82cf3c57811c9befebc3617"}, - {file = "kframework-7.1.186.tar.gz", hash = "sha256:121320cf841c2a767bdffd9cadba49876f429e69cef886f825c792ef3721035b"}, + {file = "kframework-7.1.190-py3-none-any.whl", hash = "sha256:ec60c5e022d53eb0c22f683c160eb73720eee098f1da5280717f968db6e3ec06"}, + {file = "kframework-7.1.190.tar.gz", hash = "sha256:acfea9f59bd60a2dcc372def5e3471012009b006985a22b3c16a7e31272af465"}, ] [package.dependencies] @@ -1292,13 +1292,13 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.19.0" +version = "3.19.1" description = "A tool to automatically upgrade syntax for newer versions." optional = false python-versions = ">=3.9" files = [ - {file = "pyupgrade-3.19.0-py2.py3-none-any.whl", hash = "sha256:1364fcae4436a6a236a85960587390ec8a939ad0f65f429346f70a5f201c1489"}, - {file = "pyupgrade-3.19.0.tar.gz", hash = "sha256:7ed4b7d972ed2788c43994f4a24f949d5bf044342992f3b48e1bed0092ddaa01"}, + {file = "pyupgrade-3.19.1-py2.py3-none-any.whl", hash = "sha256:8c5b0bfacae5ff30fa136a53eb7f22c34ba007450d4099e9da8089dabb9e67c9"}, + {file = "pyupgrade-3.19.1.tar.gz", hash = "sha256:d10e8c5f54b8327211828769e98d95d95e4715de632a3414f1eef3f51357b9e2"}, ] [package.dependencies] @@ -1517,4 +1517,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "2d6790434f1fa2ef473b81a5a4c51f95f620bfed81e6fb0c8fde01d40bede031" +content-hash = "30d57aefe9fc1fe2f9e1361483e627f3cc50aac3c73951db44356f70e3740782" diff --git a/pyproject.toml b/pyproject.toml index 36f3918fa..6000de643 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -12,7 +12,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" -kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.760", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.763", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"