From e35b4a5934a0af42a7f334c45718998e4693321e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 22 Jan 2025 03:26:26 -0700 Subject: [PATCH] Update dependency: deps/kevm_release (#938) * deps/kevm_release: Set Version 1.0.779 * Sync Poetry files: kevm-pyk version 1.0.779 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/kevm_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- poetry.lock | 26 +++++++++++++------------- pyproject.toml | 2 +- 5 files changed, 20 insertions(+), 20 deletions(-) diff --git a/deps/kevm_release b/deps/kevm_release index d66250d2e..3a8abe45d 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.777 +1.0.779 diff --git a/flake.lock b/flake.lock index 04d5199ec..bf742f54e 100644 --- a/flake.lock +++ b/flake.lock @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737439693, - "narHash": "sha256-BxTvAS7zlrGZxoUEjasW2NnGAO7AfaO6ubxYY9i7D9A=", + "lastModified": 1737531698, + "narHash": "sha256-l3p1qZtmCYGUsuL9aXVSBk5B2BKBk7lafK+ONjedAZ8=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "a91b0ec264f989390bc45f2c2a9062d435a8f10b", + "rev": "69256070065dad12ce46dedfbf1d45b3084d335d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.777", + "ref": "v1.0.779", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index a00baab57..a17fea0c4 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.777"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.779"; 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 6f78798ef..c452c5761 100644 --- a/poetry.lock +++ b/poetry.lock @@ -465,19 +465,19 @@ testing = ["hatch", "pre-commit", "pytest", "tox"] [[package]] name = "filelock" -version = "3.16.1" +version = "3.17.0" description = "A platform independent file lock." optional = false -python-versions = ">=3.8" +python-versions = ">=3.9" groups = ["main"] files = [ - {file = "filelock-3.16.1-py3-none-any.whl", hash = "sha256:2082e5703d51fbf98ea75855d9d5527e33d8ff23099bec374a134febee6946b0"}, - {file = "filelock-3.16.1.tar.gz", hash = "sha256:c249fbfcd5db47e5e2d6d62198e565475ee65e4831e2561c8e313fa7eb961435"}, + {file = "filelock-3.17.0-py3-none-any.whl", hash = "sha256:533dc2f7ba78dc2f0f531fc6c4940addf7b70a481e269a5a3b93be94ffbe8338"}, + {file = "filelock-3.17.0.tar.gz", hash = "sha256:ee4e77401ef576ebb38cd7f13b9b28893194acc20a8e68e18730ba9c0e54660e"}, ] [package.extras] -docs = ["furo (>=2024.8.6)", "sphinx (>=8.0.2)", "sphinx-autodoc-typehints (>=2.4.1)"] -testing = ["covdefaults (>=2.3)", "coverage (>=7.6.1)", "diff-cover (>=9.2)", "pytest (>=8.3.3)", "pytest-asyncio (>=0.24)", "pytest-cov (>=5)", "pytest-mock (>=3.14)", "pytest-timeout (>=2.3.1)", "virtualenv (>=20.26.4)"] +docs = ["furo (>=2024.8.6)", "sphinx (>=8.1.3)", "sphinx-autodoc-typehints (>=3)"] +testing = ["covdefaults (>=2.3)", "coverage (>=7.6.10)", "diff-cover (>=9.2.1)", "pytest (>=8.3.4)", "pytest-asyncio (>=0.25.2)", "pytest-cov (>=6)", "pytest-mock (>=3.14)", "pytest-timeout (>=2.3.1)", "virtualenv (>=20.28.1)"] typing = ["typing-extensions (>=4.12.2)"] [[package]] @@ -649,14 +649,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.124.1" +version = "6.124.2" description = "A library for property-based testing" optional = false python-versions = ">=3.9" groups = ["main"] files = [ - {file = "hypothesis-6.124.1-py3-none-any.whl", hash = "sha256:40c8be982d3a79b26d5ae11b6606189784f1654f3c750ffcb99fc5b352d5e2ba"}, - {file = "hypothesis-6.124.1.tar.gz", hash = "sha256:6e21995c3cb3198ef7e60853acce1fbaa6c16de59c2fb3158845664dfe639bd9"}, + {file = "hypothesis-6.124.2-py3-none-any.whl", hash = "sha256:fef7709a404929a9cd3e785f60a6e026089aab986e288b1fdced13091574d474"}, + {file = "hypothesis-6.124.2.tar.gz", hash = "sha256:c98823fc1323f23399e5f2251982fd1f38259f84cf627aaaea1b3f0a0d4d2b03"}, ] [package.dependencies] @@ -734,7 +734,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.777" +version = "1.0.779" description = "" optional = false python-versions = "^3.10" @@ -750,8 +750,8 @@ tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.777" -resolved_reference = "a91b0ec264f989390bc45f2c2a9062d435a8f10b" +reference = "v1.0.779" +resolved_reference = "69256070065dad12ce46dedfbf1d45b3084d335d" subdirectory = "kevm-pyk" [[package]] @@ -1599,4 +1599,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "a967e994d27b2a60b51d7107039704324ba93fa2d27188ced5c221bf065e35eb" +content-hash = "ff49535579af0b71ea04f78292bc68341370ce55d5fcdd2e1f501ff7f6067739" diff --git a/pyproject.toml b/pyproject.toml index fe4ac3553..c877e0b4c 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.777", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.779", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"