From bf10bbe7bd572e00b89706c4d71503a4980f931c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 17 Oct 2024 06:46:13 -0600 Subject: [PATCH] Update dependency: deps/kevm_release (#868) * deps/kevm_release: Set Version 1.0.745 * Sync Poetry files: kevm-pyk version 1.0.745 * deps/k_release: sync release file version 7.1.159 * 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 | 28 ++++++++++++++-------------- pyproject.toml | 2 +- 6 files changed, 30 insertions(+), 30 deletions(-) diff --git a/deps/k_release b/deps/k_release index 950e32997..c992e0c0e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.158 +7.1.159 diff --git a/deps/kevm_release b/deps/kevm_release index 13a81a6a4..c34b2702a 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.744 +1.0.745 diff --git a/flake.lock b/flake.lock index 194eb7e9a..593cceeee 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1728689110, - "narHash": "sha256-gWIEg5FrKRDBcQbZ/DXjg3kHtUqH0ljTl8vV4x3LABA=", + "lastModified": 1729113963, + "narHash": "sha256-nDC7Cqxkku4T/RoQCfT/5whgnvu9rrJcKfLzwcI2FL8=", "owner": "runtimeverification", "repo": "k", - "rev": "bd34ca161369a5e1731c61074ed04607c8cc5bad", + "rev": "e45430be18fbd750e09c4fbf164ea833c3b6b7da", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.158", + "ref": "v7.1.159", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1728984397, - "narHash": "sha256-r9gd1ulOj0IRTzp6k0z0Nvl4V8I4xsoje05+gco9EP8=", + "lastModified": 1729159314, + "narHash": "sha256-AGy7YZzxdhMdjnc13TVy60L+NrttrJKHpzxi7AOdL+c=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "08fca165d830b7a626bb94be186774b6e711a4f9", + "rev": "5f4dd25c416174e78af26c45331a4bd5b26d2fa7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.744", + "ref": "v1.0.745", "repo": "evm-semantics", "type": "github" } @@ -517,16 +517,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1728677554, - "narHash": "sha256-9+xXyy2Pbw04RBOTgYcNv/ilNcUMwH3E12WtNNL0Ey0=", + "lastModified": 1729095682, + "narHash": "sha256-+mUxQhIwzIfBFIfnCjlbp06uWDYVbxq78FEQAgAB40E=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "3db6947cb1c97a97bdcaf2ee990dbd18b7f251e7", + "rev": "84a419e02b1e378df4f012d8975c0e4f16f71783", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.99", + "ref": "v0.1.100", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 3aacbd8b9..a319fce82 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.744"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.745"; 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 8318b2862..89e935591 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.115.2" +version = "6.115.3" description = "A library for property-based testing" optional = false python-versions = ">=3.9" files = [ - {file = "hypothesis-6.115.2-py3-none-any.whl", hash = "sha256:d0ccbd67f588a6abcdc17a4f06fea3b2bc0a166ecd89126fb90985036c1940fe"}, - {file = "hypothesis-6.115.2.tar.gz", hash = "sha256:6df95ea6cccf950f80e142f43a684d1462e26c5e28ba29ab4eceb8399e207e0b"}, + {file = "hypothesis-6.115.3-py3-none-any.whl", hash = "sha256:d2770b0db08ad666fe6ff36027910039ab681084d13bcf9c057449c2e27099c4"}, + {file = "hypothesis-6.115.3.tar.gz", hash = "sha256:d4efc8c7371bd4ec906d2777f1f18fee5539e47b3d7c7cdc93d1026ad35d9b33"}, ] [package.dependencies] @@ -652,7 +652,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.744" +version = "1.0.745" description = "" optional = false python-versions = "^3.10" @@ -660,26 +660,26 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.158" +kframework = "7.1.159" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.744" -resolved_reference = "08fca165d830b7a626bb94be186774b6e711a4f9" +reference = "v1.0.745" +resolved_reference = "5f4dd25c416174e78af26c45331a4bd5b26d2fa7" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.158" +version = "7.1.159" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.158-py3-none-any.whl", hash = "sha256:2a3fafdfb8e39a1e6a6fe1f766069dc226cf3b51a57fbcf45a13e4e19bd5598a"}, - {file = "kframework-7.1.158.tar.gz", hash = "sha256:17d5ee9f3095b123888c64b09694ef5fc863d6c7f6c46c934473c104e1a366ea"}, + {file = "kframework-7.1.159-py3-none-any.whl", hash = "sha256:4441c9cfe5a02b20518eb976d7405f806022258e5023b4eb78b571912b0e5661"}, + {file = "kframework-7.1.159.tar.gz", hash = "sha256:8b34b00093a84b33d17123c9d58613d770936c78721bf8d56a3c329f89837968"}, ] [package.dependencies] @@ -1269,13 +1269,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "75.1.0" +version = "75.2.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-75.1.0-py3-none-any.whl", hash = "sha256:35ab7fd3bcd95e6b7fd704e4a1539513edad446c097797f2985e0e4b960772f2"}, - {file = "setuptools-75.1.0.tar.gz", hash = "sha256:d59a21b17a275fb872a9c3dae73963160ae079f1049ed956880cd7c09b120538"}, + {file = "setuptools-75.2.0-py3-none-any.whl", hash = "sha256:a7fcb66f68b4d9e8e66b42f9876150a3371558f98fa32222ffaa5bced76406f8"}, + {file = "setuptools-75.2.0.tar.gz", hash = "sha256:753bb6ebf1f465a1912e19ed1d41f403a79173a9acf66a42e7e6aec45c3c16ec"}, ] [package.extras] @@ -1431,4 +1431,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "93d9deadbb83b65e941b41b89f81abcab21ca6361d1caffb62b2c9df1ce454f9" +content-hash = "c54ad386b79a01a70c6d735e611c24d75d0d48d8e8d13bb380faa6cef893f3d2" diff --git a/pyproject.toml b/pyproject.toml index 51b445aa2..b1e2b64b1 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.744", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.745", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3"