From 68ebaca4501d926c1301df207bbd65596ff91178 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 08:23:26 +0000 Subject: [PATCH 01/11] deps/kevm_release: Set Version 1.0.773 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index bdc7906b8..07e220277 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.772 +1.0.773 From bd66872ccf778c5fd2b2d06bdf3b15548885514a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 08:26:13 +0000 Subject: [PATCH 02/11] Sync Poetry files: kevm-pyk version 1.0.773 --- poetry.lock | 24 ++++++++++++------------ pyproject.toml | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/poetry.lock b/poetry.lock index fd933a34a..114cfa0e0 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.773" description = "" optional = false python-versions = "^3.10" @@ -750,27 +750,27 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.196" +kframework = "7.1.199" 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.773" +resolved_reference = "cdbb178669b048da32fc48b8698944d19539a39e" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.196" +version = "7.1.199" 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.199-py3-none-any.whl", hash = "sha256:c8e64d3f2b13c9e9353eef8cc41c3945261e7d5398de2324ba2c95504ecbff55"}, + {file = "kframework-7.1.199.tar.gz", hash = "sha256:d7ab05b154269bf3141a0d90dda7534668a1678721f945333e29a05c6679b1c6"}, ] [package.dependencies] @@ -1606,4 +1606,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "2a8aebe82c1015d5790b889025af2f0cb7f3bfe6602b8fca3b949d1849e0ba3f" +content-hash = "a0d395b68f08e81b673b38c8399fee0cc45794da1026a95101bc69f2d6713a65" diff --git a/pyproject.toml b/pyproject.toml index 8c76689e1..b734f6772 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.773", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3" From 904dff6933faf60d7c61f7ec88db2abf10260191 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 08:26:13 +0000 Subject: [PATCH 03/11] deps/k_release: sync release file version 7.1.199 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ffe1fc1ed..52c13a908 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.196 +7.1.199 From c126ac6e335d1edabb7ae99660d1aa31074ed522 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 08:26:23 +0000 Subject: [PATCH 04/11] flake.{nix,lock}: update Nix derivations --- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/flake.lock b/flake.lock index d6247d736..6d2391fc5 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1736271775, - "narHash": "sha256-n5iM0BAJ+x3edkZwVqubnBOebkSLvpzuWZ6rAi7dwhI=", + "lastModified": 1737057776, + "narHash": "sha256-AcmnwsJKm49zl426tmOlcWoH1ekV/+7DwxbqJ7OyNhA=", "owner": "runtimeverification", "repo": "k", - "rev": "81bcc2459963fc47deb85c5fb0e21ee822d2031a", + "rev": "1cd1fcfd08f0533683655140cdd809f28136414e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.196", + "ref": "v7.1.199", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737029435, - "narHash": "sha256-8/CBnb2yvk3r5q5b1/78bAFfNRnktbrpHnwcNUpLUWI=", + "lastModified": 1737099999, + "narHash": "sha256-w7G8facZ66UpQhApFTnS5OdsvkoaPsi4CrVaJxIW3RA=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "6c2526b17a8ef85f4050feee3ffc787b14af5955", + "rev": "cdbb178669b048da32fc48b8698944d19539a39e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.772", + "ref": "v1.0.773", "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..bf9384585 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.773"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; flake-utils.follows = "kevm/flake-utils"; From fb6b5387958108cd26312755ae8bd81c5ae4e7c9 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 17:42:50 +0000 Subject: [PATCH 05/11] deps/kevm_release: Set Version 1.0.774 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index 07e220277..d98bedc56 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.773 +1.0.774 From 542a23e088e456bdfbf0ad5b7928f37068379601 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 17:45:40 +0000 Subject: [PATCH 06/11] Sync Poetry files: kevm-pyk version 1.0.774 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 114cfa0e0..8fb0e1203 100644 --- a/poetry.lock +++ b/poetry.lock @@ -741,7 +741,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.773" +version = "1.0.774" description = "" optional = false python-versions = "^3.10" @@ -750,27 +750,27 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.199" +kframework = "7.1.201" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.773" -resolved_reference = "cdbb178669b048da32fc48b8698944d19539a39e" +reference = "v1.0.774" +resolved_reference = "68aca257391be268e9df745547d75cb187dd6a66" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.199" +version = "7.1.201" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.199-py3-none-any.whl", hash = "sha256:c8e64d3f2b13c9e9353eef8cc41c3945261e7d5398de2324ba2c95504ecbff55"}, - {file = "kframework-7.1.199.tar.gz", hash = "sha256:d7ab05b154269bf3141a0d90dda7534668a1678721f945333e29a05c6679b1c6"}, + {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 = "a0d395b68f08e81b673b38c8399fee0cc45794da1026a95101bc69f2d6713a65" +content-hash = "855dc9fb196fa0c606db2e8fbd74bf3a6c37b6565d317f6af7af082200c6f077" diff --git a/pyproject.toml b/pyproject.toml index b734f6772..23a00a73d 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.773", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.774", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3" From 4743d0c383fdab9415261797838e3e5823db6091 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 17:45:41 +0000 Subject: [PATCH 07/11] deps/k_release: sync release file version 7.1.201 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 52c13a908..cdd318aa5 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.199 +7.1.201 From 62e85740587fd7c7d59b3d79728d70a4ee0be1c8 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 17:45:52 +0000 Subject: [PATCH 08/11] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/flake.lock b/flake.lock index 6d2391fc5..0caf50fa9 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1737057776, - "narHash": "sha256-AcmnwsJKm49zl426tmOlcWoH1ekV/+7DwxbqJ7OyNhA=", + "lastModified": 1737125608, + "narHash": "sha256-8zYdKMZI6S1/pqZW/Fvd0KgAYP3HLy++Miqx6QYJ7sI=", "owner": "runtimeverification", "repo": "k", - "rev": "1cd1fcfd08f0533683655140cdd809f28136414e", + "rev": "a461666e8dbd13ac964db7b00e5c5f24a911dee9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.199", + "ref": "v7.1.201", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737099999, - "narHash": "sha256-w7G8facZ66UpQhApFTnS5OdsvkoaPsi4CrVaJxIW3RA=", + "lastModified": 1737133323, + "narHash": "sha256-8UZokf+ph+h0PqmR6uXSS1PCIo0Wv9bm9xFqFP1mB9Y=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "cdbb178669b048da32fc48b8698944d19539a39e", + "rev": "68aca257391be268e9df745547d75cb187dd6a66", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.773", + "ref": "v1.0.774", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index bf9384585..0a0d8a4e8 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.773"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.774"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; flake-utils.follows = "kevm/flake-utils"; From 00a9c05ca83c1f352f2eb92504731fbb09588c37 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 20:27:42 +0000 Subject: [PATCH 09/11] deps/kevm_release: Set Version 1.0.775 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index d98bedc56..720ba7488 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.774 +1.0.775 From 7b96acfe27aa3c29033596ffa1f008ccb29ff266 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 20:30:46 +0000 Subject: [PATCH 10/11] Sync Poetry files: kevm-pyk version 1.0.775 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 8fb0e1203..1f2bce777 100644 --- a/poetry.lock +++ b/poetry.lock @@ -741,7 +741,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.774" +version = "1.0.775" 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.774" -resolved_reference = "68aca257391be268e9df745547d75cb187dd6a66" +reference = "v1.0.775" +resolved_reference = "0e872026300bda0e28ca3e293e6e8e0cad288ca2" subdirectory = "kevm-pyk" [[package]] @@ -1606,4 +1606,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "855dc9fb196fa0c606db2e8fbd74bf3a6c37b6565d317f6af7af082200c6f077" +content-hash = "4205b6223ae119f2e3ed628a54d8cd10209483a8795d89992409065616c0f5fd" diff --git a/pyproject.toml b/pyproject.toml index 23a00a73d..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.774", 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 965f4c77ef454c6a01bc9d1438b041d2dd91181b Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 17 Jan 2025 20:30:58 +0000 Subject: [PATCH 11/11] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 0caf50fa9..69c93f7df 100644 --- a/flake.lock +++ b/flake.lock @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737133323, - "narHash": "sha256-8UZokf+ph+h0PqmR6uXSS1PCIo0Wv9bm9xFqFP1mB9Y=", + "lastModified": 1737143804, + "narHash": "sha256-KnC/soxwkr7AjgfkoyxO2cFi9JickmbP27p6P7dpoCI=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "68aca257391be268e9df745547d75cb187dd6a66", + "rev": "0e872026300bda0e28ca3e293e6e8e0cad288ca2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.774", + "ref": "v1.0.775", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 0a0d8a4e8..f622f05d9 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.774"; + 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";