From f8af9ae2a3245fe5d9af2aea35230393afd9f285 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 20 Jan 2025 03:58:23 -0700 Subject: [PATCH] Update dependency: deps/kevm_release (#933) * deps/kevm_release: Set Version 1.0.773 * Sync Poetry files: kevm-pyk version 1.0.773 * deps/k_release: sync release file version 7.1.199 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.774 * Sync Poetry files: kevm-pyk version 1.0.774 * deps/k_release: sync release file version 7.1.201 * flake.{nix,lock}: update Nix derivations * deps/kevm_release: Set Version 1.0.775 * Sync Poetry files: kevm-pyk version 1.0.775 * 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 | 24 ++++++++++++------------ pyproject.toml | 2 +- 6 files changed, 28 insertions(+), 28 deletions(-) diff --git a/deps/k_release b/deps/k_release index ffe1fc1ed..cdd318aa5 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.196 +7.1.201 diff --git a/deps/kevm_release b/deps/kevm_release index bdc7906b8..720ba7488 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.772 +1.0.775 diff --git a/flake.lock b/flake.lock index d6247d736..69c93f7df 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1736271775, - "narHash": "sha256-n5iM0BAJ+x3edkZwVqubnBOebkSLvpzuWZ6rAi7dwhI=", + "lastModified": 1737125608, + "narHash": "sha256-8zYdKMZI6S1/pqZW/Fvd0KgAYP3HLy++Miqx6QYJ7sI=", "owner": "runtimeverification", "repo": "k", - "rev": "81bcc2459963fc47deb85c5fb0e21ee822d2031a", + "rev": "a461666e8dbd13ac964db7b00e5c5f24a911dee9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.196", + "ref": "v7.1.201", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737029435, - "narHash": "sha256-8/CBnb2yvk3r5q5b1/78bAFfNRnktbrpHnwcNUpLUWI=", + "lastModified": 1737143804, + "narHash": "sha256-KnC/soxwkr7AjgfkoyxO2cFi9JickmbP27p6P7dpoCI=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "6c2526b17a8ef85f4050feee3ffc787b14af5955", + "rev": "0e872026300bda0e28ca3e293e6e8e0cad288ca2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.772", + "ref": "v1.0.775", "repo": "evm-semantics", "type": "github" } @@ -517,16 +517,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1730229432, - "narHash": "sha256-2Y4U7TCmSf9NAZCBmvXiHLOXrHxpiRgIpw5ERYDdNSM=", + "lastModified": 1736524972, + "narHash": "sha256-h9tcey+vDixmOjLFtpdPU+bQJPkzyU8FsyrHWZHEWWk=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "d5eab4b0f0e610bc60843ebb482f79c043b92702", + "rev": "d910a26d2a4c45e1b72eafb35642b76fc0d1faf0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.103", + "ref": "v0.1.122", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 2200a580d..f622f05d9 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.772"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.775"; 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 fd933a34a..1f2bce777 100644 --- a/poetry.lock +++ b/poetry.lock @@ -555,14 +555,14 @@ setuptools = "*" [[package]] name = "flake8-type-checking" -version = "2.9.1" +version = "3.0.0" description = "A flake8 plugin for managing type-checking imports & forward references" optional = false -python-versions = ">=3.8" +python-versions = ">=3.9" groups = ["dev"] files = [ - {file = "flake8_type_checking-2.9.1-py3-none-any.whl", hash = "sha256:9f9be261a2b1f2bbd25e6f14acbcd92d060ec59062af5724ebaa909c8bea0d7b"}, - {file = "flake8_type_checking-2.9.1.tar.gz", hash = "sha256:1a14f300c8e32183cef95798b86a650dc38463664ea10b0bf0884115b47d4cfe"}, + {file = "flake8_type_checking-3.0.0-py3-none-any.whl", hash = "sha256:e9dfb370d246414e0a25033b1826be5b1499787370b8e2c3f9696c44530e3f65"}, + {file = "flake8_type_checking-3.0.0.tar.gz", hash = "sha256:acd5c08cc618e9b3a6257246e5cdf5c0d5b2ba2c5120e20df880823fe84de738"}, ] [package.dependencies] @@ -741,7 +741,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.772" +version = "1.0.775" description = "" optional = false python-versions = "^3.10" @@ -750,27 +750,27 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.196" +kframework = "7.1.201" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.772" -resolved_reference = "6c2526b17a8ef85f4050feee3ffc787b14af5955" +reference = "v1.0.775" +resolved_reference = "0e872026300bda0e28ca3e293e6e8e0cad288ca2" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.196" +version = "7.1.201" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.196-py3-none-any.whl", hash = "sha256:2d74edcbc303e1d9f7cf48a5ec3a4f14cdcf028b532e1e1ec68cba8f2145ed1c"}, - {file = "kframework-7.1.196.tar.gz", hash = "sha256:218c318f14c1d53eae5d906c133913eadbeae8942b4b150cd2f502230d61c174"}, + {file = "kframework-7.1.201-py3-none-any.whl", hash = "sha256:1c1f3821147376c46dbff56001093cd7810d475e28667a91ddddcc9026d1f54f"}, + {file = "kframework-7.1.201.tar.gz", hash = "sha256:1e06fabbc3df5b6f8d2d9cc04f510e9942a7809e142a5aeba858797ab2274a87"}, ] [package.dependencies] @@ -1606,4 +1606,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "2a8aebe82c1015d5790b889025af2f0cb7f3bfe6602b8fca3b949d1849e0ba3f" +content-hash = "4205b6223ae119f2e3ed628a54d8cd10209483a8795d89992409065616c0f5fd" diff --git a/pyproject.toml b/pyproject.toml index 8c76689e1..eab8ffcf7 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.772", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.775", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"