From 3afb21e9e518353f0d4b47ca27d9fc6453cbe0e8 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 25 Sep 2024 03:42:23 -0600 Subject: [PATCH] Update dependency: deps/kevm_release (#832) * deps/kevm_release: Set Version 1.0.723 * Sync Poetry files: kevm-pyk version 1.0.723 * deps/k_release: sync release file version 7.1.142 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.728 * Sync Poetry files: kevm-pyk version 1.0.728 * deps/k_release: sync release file version 7.1.145 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops Co-authored-by: Palina Tolmach --- deps/kevm_release | 2 +- flake.lock | 32 ++++++++++++++++---------------- flake.nix | 2 +- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 5 files changed, 23 insertions(+), 23 deletions(-) diff --git a/deps/kevm_release b/deps/kevm_release index 6afafdddf..e2056d3d4 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.727 +1.0.728 diff --git a/flake.lock b/flake.lock index cc6b32833..f5476b5e2 100644 --- a/flake.lock +++ b/flake.lock @@ -49,17 +49,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1726502502, - "narHash": "sha256-J9IJiXHyCh42z65mEHYj/gnSLxOxbOF0riX8SLlQ3l8=", + "lastModified": 1727193689, + "narHash": "sha256-86azbaa/R/Euf9bXqLVW3Wiv5prJuE9jX0/xj4wBblg=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "f1f7edb7cb7286906fe42aa37d2106036cef849f", + "rev": "9573fe0783b471d44d2bb93919fb521ada123f40", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "f1f7edb7cb7286906fe42aa37d2106036cef849f", + "rev": "9573fe0783b471d44d2bb93919fb521ada123f40", "type": "github" } }, @@ -351,16 +351,16 @@ ] }, "locked": { - "lastModified": 1726170219, - "narHash": "sha256-pQG1D9oDG24h7I/ekTI96IGZ7ikWrip0m4o1uDFIBZc=", + "lastModified": 1726963552, + "narHash": "sha256-01rb87Oc9cDh1MinneK/c96DbdQMVwnym9uYz1gKec4=", "owner": "runtimeverification", "repo": "k", - "rev": "6e23a83e5380f9eae45a73e3956776f2e666da35", + "rev": "7e06a35da4f5f757a8373c6cbf83e86f492bc75a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.142", + "ref": "v7.1.149", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1726723597, - "narHash": "sha256-2+Q0LXkbvuwV9PxQIDqHsscY/Ksj7Y3dVXuOgRTEhHU=", + "lastModified": 1727249089, + "narHash": "sha256-QseX5OW3H25L9CIiybiLppMLS2HRpRqBhUWvFMyaDAA=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "2e0cae45e73e50c8e0a114f748dcf4d11234d107", + "rev": "64f83fdf197348841b09a48df3503a36c7b9bbde", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.727", + "ref": "v1.0.728", "repo": "evm-semantics", "type": "github" } @@ -485,16 +485,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1726098480, - "narHash": "sha256-BOCKGOKzJLlYHSOCd2QOERS/sE038domlBc1h6nvM5s=", + "lastModified": 1726776150, + "narHash": "sha256-A4OX0ZV4/AS+tztmLG52v/ayMV43WscbF6lLKOaoPrw=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "344d1335c0fb8d146b0fa2954b0194afbe11dae6", + "rev": "c023bc5eb734c1718243d66613044e895e8fcf7e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.88", + "ref": "v0.1.94", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 2751a9a4f..4249c3945 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.727"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.728"; 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 6283c34c5..687a22087 100644 --- a/poetry.lock +++ b/poetry.lock @@ -680,7 +680,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.727" +version = "1.0.728" description = "" optional = false python-versions = "^3.10" @@ -695,8 +695,8 @@ tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.727" -resolved_reference = "2e0cae45e73e50c8e0a114f748dcf4d11234d107" +reference = "v1.0.728" +resolved_reference = "64f83fdf197348841b09a48df3503a36c7b9bbde" subdirectory = "kevm-pyk" [[package]] @@ -1449,4 +1449,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "007fe7af0702634f18b3dc804b5441add4d9b2ad5a4cd558862151cc2122dc97" +content-hash = "939484880e20dccd148c1f735506b6a54b7cf0643da94880b0be6f776b6a4fc6" diff --git a/pyproject.toml b/pyproject.toml index f2913bb84..c0510dc16 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.727", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.728", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"