From 91250bb33d7863aea0fb7c8654b86cf5dc28ae68 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Jan 2025 17:56:39 +0000 Subject: [PATCH 01/10] deps/kevm_release: Set Version 1.0.781 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index efbcd8ea6..4f4eaec20 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.780 +1.0.781 From e430f08404f46fe4db2356376d818fd9a041b7fe Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Jan 2025 17:59:39 +0000 Subject: [PATCH 02/10] Sync Poetry files: kevm-pyk version 1.0.781 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 2e5533fef..aaa7cfb01 100644 --- a/poetry.lock +++ b/poetry.lock @@ -734,7 +734,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.780" +version = "1.0.781" 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.780" -resolved_reference = "8868e817eba64fa6615a73f14e33b5845193c94a" +reference = "v1.0.781" +resolved_reference = "4c7262e74e9496871841d59f65bd697e65032bfa" subdirectory = "kevm-pyk" [[package]] @@ -1599,4 +1599,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "f9da75ffbfc5e3c99ca0d51f7b7d05a936394f9483071c1ea6071bf74595913d" +content-hash = "b91263147f5ba4c40b4dea758112f15de4b70e363996fa08ccb50b4206c6e793" diff --git a/pyproject.toml b/pyproject.toml index bc1e3d3aa..c3e32d742 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.780", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.781", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3" From 66cbbc7b0fc957ced6cfc6098a9714551a0dcbbc Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Jan 2025 17:59:52 +0000 Subject: [PATCH 03/10] 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 531e74096..f07ddc101 100644 --- a/flake.lock +++ b/flake.lock @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737638869, - "narHash": "sha256-FMy3opWscIAYlq3KnoLiB4mLnLAPnhHwKphHkSDF7jk=", + "lastModified": 1737653121, + "narHash": "sha256-sjmRVqoQrQ6Un0Ede9Rcy3BiQWM5+HDLpTgGku9x2ik=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "8868e817eba64fa6615a73f14e33b5845193c94a", + "rev": "4c7262e74e9496871841d59f65bd697e65032bfa", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.780", + "ref": "v1.0.781", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index e809697d7..8990af9d6 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.780"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.781"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; flake-utils.follows = "kevm/flake-utils"; From 2d829cd2cdc59c10c21a0d6f3b696580b9cb0136 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Jan 2025 19:32:52 +0000 Subject: [PATCH 04/10] deps/kevm_release: Set Version 1.0.782 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index 4f4eaec20..8d069d9ad 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.781 +1.0.782 From 2e766eb9360bb9c5fa6cf61b8fa2252c58e05db7 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Jan 2025 19:36:08 +0000 Subject: [PATCH 05/10] Sync Poetry files: kevm-pyk version 1.0.782 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index aaa7cfb01..0e040797a 100644 --- a/poetry.lock +++ b/poetry.lock @@ -734,7 +734,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.781" +version = "1.0.782" 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.781" -resolved_reference = "4c7262e74e9496871841d59f65bd697e65032bfa" +reference = "v1.0.782" +resolved_reference = "d55a8918168188bb56cc9327e81b45972f58cb71" subdirectory = "kevm-pyk" [[package]] @@ -1599,4 +1599,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "b91263147f5ba4c40b4dea758112f15de4b70e363996fa08ccb50b4206c6e793" +content-hash = "8d08046c5ce682c277847dfd4a7afb6d204dc11860322177423d8294c8835901" diff --git a/pyproject.toml b/pyproject.toml index c3e32d742..0aeb0dc83 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.781", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.782", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3" From 77ea6d2e01299e38632b987716b6c56b2ff47593 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Jan 2025 19:36:20 +0000 Subject: [PATCH 06/10] 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 f07ddc101..28daa9005 100644 --- a/flake.lock +++ b/flake.lock @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737653121, - "narHash": "sha256-sjmRVqoQrQ6Un0Ede9Rcy3BiQWM5+HDLpTgGku9x2ik=", + "lastModified": 1737658919, + "narHash": "sha256-+3Ao3bInmTOgqwXAF1doNly29aw9xjyJEg2GTbQtiMM=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "4c7262e74e9496871841d59f65bd697e65032bfa", + "rev": "d55a8918168188bb56cc9327e81b45972f58cb71", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.781", + "ref": "v1.0.782", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 8990af9d6..06dd103ba 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.781"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.782"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; flake-utils.follows = "kevm/flake-utils"; From b6c95dcca7ce46ac0a5a3e4a6215d33305887cd8 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 Jan 2025 07:49:46 +0000 Subject: [PATCH 07/10] deps/kevm_release: Set Version 1.0.783 --- deps/kevm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kevm_release b/deps/kevm_release index 8d069d9ad..4f91bbee6 100644 --- a/deps/kevm_release +++ b/deps/kevm_release @@ -1 +1 @@ -1.0.782 +1.0.783 From 7cc90f828e8f834747e93861f312b16a05063297 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 Jan 2025 07:52:48 +0000 Subject: [PATCH 08/10] Sync Poetry files: kevm-pyk version 1.0.783 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 0e040797a..0e28d70ad 100644 --- a/poetry.lock +++ b/poetry.lock @@ -734,7 +734,7 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kevm-pyk" -version = "1.0.782" +version = "1.0.783" description = "" optional = false python-versions = "^3.10" @@ -743,27 +743,27 @@ files = [] develop = false [package.dependencies] -kframework = "7.1.205" +kframework = "7.1.207" pathos = "*" tomlkit = "^0.11.6" [package.source] type = "git" url = "https://github.com/runtimeverification/evm-semantics.git" -reference = "v1.0.782" -resolved_reference = "d55a8918168188bb56cc9327e81b45972f58cb71" +reference = "v1.0.783" +resolved_reference = "439ff0f33a7e8e1a70a387d56f75291912a5d973" subdirectory = "kevm-pyk" [[package]] name = "kframework" -version = "7.1.205" +version = "7.1.207" description = "" optional = false python-versions = "<4.0,>=3.10" groups = ["main"] files = [ - {file = "kframework-7.1.205-py3-none-any.whl", hash = "sha256:4e09f6b86b0431dcb76efe0f364ecb4da3bf8a52e7d4c8d6422f85412c944c3a"}, - {file = "kframework-7.1.205.tar.gz", hash = "sha256:d9d6b8fa39fc0271d475bb404e6e4bab1f56d33ff1111d667c56f9b1205b7d09"}, + {file = "kframework-7.1.207-py3-none-any.whl", hash = "sha256:aef7de704bcd404899def82460cb14beccd57a95d29b106e7cf379c7daaa3aca"}, + {file = "kframework-7.1.207.tar.gz", hash = "sha256:1acb6aa7b9bac5e170420015d6e5246f924e480287e68e4fa9fc20eb9874b228"}, ] [package.dependencies] @@ -1599,4 +1599,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.1" python-versions = "^3.10" -content-hash = "8d08046c5ce682c277847dfd4a7afb6d204dc11860322177423d8294c8835901" +content-hash = "3c74d397c72333756fb2c617bd3fb46a948d88aba912b0eaeff48acd02873bf8" diff --git a/pyproject.toml b/pyproject.toml index 0aeb0dc83..710f31406 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.782", subdirectory = "kevm-pyk" } +kevm-pyk = { git = "https://github.com/runtimeverification/evm-semantics.git", tag = "v1.0.783", subdirectory = "kevm-pyk" } eth-utils = "^4.1.1" pycryptodome = "^3.20.0" pyevmasm = "^0.2.3" From b9eb1ae606b1583c3d3307b72d74b3f09fcdba89 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 Jan 2025 07:52:48 +0000 Subject: [PATCH 09/10] deps/k_release: sync release file version 7.1.207 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9aa8cae8e..5f759ce58 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.205 +7.1.207 From 2b1e8cd7f7e4c5692bb2d28e4c8e42d0c49525bb Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 Jan 2025 07:53:00 +0000 Subject: [PATCH 10/10] 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 28daa9005..4501bf4f4 100644 --- a/flake.lock +++ b/flake.lock @@ -390,16 +390,16 @@ ] }, "locked": { - "lastModified": 1737403363, - "narHash": "sha256-W+qMyPgbgoeFugC9vQKOoHUHdbLqvS2X7ObhcMEQxOU=", + "lastModified": 1737656969, + "narHash": "sha256-rgt44+Zt9NLeYtBfbxSCKmuS+/YrCPKOoq1s5ggv7wQ=", "owner": "runtimeverification", "repo": "k", - "rev": "ab00be0b289ac0fe59c845ffb82c8c4a107f50ff", + "rev": "53ae31ec1518a054776e8ba7b31a4c369f8af023", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.205", + "ref": "v7.1.207", "repo": "k", "type": "github" } @@ -435,16 +435,16 @@ ] }, "locked": { - "lastModified": 1737658919, - "narHash": "sha256-+3Ao3bInmTOgqwXAF1doNly29aw9xjyJEg2GTbQtiMM=", + "lastModified": 1737702704, + "narHash": "sha256-2yw41KmDf0DvdBOaPfWcEKh0nrTghMdKUBbQ6w5Lplw=", "owner": "runtimeverification", "repo": "evm-semantics", - "rev": "d55a8918168188bb56cc9327e81b45972f58cb71", + "rev": "439ff0f33a7e8e1a70a387d56f75291912a5d973", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v1.0.782", + "ref": "v1.0.783", "repo": "evm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 06dd103ba..29271fc5f 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "Kontrol"; inputs = { - kevm.url = "github:runtimeverification/evm-semantics/v1.0.782"; + kevm.url = "github:runtimeverification/evm-semantics/v1.0.783"; nixpkgs.follows = "kevm/nixpkgs"; k-framework.follows = "kevm/k-framework"; flake-utils.follows = "kevm/flake-utils";