From 0cae944ec787cd3b10ae1b6c40ddd42e44afff1e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 Jan 2025 03:01:54 -0700 Subject: [PATCH] Update dependency: deps/kevm_release (#937) * deps/kevm_release: Set Version 1.0.777 * Sync Poetry files: kevm-pyk version 1.0.777 * deps/k_release: sync release file version 7.1.205 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kevm_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 2 +- poetry.lock | 26 +++++++++++++------------- pyproject.toml | 2 +- 6 files changed, 25 insertions(+), 25 deletions(-) diff --git a/deps/k_release b/deps/k_release index 5f3b9106f..9aa8cae8e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.203 +7.1.205 diff --git a/deps/kevm_release b/deps/kevm_release index 501c92387..d66250d2e 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.776 +1.0.777 diff --git a/flake.lock b/flake.lock index 28a01a8ed..04d5199ec 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1737378419, - "narHash": "sha256-RRXXaHh4RbLRENU/Mm7m8R3nNntRHjhQF8JLIsgFrqI=", + "lastModified": 1737403363, + "narHash": "sha256-W+qMyPgbgoeFugC9vQKOoHUHdbLqvS2X7ObhcMEQxOU=", "owner": "runtimeverification", "repo": "k", - "rev": "7a23ab7ea1c409838078d4960132c2c3ce20c1b9", + "rev": "ab00be0b289ac0fe59c845ffb82c8c4a107f50ff", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.203", + "ref": "v7.1.205", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737385328, - "narHash": "sha256-+zlR5oIm/kfaMCSTaH0RuFBvAphpu7UqY8VIfFPvEG4=", + "lastModified": 1737439693, + "narHash": "sha256-BxTvAS7zlrGZxoUEjasW2NnGAO7AfaO6ubxYY9i7D9A=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "55929c768a0355d33641d6a21f6b143af4569a14", + "rev": "a91b0ec264f989390bc45f2c2a9062d435a8f10b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.776", + "ref": "v1.0.777", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 9fbd031bf..a00baab57 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.776"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.777"; 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 26c35355e..6f78798ef 100644 --- a/poetry.lock +++ b/poetry.lock @@ -683,14 +683,14 @@ zoneinfo = ["tzdata (>=2024.2)"] [[package]] name = "importlib-metadata" -version = "8.5.0" +version = "8.6.1" description = "Read metadata from Python packages" optional = false -python-versions = ">=3.8" +python-versions = ">=3.9" groups = ["main"] files = [ - {file = "importlib_metadata-8.5.0-py3-none-any.whl", hash = "sha256:45e54197d28b7a7f1559e60b95e7c567032b602131fbd588f1497f47880aa68b"}, - {file = "importlib_metadata-8.5.0.tar.gz", hash = "sha256:71522656f0abace1d072b9e5481a48f07c138e00f079c38c8f883823f9c26bd7"}, + {file = "importlib_metadata-8.6.1-py3-none-any.whl", hash = "sha256:02a89390c1e15fdfdc0d7c6b25cb3e62650d0494005c97d6f148bf5b9787525e"}, + {file = "importlib_metadata-8.6.1.tar.gz", hash = "sha256:310b41d755445d74569f993ccfc22838295d9fe005425094fad953d7f15c8580"}, ] [package.dependencies] @@ -702,7 +702,7 @@ cover = ["pytest-cov"] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] enabler = ["pytest-enabler (>=2.2)"] perf = ["ipython"] -test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-perf (>=0.9.2)"] +test = ["flufl.flake8", "importlib_resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-perf (>=0.9.2)"] type = ["pytest-mypy"] [[package]] @@ -734,7 +734,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.776" +version = "1.0.777" description = "" optional = false python-versions = "^3.10" @@ -743,27 +743,27 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.203" +kframework = "7.1.205" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.776" -resolved_reference = "55929c768a0355d33641d6a21f6b143af4569a14" +reference = "v1.0.777" +resolved_reference = "a91b0ec264f989390bc45f2c2a9062d435a8f10b" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.203" +version = "7.1.205" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.203-py3-none-any.whl", hash = "sha256:a77708ee242d7924965184c35b1ecb4e7151f99238f5d73cf6f65b75f3cd5d7c"}, - {file = "kframework-7.1.203.tar.gz", hash = "sha256:e567eb936898acd0ac61a1a1d599925ebe0ee2fdb2832c4f04dac25aefdae7f1"}, + {file = "kframework-7.1.205-py3-none-any.whl", hash = "sha256:4e09f6b86b0431dcb76efe0f364ecb4da3bf8a52e7d4c8d6422f85412c944c3a"}, + {file = "kframework-7.1.205.tar.gz", hash = "sha256:d9d6b8fa39fc0271d475bb404e6e4bab1f56d33ff1111d667c56f9b1205b7d09"}, ] [package.dependencies] @@ -1599,4 +1599,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "5d55084795d400a076cef023223edbfebdf71538c90b256a0c845c7dd9c16a1d" +content-hash = "a967e994d27b2a60b51d7107039704324ba93fa2d27188ced5c221bf065e35eb" diff --git a/pyproject.toml b/pyproject.toml index 4235e6dff..fe4ac3553 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.776", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.777", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"