From a1c1da6d92d502197b924656b7a0621af6a7c808 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 16 Jan 2025 11:28:18 -0700 Subject: [PATCH 1/5] Update dependency: deps/kevm_release (#930) * deps/kevm_release: Set Version 1.0.772 * Sync Poetry files: kevm-pyk version 1.0.772 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/kevm_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- poetry.lock | 14 +++++++------- pyproject.toml | 2 +- 5 files changed, 14 insertions(+), 14 deletions(-) diff --git a/deps/kevm_release b/deps/kevm_release index 18560a59c..bdc7906b8 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.771 +1.0.772 diff --git a/flake.lock b/flake.lock index af7ac3360..d6247d736 100644 --- a/flake.lock +++ b/flake.lock @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1736872070, - "narHash": "sha256-uRJAWv/JlUAQnE+XYevE9tI24RlET8tS6Y3uRVAV4gg=", + "lastModified": 1737029435, + "narHash": "sha256-8/CBnb2yvk3r5q5b1/78bAFfNRnktbrpHnwcNUpLUWI=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "be0d5178b925393e4c7547e5642bf0a0a802a833", + "rev": "6c2526b17a8ef85f4050feee3ffc787b14af5955", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.771", + "ref": "v1.0.772", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 14461bbab..2200a580d 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.771"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.772"; 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 961ac696c..fd933a34a 100644 --- a/poetry.lock +++ b/poetry.lock @@ -656,14 +656,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.123.17" +version = "6.124.0" description = "A library for property-based testing" optional = false python-versions = ">=3.9" groups = ["main"] files = [ - {file = "hypothesis-6.123.17-py3-none-any.whl", hash = "sha256:5c949fb44935e32c61c64abfcc3975eec41f8205ade2223073ba074c1e078ead"}, - {file = "hypothesis-6.123.17.tar.gz", hash = "sha256:5850893975b4f08e893ddc10f1d468bc7e011d59703f70fe06a10161e426e602"}, + {file = "hypothesis-6.124.0-py3-none-any.whl", hash = "sha256:8d642bee278f933c2b3c41db69cbb001f89a7eed03c6a9cc37f6c59396b30815"}, + {file = "hypothesis-6.124.0.tar.gz", hash = "sha256:397a740af269646d87915c59d4299f58ef68ba89c213653d899aa533df76a03a"}, ] [package.dependencies] @@ -741,7 +741,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.771" +version = "1.0.772" description = "" optional = false python-versions = "^3.10" @@ -757,8 +757,8 @@ tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.771" -resolved_reference = "be0d5178b925393e4c7547e5642bf0a0a802a833" +reference = "v1.0.772" +resolved_reference = "6c2526b17a8ef85f4050feee3ffc787b14af5955" subdirectory = "kevm-pyk" [[package]] @@ -1606,4 +1606,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "aee80909581f817ab6c3e175fc5184ef57eea0411db6058e7041478371e36573" +content-hash = "2a8aebe82c1015d5790b889025af2f0cb7f3bfe6602b8fca3b949d1849e0ba3f" diff --git a/pyproject.toml b/pyproject.toml index 9f64b539d..8c76689e1 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.771", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.772", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3" From f8af9ae2a3245fe5d9af2aea35230393afd9f285 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 20 Jan 2025 03:58:23 -0700 Subject: [PATCH 2/5] 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" From bd3aaac8ad9ca66143e47a8f6b1510f60d88b716 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 20 Jan 2025 22:41:29 -0700 Subject: [PATCH 3/5] Update dependency: deps/kevm_release (#936) * deps/kevm_release: Set Version 1.0.776 * Sync Poetry files: kevm-pyk version 1.0.776 * deps/k_release: sync release file version 7.1.203 * 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 | 43 ++++++++++++++++++------------------------- pyproject.toml | 2 +- 6 files changed, 30 insertions(+), 37 deletions(-) diff --git a/deps/k_release b/deps/k_release index cdd318aa5..5f3b9106f 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.201 +7.1.203 diff --git a/deps/kevm_release b/deps/kevm_release index 720ba7488..501c92387 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.775 +1.0.776 diff --git a/flake.lock b/flake.lock index 69c93f7df..28a01a8ed 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1737125608, - "narHash": "sha256-8zYdKMZI6S1/pqZW/Fvd0KgAYP3HLy++Miqx6QYJ7sI=", + "lastModified": 1737378419, + "narHash": "sha256-RRXXaHh4RbLRENU/Mm7m8R3nNntRHjhQF8JLIsgFrqI=", "owner": "runtimeverification", "repo": "k", - "rev": "a461666e8dbd13ac964db7b00e5c5f24a911dee9", + "rev": "7a23ab7ea1c409838078d4960132c2c3ce20c1b9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.201", + "ref": "v7.1.203", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737143804, - "narHash": "sha256-KnC/soxwkr7AjgfkoyxO2cFi9JickmbP27p6P7dpoCI=", + "lastModified": 1737385328, + "narHash": "sha256-+zlR5oIm/kfaMCSTaH0RuFBvAphpu7UqY8VIfFPvEG4=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "0e872026300bda0e28ca3e293e6e8e0cad288ca2", + "rev": "55929c768a0355d33641d6a21f6b143af4569a14", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.775", + "ref": "v1.0.776", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index f622f05d9..9fbd031bf 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.775"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.776"; 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 1f2bce777..26c35355e 100644 --- a/poetry.lock +++ b/poetry.lock @@ -112,28 +112,21 @@ colorama = {version = "*", markers = "platform_system == \"Windows\""} [[package]] name = "cmd2" -version = "2.5.8" +version = "2.5.9" description = "cmd2 - quickly build feature-rich and user-friendly interactive command line applications in Python" optional = false python-versions = ">=3.8" groups = ["main"] files = [ - {file = "cmd2-2.5.8-py3-none-any.whl", hash = "sha256:aeb6eb6cd6d783bb7d92d37aa920bcfa7379690ba9ab1188576562f73a13471c"}, - {file = "cmd2-2.5.8.tar.gz", hash = "sha256:ddf29beaa7c9d4e9806eefad528a59c372ca97b4c0d83e019fef0e37c44f4497"}, + {file = "cmd2-2.5.9-py3-none-any.whl", hash = "sha256:b2621661fe48a5a94343bd0f3285c18ca51ed9edda61406b6898895be0eb99ad"}, + {file = "cmd2-2.5.9.tar.gz", hash = "sha256:09bb13637832bc818aad5577ccdf5dbeb0c9fbe5b9412ff78d5084f7846f83ab"}, ] [package.dependencies] -gnureadline = {version = "*", markers = "platform_system == \"Darwin\""} -pyperclip = "*" -pyreadline3 = {version = "*", markers = "platform_system == \"Windows\""} -wcwidth = "*" - -[package.extras] -build = ["build", "setuptools", "setuptools-scm"] -dev = ["codecov", "doc8", "invoke", "mypy", "pytest", "pytest-cov", "pytest-mock", "ruff", "sphinx", "sphinx-autobuild", "sphinx-rtd-theme", "twine"] -docs = ["setuptools", "setuptools_scm", "sphinx", "sphinx-autobuild", "sphinx-rtd-theme"] -test = ["codecov", "coverage", "pytest", "pytest-cov", "pytest-mock"] -validate = ["mypy", "ruff", "types-setuptools"] +gnureadline = {version = ">=8", markers = "platform_system == \"Darwin\""} +pyperclip = ">=1.8" +pyreadline3 = {version = ">=3.4", markers = "platform_system == \"Windows\""} +wcwidth = ">=0.2.10" [[package]] name = "colorama" @@ -656,14 +649,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.124.0" +version = "6.124.1" description = "A library for property-based testing" optional = false python-versions = ">=3.9" groups = ["main"] files = [ - {file = "hypothesis-6.124.0-py3-none-any.whl", hash = "sha256:8d642bee278f933c2b3c41db69cbb001f89a7eed03c6a9cc37f6c59396b30815"}, - {file = "hypothesis-6.124.0.tar.gz", hash = "sha256:397a740af269646d87915c59d4299f58ef68ba89c213653d899aa533df76a03a"}, + {file = "hypothesis-6.124.1-py3-none-any.whl", hash = "sha256:40c8be982d3a79b26d5ae11b6606189784f1654f3c750ffcb99fc5b352d5e2ba"}, + {file = "hypothesis-6.124.1.tar.gz", hash = "sha256:6e21995c3cb3198ef7e60853acce1fbaa6c16de59c2fb3158845664dfe639bd9"}, ] [package.dependencies] @@ -741,7 +734,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.775" +version = "1.0.776" description = "" optional = false python-versions = "^3.10" @@ -750,27 +743,27 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.201" +kframework = "7.1.203" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.775" -resolved_reference = "0e872026300bda0e28ca3e293e6e8e0cad288ca2" +reference = "v1.0.776" +resolved_reference = "55929c768a0355d33641d6a21f6b143af4569a14" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.201" +version = "7.1.203" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.201-py3-none-any.whl", hash = "sha256:1c1f3821147376c46dbff56001093cd7810d475e28667a91ddddcc9026d1f54f"}, - {file = "kframework-7.1.201.tar.gz", hash = "sha256:1e06fabbc3df5b6f8d2d9cc04f510e9942a7809e142a5aeba858797ab2274a87"}, + {file = "kframework-7.1.203-py3-none-any.whl", hash = "sha256:a77708ee242d7924965184c35b1ecb4e7151f99238f5d73cf6f65b75f3cd5d7c"}, + {file = "kframework-7.1.203.tar.gz", hash = "sha256:e567eb936898acd0ac61a1a1d599925ebe0ee2fdb2832c4f04dac25aefdae7f1"}, ] [package.dependencies] @@ -1606,4 +1599,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "4205b6223ae119f2e3ed628a54d8cd10209483a8795d89992409065616c0f5fd" +content-hash = "5d55084795d400a076cef023223edbfebdf71538c90b256a0c845c7dd9c16a1d" diff --git a/pyproject.toml b/pyproject.toml index eab8ffcf7..4235e6dff 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.775", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.776", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3" From 0cae944ec787cd3b10ae1b6c40ddd42e44afff1e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 Jan 2025 03:01:54 -0700 Subject: [PATCH 4/5] 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" From e35b4a5934a0af42a7f334c45718998e4693321e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 22 Jan 2025 03:26:26 -0700 Subject: [PATCH 5/5] 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"