From 99a301dc5bfbf7906eeb53a5efcbc4ceaad44c25 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 12:11:24 +0000 Subject: [PATCH 01/68] deps/pyk_release: Set Version v0.1.449 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index b2762b40d3..a96c9fa851 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.448 +v0.1.449 From b4c3ffdea99686f27540c0fc1a47d3c977921211 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 12:11:41 +0000 Subject: [PATCH 02/68] Set Version: 1.0.307 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 68676aad36..4b3ca6d9b3 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.306" +version = "1.0.307" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index a104d67ab7..6ce1af993b 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.306' +VERSION: Final = '1.0.307' diff --git a/package/version b/package/version index 8e9bc515ce..f988f2e8db 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.306 +1.0.307 From 65dc60968f9c2289c5b425aaa17e8b081396415c Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 12:14:47 +0000 Subject: [PATCH 03/68] kevm-pyk/: sync poetry files pyk version v0.1.449 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index a7c94d8cec..85288fc86a 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.448" +version = "0.1.449" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.448" -resolved_reference = "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b" +reference = "v0.1.449" +resolved_reference = "5fbb725384a415f4781a73530e47714bc51e6960" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0989e521a276d5702a2cb5da02927f97d6ca77864edcf175f0ffc9cdaffffcaa" +content-hash = "0e0da620e23b71e6c10f02d0ec297d848a6df78c199a84445f338ad324f98417" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 4b3ca6d9b3..155944b495 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.448" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.449" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From e0555f0fd9283e5a7ace1721594c759b48a4d8e7 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 12:14:48 +0000 Subject: [PATCH 04/68] deps/k_release: sync release file version 6.0.118 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 452ca39512..2704c680a6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.87 +6.0.118 From 643a4a8dfc9f45304938862228c5b76df802b444 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 12:17:45 +0000 Subject: [PATCH 05/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 52 ++++++++++++++++++++++++++-------------------------- flake.nix | 4 ++-- 2 files changed, 28 insertions(+), 28 deletions(-) diff --git a/flake.lock b/flake.lock index 92726bfef0..c90783147d 100644 --- a/flake.lock +++ b/flake.lock @@ -98,17 +98,17 @@ ] }, "locked": { - "lastModified": 1693573175, - "narHash": "sha256-G6lV2a+oO3SJfvO+kKzcXeFQNXbhvF1T5SiZ9g3XME8=", + "lastModified": 1695212979, + "narHash": "sha256-TcTN+qV+QPVnJFjtVkCHBeyd6bxLOIsi2AWTmVb8U8Y=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "c2b639109b5c84c3f2c8abf9a826e50ab9525314", + "rev": "b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "c2b639109b5c84c3f2c8abf9a826e50ab9525314", + "rev": "b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe", "type": "github" } }, @@ -448,11 +448,11 @@ "systems": "systems" }, "locked": { - "lastModified": 1692799911, - "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=", + "lastModified": 1694529238, + "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", "owner": "numtide", "repo": "flake-utils", - "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44", + "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", "type": "github" }, "original": { @@ -627,17 +627,17 @@ "z3-src": "z3-src" }, "locked": { - "lastModified": 1692867782, - "narHash": "sha256-qPqg7hpCvRWOrG8k7jwbbTqThb0NFWQHZhZSeEqYI/g=", + "lastModified": 1695129967, + "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "63397c713d21322434d572281c1407d929a1189e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "85b5d086840a0f1e89499f086b50d7258598fc8b", "type": "github" } }, @@ -654,17 +654,17 @@ "z3-src": "z3-src_2" }, "locked": { - "lastModified": 1692867782, - "narHash": "sha256-qPqg7hpCvRWOrG8k7jwbbTqThb0NFWQHZhZSeEqYI/g=", + "lastModified": 1695129967, + "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "63397c713d21322434d572281c1407d929a1189e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "63397c713d21322434d572281c1407d929a1189e", "type": "github" } }, @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1693947872, - "narHash": "sha256-pKiHZz+koADXQ3MdfzE39ADKSVnUIvmVbfkyZqNmXGQ=", + "lastModified": 1695805424, + "narHash": "sha256-UH3VvwLieFQiOGy9oV14Rr0KHN9LXWyqy167R0NsQ8A=", "owner": "runtimeverification", "repo": "k", - "rev": "3997d65c227fde4e67cedfca83a8a2d2436229e6", + "rev": "5ca82072fa2d6938cb91d4931e3e9a863446bcea", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.87", + "ref": "v6.0.118", "repo": "k", "type": "github" } @@ -1023,11 +1023,11 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1692976793, - "narHash": "sha256-ytl8wuFYYx9NAaIBLjil/UgZcK9fBgXDspDE1y+gNHM=", + "lastModified": 1695738370, + "narHash": "sha256-6H2WXHGjB2UvsZob2PAeV9o53q2LEKZ1LwDL5tV9fik=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "f3e29231a9a8bc4373fbbc74866f96df454cbc7e", + "rev": "4c9d0101951dc7fa4f07b0b03f5afd84331a40f7", "type": "github" }, "original": { @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695658775, - "narHash": "sha256-o3DRBtLwa7+mSU1FeGs2mDBelpQ4yuDx1AmMEWkSy6o=", + "lastModified": 1695816092, + "narHash": "sha256-H5aiCxA8P1P9dFTVOPIhr0kE/oirCnfFrQKotnXyoOg=", "owner": "runtimeverification", "repo": "pyk", - "rev": "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b", + "rev": "5fbb725384a415f4781a73530e47714bc51e6960", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.448", + "ref": "v0.1.449", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 926d6eafb6..45e9cf2120 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.87"; + k-framework.url = "github:runtimeverification/k/v6.0.118"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.448"; + pyk.url = "github:runtimeverification/pyk/v0.1.449"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From a87903210b6dc579926e3f4c32f0bd0451d347bf Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 16:54:24 +0000 Subject: [PATCH 06/68] deps/pyk_release: Set Version v0.1.450 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index a96c9fa851..323667ff71 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.449 +v0.1.450 From b0ca3d8a4bd7e2aeae9d858e4255b9c8141e7aeb Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 16:54:45 +0000 Subject: [PATCH 07/68] Set Version: 1.0.308 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 155944b495..4a013984da 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.307" +version = "1.0.308" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 6ce1af993b..d8d62791fa 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.307' +VERSION: Final = '1.0.308' diff --git a/package/version b/package/version index f988f2e8db..7b64a80cde 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.307 +1.0.308 From 349deb3b40f98fd08ed3b115d18382d5d38f1608 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 16:58:54 +0000 Subject: [PATCH 08/68] kevm-pyk/: sync poetry files pyk version v0.1.450 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 85288fc86a..f78daa3cc9 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.449" +version = "0.1.450" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.449" -resolved_reference = "5fbb725384a415f4781a73530e47714bc51e6960" +reference = "v0.1.450" +resolved_reference = "08384e9db4bf0a92a2be3f01990cf9767f4c7a4e" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0e0da620e23b71e6c10f02d0ec297d848a6df78c199a84445f338ad324f98417" +content-hash = "9506c85118c7ee858d193c1272528b184bbadbd5685b57c001994713d1297c7e" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 4a013984da..5ebacf9961 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.449" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.450" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 3f8c95f696f52dd4e4dc1b08f65ea9b50b06785c Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 17:02:04 +0000 Subject: [PATCH 09/68] 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 c90783147d..e6dd3bf85a 100644 --- a/flake.lock +++ b/flake.lock @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695816092, - "narHash": "sha256-H5aiCxA8P1P9dFTVOPIhr0kE/oirCnfFrQKotnXyoOg=", + "lastModified": 1695833093, + "narHash": "sha256-du7LaB+/+NtXzgzkIyBO9MedB2d3s/GCBVw5BvPoK88=", "owner": "runtimeverification", "repo": "pyk", - "rev": "5fbb725384a415f4781a73530e47714bc51e6960", + "rev": "08384e9db4bf0a92a2be3f01990cf9767f4c7a4e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.449", + "ref": "v0.1.450", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 45e9cf2120..268c182c3e 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.449"; + pyk.url = "github:runtimeverification/pyk/v0.1.450"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From b268c056b4b4ab91dd67a5aea3d1acb3b0fdffb1 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 19:39:39 +0000 Subject: [PATCH 10/68] deps/pyk_release: Set Version v0.1.451 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 323667ff71..43186f24c5 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.450 +v0.1.451 From 9729bbbb611647660d5ebc2a65f6551cf8216841 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 19:42:45 +0000 Subject: [PATCH 11/68] kevm-pyk/: sync poetry files pyk version v0.1.451 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index f78daa3cc9..a6b87800c4 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.450" +version = "0.1.451" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.450" -resolved_reference = "08384e9db4bf0a92a2be3f01990cf9767f4c7a4e" +reference = "v0.1.451" +resolved_reference = "01efe98270c342479a80f94b5893790f40b63b54" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "9506c85118c7ee858d193c1272528b184bbadbd5685b57c001994713d1297c7e" +content-hash = "2c881ac41af9c6b7647d1166bc0602c95e34a9dbd3c6c7704a5384b594d7e9fa" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 5ebacf9961..28a8beb00d 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.450" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.451" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 3fd5fd086bc6d8fc61f08744bc370589fec2d445 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 19:42:46 +0000 Subject: [PATCH 12/68] deps/k_release: sync release file version 6.0.119 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 2704c680a6..0ce3ae8a87 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.118 +6.0.119 From 7d28e38e5e9b0df02f1d970d1829e5c765c106d5 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 19:45:37 +0000 Subject: [PATCH 13/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index e6dd3bf85a..dedf772373 100644 --- a/flake.lock +++ b/flake.lock @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1695805424, - "narHash": "sha256-UH3VvwLieFQiOGy9oV14Rr0KHN9LXWyqy167R0NsQ8A=", + "lastModified": 1695830623, + "narHash": "sha256-ZEZ3GNjG2ZQ0Y1OwU6uVxXQ3Llx4yNZRSORS9eMXC3c=", "owner": "runtimeverification", "repo": "k", - "rev": "5ca82072fa2d6938cb91d4931e3e9a863446bcea", + "rev": "015e5720dc753b346f17d0cc01f5fd15c1031fea", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.118", + "ref": "v6.0.119", "repo": "k", "type": "github" } @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695833093, - "narHash": "sha256-du7LaB+/+NtXzgzkIyBO9MedB2d3s/GCBVw5BvPoK88=", + "lastModified": 1695842636, + "narHash": "sha256-If3XJEz4mSaVtezYMVnEsyVjr6xUbtO5038sLRoq1t4=", "owner": "runtimeverification", "repo": "pyk", - "rev": "08384e9db4bf0a92a2be3f01990cf9767f4c7a4e", + "rev": "01efe98270c342479a80f94b5893790f40b63b54", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.450", + "ref": "v0.1.451", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 268c182c3e..fb5c8ecb50 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.118"; + k-framework.url = "github:runtimeverification/k/v6.0.119"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.450"; + pyk.url = "github:runtimeverification/pyk/v0.1.451"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From c1a2d1d2666ea3e90e2c5a5c7eae08a3536794f4 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 21:51:49 +0000 Subject: [PATCH 14/68] deps/pyk_release: Set Version v0.1.452 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 43186f24c5..04ff42ad15 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.451 +v0.1.452 From bca3a4ca7055902f18850e7a2f3dc878ff840850 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 21:54:31 +0000 Subject: [PATCH 15/68] kevm-pyk/: sync poetry files pyk version v0.1.452 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index a6b87800c4..0b536e844e 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.451" +version = "0.1.452" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.451" -resolved_reference = "01efe98270c342479a80f94b5893790f40b63b54" +reference = "v0.1.452" +resolved_reference = "7c1868154f616881c6a22b3587724877cd36b811" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "2c881ac41af9c6b7647d1166bc0602c95e34a9dbd3c6c7704a5384b594d7e9fa" +content-hash = "6d8e724580a1fd03e26b677713b319d4effcabdaa35b1c5bf049b993b415db49" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 28a8beb00d..dfb3a11243 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.451" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.452" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 9f8565af8437af73208304774fe954799b5ad4ab Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 21:57:11 +0000 Subject: [PATCH 16/68] 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 dedf772373..b1dc6d658a 100644 --- a/flake.lock +++ b/flake.lock @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695842636, - "narHash": "sha256-If3XJEz4mSaVtezYMVnEsyVjr6xUbtO5038sLRoq1t4=", + "lastModified": 1695851021, + "narHash": "sha256-sakd9RahHrCAXlaXQGnglGcbQ70Yredr+QsSWhb64bM=", "owner": "runtimeverification", "repo": "pyk", - "rev": "01efe98270c342479a80f94b5893790f40b63b54", + "rev": "7c1868154f616881c6a22b3587724877cd36b811", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.451", + "ref": "v0.1.452", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index fb5c8ecb50..3ca23812cc 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.451"; + pyk.url = "github:runtimeverification/pyk/v0.1.452"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From ceaadfcd6e63cab6a5e2ea7c7a502db29f08f2e8 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 15:11:15 +0000 Subject: [PATCH 17/68] deps/pyk_release: Set Version v0.1.453 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 04ff42ad15..7cc603febf 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.452 +v0.1.453 From 7d32a0578b46d92546dbc064cf23e94bbaea94ca Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 15:14:51 +0000 Subject: [PATCH 18/68] kevm-pyk/: sync poetry files pyk version v0.1.453 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 0b536e844e..db28fcf91a 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.452" +version = "0.1.453" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.452" -resolved_reference = "7c1868154f616881c6a22b3587724877cd36b811" +reference = "v0.1.453" +resolved_reference = "9661857bba2a9ba1b803a5cfcf128ffb43e9f241" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "6d8e724580a1fd03e26b677713b319d4effcabdaa35b1c5bf049b993b415db49" +content-hash = "0da6f335d06304a6fe1bfb991fb177cd9e9b4b81e39d8613bf0bc4471d68a6f4" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index dfb3a11243..b810ca0b00 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.452" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.453" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 4c494edd91fdc77d53eb243a878f5fe23e7aedea Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 15:14:52 +0000 Subject: [PATCH 19/68] deps/k_release: sync release file version 6.0.120 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 0ce3ae8a87..2a0bde9398 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.119 +6.0.120 From b92ad6c12a0c927a1d9b0e5b55073af30aad48a1 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 15:18:15 +0000 Subject: [PATCH 20/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 24 ++++++++++++------------ flake.nix | 4 ++-- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/flake.lock b/flake.lock index b1dc6d658a..3dc6502ff3 100644 --- a/flake.lock +++ b/flake.lock @@ -98,17 +98,17 @@ ] }, "locked": { - "lastModified": 1695212979, - "narHash": "sha256-TcTN+qV+QPVnJFjtVkCHBeyd6bxLOIsi2AWTmVb8U8Y=", + "lastModified": 1695839205, + "narHash": "sha256-9USUlWcL4YOseMJdQ1h4XvihR4/FG5zykykI7eY/13A=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe", + "rev": "6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe", + "rev": "6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566", "type": "github" } }, @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1695830623, - "narHash": "sha256-ZEZ3GNjG2ZQ0Y1OwU6uVxXQ3Llx4yNZRSORS9eMXC3c=", + "lastModified": 1695902622, + "narHash": "sha256-IVknzkki+HHHBMbgBfs60VAtULeTFZdS9+LG2w9Rt80=", "owner": "runtimeverification", "repo": "k", - "rev": "015e5720dc753b346f17d0cc01f5fd15c1031fea", + "rev": "25367c4e7f1551c8b2901103b9afa363a3a64a6e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.119", + "ref": "v6.0.120", "repo": "k", "type": "github" } @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695851021, - "narHash": "sha256-sakd9RahHrCAXlaXQGnglGcbQ70Yredr+QsSWhb64bM=", + "lastModified": 1695913426, + "narHash": "sha256-yx8A3mHYnU1w7R+GL29A+NFHXbhvo7/w7BehEtK0woQ=", "owner": "runtimeverification", "repo": "pyk", - "rev": "7c1868154f616881c6a22b3587724877cd36b811", + "rev": "9661857bba2a9ba1b803a5cfcf128ffb43e9f241", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.452", + "ref": "v0.1.453", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 3ca23812cc..1dc635ca23 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.119"; + k-framework.url = "github:runtimeverification/k/v6.0.120"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.452"; + pyk.url = "github:runtimeverification/pyk/v0.1.453"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From b38b7de6215c0005763d539f7a0fffa5a1b3ab52 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 27 Sep 2023 20:30:17 +0000 Subject: [PATCH 21/68] kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 1aa2e24669529ea14d806d5b7f9116c65780f368 --- kevm-pyk/src/kevm_pyk/kproj/plugin | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin index da834be67f..1aa2e24669 160000 --- a/kevm-pyk/src/kevm_pyk/kproj/plugin +++ b/kevm-pyk/src/kevm_pyk/kproj/plugin @@ -1 +1 @@ -Subproject commit da834be67f6c0aff11140ddfc0b04561494c14b8 +Subproject commit 1aa2e24669529ea14d806d5b7f9116c65780f368 From 7d3848ae4bab73fca122b1992b63d7cb32c4d39f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 17:00:59 +0000 Subject: [PATCH 22/68] deps/blockchain-k-plugin_release: sync release file version 1aa2e24669529ea14d806d5b7f9116c65780f368 --- deps/blockchain-k-plugin_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index 9d4ad37596..7720444c42 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -da834be67f6c0aff11140ddfc0b04561494c14b8 +1aa2e24669529ea14d806d5b7f9116c65780f368 From 3f865081309ab8fc9b6fc2d6a23e55604a6fa976 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 17:03:53 +0000 Subject: [PATCH 23/68] 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 3dc6502ff3..f22f95f88d 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1689159696, - "narHash": "sha256-dGICJl8YAWXjpjeY1rcRMLyWka3kMZmW74B6q3gvrhQ=", + "lastModified": 1695846164, + "narHash": "sha256-3XGbLeKqTTt+OErkbcnz7D64hM3BC7N68C6Bk/unuz4=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "da834be67f6c0aff11140ddfc0b04561494c14b8", + "rev": "1aa2e24669529ea14d806d5b7f9116c65780f368", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "da834be67f6c0aff11140ddfc0b04561494c14b8", + "rev": "1aa2e24669529ea14d806d5b7f9116c65780f368", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 1dc635ca23..8145a361c9 100644 --- a/flake.nix +++ b/flake.nix @@ -9,7 +9,7 @@ flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; poetry2nix.follows = "pyk/poetry2nix"; - blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/da834be67f6c0aff11140ddfc0b04561494c14b8"; + blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/1aa2e24669529ea14d806d5b7f9116c65780f368"; blockchain-k-plugin.inputs.flake-utils.follows = "k-framework/flake-utils"; blockchain-k-plugin.inputs.nixpkgs.follows = "k-framework/nixpkgs"; ethereum-tests.url = "github:ethereum/tests/6401889dec4eee58e808fd178fb2c7f628a3e039"; From 3a4d9c8afb4562359f49b0ba1f001efcdcc8fdf0 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 17:33:11 +0000 Subject: [PATCH 24/68] deps/pyk_release: Set Version v0.1.454 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 7cc603febf..90881eef69 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.453 +v0.1.454 From 297606a0ff50a0179b01a0a240d9bb1345b9cfaf Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 17:36:02 +0000 Subject: [PATCH 25/68] kevm-pyk/: sync poetry files pyk version v0.1.454 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index db28fcf91a..a2ece11a67 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.453" +version = "0.1.454" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.453" -resolved_reference = "9661857bba2a9ba1b803a5cfcf128ffb43e9f241" +reference = "v0.1.454" +resolved_reference = "4c73dbf02b2f99527fb5cde2a1e924423334cacb" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0da6f335d06304a6fe1bfb991fb177cd9e9b4b81e39d8613bf0bc4471d68a6f4" +content-hash = "5b190c30f6f9558bcb225ac24f5d21014479233230de31905db487a1fc8e1cec" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index b810ca0b00..ef8aa2b579 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.453" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.454" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 72313c0568eea8b901116e15ec744fcd5abb9250 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 28 Sep 2023 17:38:57 +0000 Subject: [PATCH 26/68] 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 f22f95f88d..b362f94c5a 100644 --- a/flake.lock +++ b/flake.lock @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695913426, - "narHash": "sha256-yx8A3mHYnU1w7R+GL29A+NFHXbhvo7/w7BehEtK0woQ=", + "lastModified": 1695921959, + "narHash": "sha256-iZwcS5fgru3shqVIt53cRh/T80Ardq7NnzOzPhPsUGs=", "owner": "runtimeverification", "repo": "pyk", - "rev": "9661857bba2a9ba1b803a5cfcf128ffb43e9f241", + "rev": "4c73dbf02b2f99527fb5cde2a1e924423334cacb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.453", + "ref": "v0.1.454", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 8145a361c9..7e14f84081 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.453"; + pyk.url = "github:runtimeverification/pyk/v0.1.454"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From 3b710de80b4f4c0cc278004155f27225b7c3077a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 06:50:25 +0000 Subject: [PATCH 27/68] deps/pyk_release: Set Version v0.1.455 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 90881eef69..bf5b25e079 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.454 +v0.1.455 From 77fe782d63a1c80a633f439a5823229ee21bc862 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 06:53:23 +0000 Subject: [PATCH 28/68] kevm-pyk/: sync poetry files pyk version v0.1.455 --- kevm-pyk/poetry.lock | 14 +++++++------- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index a2ece11a67..b9ebb25449 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.454" +version = "0.1.455" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.454" -resolved_reference = "4c73dbf02b2f99527fb5cde2a1e924423334cacb" +reference = "v0.1.455" +resolved_reference = "bf94c03782948d985c4c0ac0eed6cd23bc7c9340" [[package]] name = "pyperclip" @@ -1037,13 +1037,13 @@ test = ["coverage", "pytest", "pytest-cov"] [[package]] name = "wcwidth" -version = "0.2.6" +version = "0.2.7" description = "Measures the displayed width of unicode strings in a terminal" optional = false python-versions = "*" files = [ - {file = "wcwidth-0.2.6-py2.py3-none-any.whl", hash = "sha256:795b138f6875577cd91bba52baf9e445cd5118fd32723b460e30a0af30ea230e"}, - {file = "wcwidth-0.2.6.tar.gz", hash = "sha256:a5220780a404dbe3353789870978e472cfe477761f06ee55077256e509b156d0"}, + {file = "wcwidth-0.2.7-py2.py3-none-any.whl", hash = "sha256:fabf3e32999d9b0dab7d19d845149f326f04fe29bac67709ee071dbd92640a36"}, + {file = "wcwidth-0.2.7.tar.gz", hash = "sha256:1b6d30a98ddd5ce9bbdb33658191fd2423fc9da203fe3ef1855407dcb7ee4e26"}, ] [[package]] @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "5b190c30f6f9558bcb225ac24f5d21014479233230de31905db487a1fc8e1cec" +content-hash = "8caff407c782a7c52202f2d7b6684d345b298f4df5f89b66872b347366ed761c" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index ef8aa2b579..9d4e69fd31 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.454" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.455" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 97b47022f12c504ff94ff6ab5a8649d87115ed51 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 06:53:23 +0000 Subject: [PATCH 29/68] deps/k_release: sync release file version 6.0.121 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 2a0bde9398..6bf1436f90 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.120 +6.0.121 From bedb7ff75886e2a1c5abb0c71c84df86da508e7c Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 06:56:11 +0000 Subject: [PATCH 30/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index b362f94c5a..5678faff40 100644 --- a/flake.lock +++ b/flake.lock @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1695902622, - "narHash": "sha256-IVknzkki+HHHBMbgBfs60VAtULeTFZdS9+LG2w9Rt80=", + "lastModified": 1695933415, + "narHash": "sha256-mjReSIojzHSeNwHPkMh/O548JqWQaZUN935jsDikTRI=", "owner": "runtimeverification", "repo": "k", - "rev": "25367c4e7f1551c8b2901103b9afa363a3a64a6e", + "rev": "879f9034aa895969ac427ba3227edccd15565eb2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.120", + "ref": "v6.0.121", "repo": "k", "type": "github" } @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695921959, - "narHash": "sha256-iZwcS5fgru3shqVIt53cRh/T80Ardq7NnzOzPhPsUGs=", + "lastModified": 1695969808, + "narHash": "sha256-n8wy3T0aS6kjwl52vWElvju5cCKlXVGL630BiXV6Yfo=", "owner": "runtimeverification", "repo": "pyk", - "rev": "4c73dbf02b2f99527fb5cde2a1e924423334cacb", + "rev": "bf94c03782948d985c4c0ac0eed6cd23bc7c9340", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.454", + "ref": "v0.1.455", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 7e14f84081..d328f7d4ce 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.120"; + k-framework.url = "github:runtimeverification/k/v6.0.121"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.454"; + pyk.url = "github:runtimeverification/pyk/v0.1.455"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From 69292ee0f532de7d9f1d4c24af20f683e6eaedfb Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 13:51:06 +0000 Subject: [PATCH 31/68] deps/pyk_release: Set Version v0.1.456 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index bf5b25e079..9659f54e38 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.455 +v0.1.456 From 3dbcea45a821bb6b6203425ebab374686e99eb49 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 13:54:26 +0000 Subject: [PATCH 32/68] kevm-pyk/: sync poetry files pyk version v0.1.456 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index b9ebb25449..44ace5f59f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.455" +version = "0.1.456" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.455" -resolved_reference = "bf94c03782948d985c4c0ac0eed6cd23bc7c9340" +reference = "v0.1.456" +resolved_reference = "d7ef087d76f08c7f9305c4bf6aef01db7d77392e" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "8caff407c782a7c52202f2d7b6684d345b298f4df5f89b66872b347366ed761c" +content-hash = "5d4b12d836b16c2acdc42389b578538394b7f7228632df0d1afbd3870c92a5bf" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 9d4e69fd31..5274501cfb 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.455" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.456" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 6d4c72687701163651553388e2b733281835fc0f Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 13:57:14 +0000 Subject: [PATCH 33/68] 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 5678faff40..d7a33f014c 100644 --- a/flake.lock +++ b/flake.lock @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695969808, - "narHash": "sha256-n8wy3T0aS6kjwl52vWElvju5cCKlXVGL630BiXV6Yfo=", + "lastModified": 1695995016, + "narHash": "sha256-KJJ1h67WDea5v4wuhfeCnPdekHw1f4lkc7STiVsAv7E=", "owner": "runtimeverification", "repo": "pyk", - "rev": "bf94c03782948d985c4c0ac0eed6cd23bc7c9340", + "rev": "d7ef087d76f08c7f9305c4bf6aef01db7d77392e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.455", + "ref": "v0.1.456", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index d328f7d4ce..06526a542c 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.455"; + pyk.url = "github:runtimeverification/pyk/v0.1.456"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From 768b981fc7c5ecb14d24a82c444871384f02ad71 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 19:46:39 +0000 Subject: [PATCH 34/68] deps/pyk_release: Set Version v0.1.457 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 9659f54e38..720b1f1476 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.456 +v0.1.457 From b477b242c1af3f2a46d468716066286911650d42 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 19:49:25 +0000 Subject: [PATCH 35/68] kevm-pyk/: sync poetry files pyk version v0.1.457 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 44ace5f59f..71938d1c4a 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.456" +version = "0.1.457" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.456" -resolved_reference = "d7ef087d76f08c7f9305c4bf6aef01db7d77392e" +reference = "v0.1.457" +resolved_reference = "666d5e3f0bc2fe6d1729b261a3e0f46cd5f30e4f" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "5d4b12d836b16c2acdc42389b578538394b7f7228632df0d1afbd3870c92a5bf" +content-hash = "2164a4e1abefb93803b99e3f87c7da6d0f84390f158a20dd71d2da8935a431da" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 5274501cfb..f398183615 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.456" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.457" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 2ed3ebbb7466b97f45f8d92eea282ce931c88066 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 19:52:08 +0000 Subject: [PATCH 36/68] 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 d7a33f014c..7729b0035f 100644 --- a/flake.lock +++ b/flake.lock @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695995016, - "narHash": "sha256-KJJ1h67WDea5v4wuhfeCnPdekHw1f4lkc7STiVsAv7E=", + "lastModified": 1696016358, + "narHash": "sha256-0uI/zL9l6QEa0xPJnmJ5UG3AaELZTy6PH3aJLR4pzLU=", "owner": "runtimeverification", "repo": "pyk", - "rev": "d7ef087d76f08c7f9305c4bf6aef01db7d77392e", + "rev": "666d5e3f0bc2fe6d1729b261a3e0f46cd5f30e4f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.456", + "ref": "v0.1.457", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 06526a542c..72135988b7 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.456"; + pyk.url = "github:runtimeverification/pyk/v0.1.457"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From 5f802195e094b7974e8192eae480bbd89ba2ce6e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 29 Sep 2023 23:23:03 +0000 Subject: [PATCH 37/68] Set Version: 1.0.309 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index f398183615..9b3f74590f 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.308" +version = "1.0.309" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index d8d62791fa..a56fa043b1 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.308' +VERSION: Final = '1.0.309' diff --git a/package/version b/package/version index 7b64a80cde..fcb1b3a84a 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.308 +1.0.309 From c19a80836bec0b0a9a921c35618c362f71457472 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 11:09:34 +0000 Subject: [PATCH 38/68] deps/pyk_release: Set Version v0.1.458 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 720b1f1476..57e12e7406 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.457 +v0.1.458 From 89b1521a8cb4af4a83115b0092b2c816511f4de8 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 11:12:36 +0000 Subject: [PATCH 39/68] kevm-pyk/: sync poetry files pyk version v0.1.458 --- kevm-pyk/poetry.lock | 14 +++++++------- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 71938d1c4a..6c44d91995 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.457" +version = "0.1.458" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.457" -resolved_reference = "666d5e3f0bc2fe6d1729b261a3e0f46cd5f30e4f" +reference = "v0.1.458" +resolved_reference = "900a06dad5741822c64bc9f13a171987869b3a4a" [[package]] name = "pyperclip" @@ -1037,13 +1037,13 @@ test = ["coverage", "pytest", "pytest-cov"] [[package]] name = "wcwidth" -version = "0.2.7" +version = "0.2.8" description = "Measures the displayed width of unicode strings in a terminal" optional = false python-versions = "*" files = [ - {file = "wcwidth-0.2.7-py2.py3-none-any.whl", hash = "sha256:fabf3e32999d9b0dab7d19d845149f326f04fe29bac67709ee071dbd92640a36"}, - {file = "wcwidth-0.2.7.tar.gz", hash = "sha256:1b6d30a98ddd5ce9bbdb33658191fd2423fc9da203fe3ef1855407dcb7ee4e26"}, + {file = "wcwidth-0.2.8-py2.py3-none-any.whl", hash = "sha256:77f719e01648ed600dfa5402c347481c0992263b81a027344f3e1ba25493a704"}, + {file = "wcwidth-0.2.8.tar.gz", hash = "sha256:8705c569999ffbb4f6a87c6d1b80f324bd6db952f5eb0b95bc07517f4c1813d4"}, ] [[package]] @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "2164a4e1abefb93803b99e3f87c7da6d0f84390f158a20dd71d2da8935a431da" +content-hash = "936c8560bee26974e91d5ab744ef125326820c9b5cd214f222a5bbbf38cb8e95" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 9b3f74590f..7f273fa275 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.457" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.458" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 9f88f036fc657c18e78b9cd40acac4026cd4021c Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 11:12:37 +0000 Subject: [PATCH 40/68] deps/k_release: sync release file version 6.0.124 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 6bf1436f90..6707f45930 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.121 +6.0.124 From a2d1b9ea9afb462a19235f804246bdb048246995 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 11:15:25 +0000 Subject: [PATCH 41/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 22 +++++++++++----------- flake.nix | 4 ++-- 2 files changed, 13 insertions(+), 13 deletions(-) diff --git a/flake.lock b/flake.lock index 7729b0035f..9acec31910 100644 --- a/flake.lock +++ b/flake.lock @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1695933415, - "narHash": "sha256-mjReSIojzHSeNwHPkMh/O548JqWQaZUN935jsDikTRI=", + "lastModified": 1696035642, + "narHash": "sha256-numQpPzXG2pca1Hz7rv5k43s7yE4MTUpPP93gBSn8+o=", "owner": "runtimeverification", "repo": "k", - "rev": "879f9034aa895969ac427ba3227edccd15565eb2", + "rev": "686fa0062f635d06dceea01a6d128f7e7f062a4d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.121", + "ref": "v6.0.124", "repo": "k", "type": "github" } @@ -1023,11 +1023,11 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1695738370, - "narHash": "sha256-6H2WXHGjB2UvsZob2PAeV9o53q2LEKZ1LwDL5tV9fik=", + "lastModified": 1696003407, + "narHash": "sha256-35nxaef4HaSqf8gnu5Fi/pariMDMZLaQXbQteeH+n+8=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "4c9d0101951dc7fa4f07b0b03f5afd84331a40f7", + "rev": "b120acba180acd4c9bc4832abae3aaf12ba2e1b5", "type": "github" }, "original": { @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1696016358, - "narHash": "sha256-0uI/zL9l6QEa0xPJnmJ5UG3AaELZTy6PH3aJLR4pzLU=", + "lastModified": 1696071810, + "narHash": "sha256-umwZtd/ucluf3PLLcguAW2UeLF9y3Qd4yFGUG6yuldg=", "owner": "runtimeverification", "repo": "pyk", - "rev": "666d5e3f0bc2fe6d1729b261a3e0f46cd5f30e4f", + "rev": "900a06dad5741822c64bc9f13a171987869b3a4a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.457", + "ref": "v0.1.458", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 72135988b7..31d8ddf9b3 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.121"; + k-framework.url = "github:runtimeverification/k/v6.0.124"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.457"; + pyk.url = "github:runtimeverification/pyk/v0.1.458"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From 3cb202a808b14baa5e5c7a1ace69de8e14d94999 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 17:12:53 +0000 Subject: [PATCH 42/68] deps/pyk_release: Set Version v0.1.459 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 57e12e7406..75674e6e60 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.458 +v0.1.459 From b8358464695c979130434edb6f1d4ceff109443d Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 17:15:37 +0000 Subject: [PATCH 43/68] kevm-pyk/: sync poetry files pyk version v0.1.459 --- kevm-pyk/poetry.lock | 14 +++++++------- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 6c44d91995..0c1b175dae 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.458" +version = "0.1.459" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.458" -resolved_reference = "900a06dad5741822c64bc9f13a171987869b3a4a" +reference = "v0.1.459" +resolved_reference = "d263b25ee713b51eb1189723581d800784c1b801" [[package]] name = "pyperclip" @@ -941,13 +941,13 @@ tokenize-rt = ">=5.2.0" [[package]] name = "rich" -version = "13.5.3" +version = "13.6.0" description = "Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal" optional = false python-versions = ">=3.7.0" files = [ - {file = "rich-13.5.3-py3-none-any.whl", hash = "sha256:9257b468badc3d347e146a4faa268ff229039d4c2d176ab0cffb4c4fbc73d5d9"}, - {file = "rich-13.5.3.tar.gz", hash = "sha256:87b43e0543149efa1253f485cd845bb7ee54df16c9617b8a893650ab84b4acb6"}, + {file = "rich-13.6.0-py3-none-any.whl", hash = "sha256:2b38e2fe9ca72c9a00170a1a2d20c63c790d0e10ef1fe35eba76e1e7b1d7d245"}, + {file = "rich-13.6.0.tar.gz", hash = "sha256:5c14d22737e6d5084ef4771b62d5d4363165b403455a30a1c8ca39dc7b644bef"}, ] [package.dependencies] @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "936c8560bee26974e91d5ab744ef125326820c9b5cd214f222a5bbbf38cb8e95" +content-hash = "6c97661bfad7d0994543db3086fe86a66b8948487c7a01d6ba86df1a70c25036" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 7f273fa275..8591d08638 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.458" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.459" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 6a7b95710e6fd8f6fdc9f079cba1635261ff434a Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 30 Sep 2023 17:18:26 +0000 Subject: [PATCH 44/68] 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 9acec31910..676f3b02f4 100644 --- a/flake.lock +++ b/flake.lock @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1696071810, - "narHash": "sha256-umwZtd/ucluf3PLLcguAW2UeLF9y3Qd4yFGUG6yuldg=", + "lastModified": 1696093416, + "narHash": "sha256-xpxFYWlsqQJItCdw09Tl1X7nkJC7UVxtTfQoP1ApYyY=", "owner": "runtimeverification", "repo": "pyk", - "rev": "900a06dad5741822c64bc9f13a171987869b3a4a", + "rev": "d263b25ee713b51eb1189723581d800784c1b801", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.458", + "ref": "v0.1.459", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 31d8ddf9b3..1b70b45a0a 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.458"; + pyk.url = "github:runtimeverification/pyk/v0.1.459"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From 5cf29a112c36df35bbdc29873277e936c67b98b3 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Tue, 3 Oct 2023 18:25:29 +0000 Subject: [PATCH 45/68] deps/blockchain-k-plugin_release: update to newest version --- deps/blockchain-k-plugin_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index fdd690bc92..8fd1ef7508 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -c095983f3aec21c52f00b2d433202052ad7db104 +b42e6ede9f6b72cedabc519810416e2994caad45 From 32abb5f4a19a840059548a93f9de3f94fe13089a Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 18:25:52 +0000 Subject: [PATCH 46/68] Set Version: 1.0.312 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 5060ea4b0d..70ee51903e 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.311" +version = "1.0.312" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 451f492103..fd9db9e29c 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.311' +VERSION: Final = '1.0.312' diff --git a/package/version b/package/version index 5039e3d723..6c252d93e9 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.311 +1.0.312 From 31c2f07ef2a9f092fb28dce2d481b89295f96ca3 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 18:28:52 +0000 Subject: [PATCH 47/68] kevm-pyk/: sync poetry files pyk version v0.1.459 --- kevm-pyk/poetry.lock | 124 ++++++++++++++++++++-------------------- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 63 insertions(+), 63 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 0c1b175dae..f0dc54a3fe 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -156,63 +156,63 @@ cron = ["capturer (>=2.4)"] [[package]] name = "coverage" -version = "7.3.1" +version = "7.3.2" description = "Code coverage measurement for Python" optional = false python-versions = ">=3.8" files = [ - {file = "coverage-7.3.1-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:cd0f7429ecfd1ff597389907045ff209c8fdb5b013d38cfa7c60728cb484b6e3"}, - {file = "coverage-7.3.1-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:966f10df9b2b2115da87f50f6a248e313c72a668248be1b9060ce935c871f276"}, - {file = "coverage-7.3.1-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:0575c37e207bb9b98b6cf72fdaaa18ac909fb3d153083400c2d48e2e6d28bd8e"}, - {file = "coverage-7.3.1-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:245c5a99254e83875c7fed8b8b2536f040997a9b76ac4c1da5bff398c06e860f"}, - {file = "coverage-7.3.1-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:4c96dd7798d83b960afc6c1feb9e5af537fc4908852ef025600374ff1a017392"}, - {file = "coverage-7.3.1-cp310-cp310-musllinux_1_1_aarch64.whl", hash = "sha256:de30c1aa80f30af0f6b2058a91505ea6e36d6535d437520067f525f7df123887"}, - {file = "coverage-7.3.1-cp310-cp310-musllinux_1_1_i686.whl", hash = "sha256:50dd1e2dd13dbbd856ffef69196781edff26c800a74f070d3b3e3389cab2600d"}, - {file = "coverage-7.3.1-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:b9c0c19f70d30219113b18fe07e372b244fb2a773d4afde29d5a2f7930765136"}, - {file = "coverage-7.3.1-cp310-cp310-win32.whl", hash = "sha256:770f143980cc16eb601ccfd571846e89a5fe4c03b4193f2e485268f224ab602f"}, - {file = "coverage-7.3.1-cp310-cp310-win_amd64.whl", hash = "sha256:cdd088c00c39a27cfa5329349cc763a48761fdc785879220d54eb785c8a38520"}, - {file = "coverage-7.3.1-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:74bb470399dc1989b535cb41f5ca7ab2af561e40def22d7e188e0a445e7639e3"}, - {file = "coverage-7.3.1-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:025ded371f1ca280c035d91b43252adbb04d2aea4c7105252d3cbc227f03b375"}, - {file = "coverage-7.3.1-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:a6191b3a6ad3e09b6cfd75b45c6aeeffe7e3b0ad46b268345d159b8df8d835f9"}, - {file = "coverage-7.3.1-cp311-cp311-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:7eb0b188f30e41ddd659a529e385470aa6782f3b412f860ce22b2491c89b8593"}, - {file = "coverage-7.3.1-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:75c8f0df9dfd8ff745bccff75867d63ef336e57cc22b2908ee725cc552689ec8"}, - {file = "coverage-7.3.1-cp311-cp311-musllinux_1_1_aarch64.whl", hash = "sha256:7eb3cd48d54b9bd0e73026dedce44773214064be93611deab0b6a43158c3d5a0"}, - {file = "coverage-7.3.1-cp311-cp311-musllinux_1_1_i686.whl", hash = "sha256:ac3c5b7e75acac31e490b7851595212ed951889918d398b7afa12736c85e13ce"}, - {file = "coverage-7.3.1-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:5b4ee7080878077af0afa7238df1b967f00dc10763f6e1b66f5cced4abebb0a3"}, - {file = "coverage-7.3.1-cp311-cp311-win32.whl", hash = "sha256:229c0dd2ccf956bf5aeede7e3131ca48b65beacde2029f0361b54bf93d36f45a"}, - {file = "coverage-7.3.1-cp311-cp311-win_amd64.whl", hash = "sha256:c6f55d38818ca9596dc9019eae19a47410d5322408140d9a0076001a3dcb938c"}, - {file = "coverage-7.3.1-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:5289490dd1c3bb86de4730a92261ae66ea8d44b79ed3cc26464f4c2cde581fbc"}, - {file = "coverage-7.3.1-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:ca833941ec701fda15414be400c3259479bfde7ae6d806b69e63b3dc423b1832"}, - {file = "coverage-7.3.1-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:cd694e19c031733e446c8024dedd12a00cda87e1c10bd7b8539a87963685e969"}, - {file = "coverage-7.3.1-cp312-cp312-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:aab8e9464c00da5cb9c536150b7fbcd8850d376d1151741dd0d16dfe1ba4fd26"}, - {file = "coverage-7.3.1-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:87d38444efffd5b056fcc026c1e8d862191881143c3aa80bb11fcf9dca9ae204"}, - {file = "coverage-7.3.1-cp312-cp312-musllinux_1_1_aarch64.whl", hash = "sha256:8a07b692129b8a14ad7a37941a3029c291254feb7a4237f245cfae2de78de037"}, - {file = "coverage-7.3.1-cp312-cp312-musllinux_1_1_i686.whl", hash = "sha256:2829c65c8faaf55b868ed7af3c7477b76b1c6ebeee99a28f59a2cb5907a45760"}, - {file = "coverage-7.3.1-cp312-cp312-musllinux_1_1_x86_64.whl", hash = "sha256:1f111a7d85658ea52ffad7084088277135ec5f368457275fc57f11cebb15607f"}, - {file = "coverage-7.3.1-cp312-cp312-win32.whl", hash = "sha256:c397c70cd20f6df7d2a52283857af622d5f23300c4ca8e5bd8c7a543825baa5a"}, - {file = "coverage-7.3.1-cp312-cp312-win_amd64.whl", hash = "sha256:5ae4c6da8b3d123500f9525b50bf0168023313963e0e2e814badf9000dd6ef92"}, - {file = "coverage-7.3.1-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:ca70466ca3a17460e8fc9cea7123c8cbef5ada4be3140a1ef8f7b63f2f37108f"}, - {file = "coverage-7.3.1-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:f2781fd3cabc28278dc982a352f50c81c09a1a500cc2086dc4249853ea96b981"}, - {file = "coverage-7.3.1-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:6407424621f40205bbe6325686417e5e552f6b2dba3535dd1f90afc88a61d465"}, - {file = "coverage-7.3.1-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:04312b036580ec505f2b77cbbdfb15137d5efdfade09156961f5277149f5e344"}, - {file = "coverage-7.3.1-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:ac9ad38204887349853d7c313f53a7b1c210ce138c73859e925bc4e5d8fc18e7"}, - {file = "coverage-7.3.1-cp38-cp38-musllinux_1_1_aarch64.whl", hash = "sha256:53669b79f3d599da95a0afbef039ac0fadbb236532feb042c534fbb81b1a4e40"}, - {file = "coverage-7.3.1-cp38-cp38-musllinux_1_1_i686.whl", hash = "sha256:614f1f98b84eb256e4f35e726bfe5ca82349f8dfa576faabf8a49ca09e630086"}, - {file = "coverage-7.3.1-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:f1a317fdf5c122ad642db8a97964733ab7c3cf6009e1a8ae8821089993f175ff"}, - {file = "coverage-7.3.1-cp38-cp38-win32.whl", hash = "sha256:defbbb51121189722420a208957e26e49809feafca6afeef325df66c39c4fdb3"}, - {file = "coverage-7.3.1-cp38-cp38-win_amd64.whl", hash = "sha256:f4f456590eefb6e1b3c9ea6328c1e9fa0f1006e7481179d749b3376fc793478e"}, - {file = "coverage-7.3.1-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:f12d8b11a54f32688b165fd1a788c408f927b0960984b899be7e4c190ae758f1"}, - {file = "coverage-7.3.1-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:f09195dda68d94a53123883de75bb97b0e35f5f6f9f3aa5bf6e496da718f0cb6"}, - {file = "coverage-7.3.1-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:c6601a60318f9c3945be6ea0f2a80571f4299b6801716f8a6e4846892737ebe4"}, - {file = "coverage-7.3.1-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:07d156269718670d00a3b06db2288b48527fc5f36859425ff7cec07c6b367745"}, - {file = "coverage-7.3.1-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:636a8ac0b044cfeccae76a36f3b18264edcc810a76a49884b96dd744613ec0b7"}, - {file = "coverage-7.3.1-cp39-cp39-musllinux_1_1_aarch64.whl", hash = "sha256:5d991e13ad2ed3aced177f524e4d670f304c8233edad3210e02c465351f785a0"}, - {file = "coverage-7.3.1-cp39-cp39-musllinux_1_1_i686.whl", hash = "sha256:586649ada7cf139445da386ab6f8ef00e6172f11a939fc3b2b7e7c9082052fa0"}, - {file = "coverage-7.3.1-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:4aba512a15a3e1e4fdbfed2f5392ec221434a614cc68100ca99dcad7af29f3f8"}, - {file = "coverage-7.3.1-cp39-cp39-win32.whl", hash = "sha256:6bc6f3f4692d806831c136c5acad5ccedd0262aa44c087c46b7101c77e139140"}, - {file = "coverage-7.3.1-cp39-cp39-win_amd64.whl", hash = "sha256:553d7094cb27db58ea91332e8b5681bac107e7242c23f7629ab1316ee73c4981"}, - {file = "coverage-7.3.1-pp38.pp39.pp310-none-any.whl", hash = "sha256:220eb51f5fb38dfdb7e5d54284ca4d0cd70ddac047d750111a68ab1798945194"}, - {file = "coverage-7.3.1.tar.gz", hash = "sha256:6cb7fe1581deb67b782c153136541e20901aa312ceedaf1467dcb35255787952"}, + {file = "coverage-7.3.2-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:d872145f3a3231a5f20fd48500274d7df222e291d90baa2026cc5152b7ce86bf"}, + {file = "coverage-7.3.2-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:310b3bb9c91ea66d59c53fa4989f57d2436e08f18fb2f421a1b0b6b8cc7fffda"}, + {file = "coverage-7.3.2-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:f47d39359e2c3779c5331fc740cf4bce6d9d680a7b4b4ead97056a0ae07cb49a"}, + {file = "coverage-7.3.2-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:aa72dbaf2c2068404b9870d93436e6d23addd8bbe9295f49cbca83f6e278179c"}, + {file = "coverage-7.3.2-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:beaa5c1b4777f03fc63dfd2a6bd820f73f036bfb10e925fce067b00a340d0f3f"}, + {file = "coverage-7.3.2-cp310-cp310-musllinux_1_1_aarch64.whl", hash = "sha256:dbc1b46b92186cc8074fee9d9fbb97a9dd06c6cbbef391c2f59d80eabdf0faa6"}, + {file = "coverage-7.3.2-cp310-cp310-musllinux_1_1_i686.whl", hash = "sha256:315a989e861031334d7bee1f9113c8770472db2ac484e5b8c3173428360a9148"}, + {file = "coverage-7.3.2-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:d1bc430677773397f64a5c88cb522ea43175ff16f8bfcc89d467d974cb2274f9"}, + {file = "coverage-7.3.2-cp310-cp310-win32.whl", hash = "sha256:a889ae02f43aa45032afe364c8ae84ad3c54828c2faa44f3bfcafecb5c96b02f"}, + {file = "coverage-7.3.2-cp310-cp310-win_amd64.whl", hash = "sha256:c0ba320de3fb8c6ec16e0be17ee1d3d69adcda99406c43c0409cb5c41788a611"}, + {file = "coverage-7.3.2-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:ac8c802fa29843a72d32ec56d0ca792ad15a302b28ca6203389afe21f8fa062c"}, + {file = "coverage-7.3.2-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:89a937174104339e3a3ffcf9f446c00e3a806c28b1841c63edb2b369310fd074"}, + {file = "coverage-7.3.2-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:e267e9e2b574a176ddb983399dec325a80dbe161f1a32715c780b5d14b5f583a"}, + {file = "coverage-7.3.2-cp311-cp311-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:2443cbda35df0d35dcfb9bf8f3c02c57c1d6111169e3c85fc1fcc05e0c9f39a3"}, + {file = "coverage-7.3.2-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:4175e10cc8dda0265653e8714b3174430b07c1dca8957f4966cbd6c2b1b8065a"}, + {file = "coverage-7.3.2-cp311-cp311-musllinux_1_1_aarch64.whl", hash = "sha256:0cbf38419fb1a347aaf63481c00f0bdc86889d9fbf3f25109cf96c26b403fda1"}, + {file = "coverage-7.3.2-cp311-cp311-musllinux_1_1_i686.whl", hash = "sha256:5c913b556a116b8d5f6ef834038ba983834d887d82187c8f73dec21049abd65c"}, + {file = "coverage-7.3.2-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:1981f785239e4e39e6444c63a98da3a1db8e971cb9ceb50a945ba6296b43f312"}, + {file = "coverage-7.3.2-cp311-cp311-win32.whl", hash = "sha256:43668cabd5ca8258f5954f27a3aaf78757e6acf13c17604d89648ecc0cc66640"}, + {file = "coverage-7.3.2-cp311-cp311-win_amd64.whl", hash = "sha256:e10c39c0452bf6e694511c901426d6b5ac005acc0f78ff265dbe36bf81f808a2"}, + {file = "coverage-7.3.2-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:4cbae1051ab791debecc4a5dcc4a1ff45fc27b91b9aee165c8a27514dd160836"}, + {file = "coverage-7.3.2-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:12d15ab5833a997716d76f2ac1e4b4d536814fc213c85ca72756c19e5a6b3d63"}, + {file = "coverage-7.3.2-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:3c7bba973ebee5e56fe9251300c00f1579652587a9f4a5ed8404b15a0471f216"}, + {file = "coverage-7.3.2-cp312-cp312-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:fe494faa90ce6381770746077243231e0b83ff3f17069d748f645617cefe19d4"}, + {file = "coverage-7.3.2-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:f6e9589bd04d0461a417562649522575d8752904d35c12907d8c9dfeba588faf"}, + {file = "coverage-7.3.2-cp312-cp312-musllinux_1_1_aarch64.whl", hash = "sha256:d51ac2a26f71da1b57f2dc81d0e108b6ab177e7d30e774db90675467c847bbdf"}, + {file = "coverage-7.3.2-cp312-cp312-musllinux_1_1_i686.whl", hash = "sha256:99b89d9f76070237975b315b3d5f4d6956ae354a4c92ac2388a5695516e47c84"}, + {file = "coverage-7.3.2-cp312-cp312-musllinux_1_1_x86_64.whl", hash = "sha256:fa28e909776dc69efb6ed975a63691bc8172b64ff357e663a1bb06ff3c9b589a"}, + {file = "coverage-7.3.2-cp312-cp312-win32.whl", hash = "sha256:289fe43bf45a575e3ab10b26d7b6f2ddb9ee2dba447499f5401cfb5ecb8196bb"}, + {file = "coverage-7.3.2-cp312-cp312-win_amd64.whl", hash = "sha256:7dbc3ed60e8659bc59b6b304b43ff9c3ed858da2839c78b804973f613d3e92ed"}, + {file = "coverage-7.3.2-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:f94b734214ea6a36fe16e96a70d941af80ff3bfd716c141300d95ebc85339738"}, + {file = "coverage-7.3.2-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:af3d828d2c1cbae52d34bdbb22fcd94d1ce715d95f1a012354a75e5913f1bda2"}, + {file = "coverage-7.3.2-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:630b13e3036e13c7adc480ca42fa7afc2a5d938081d28e20903cf7fd687872e2"}, + {file = "coverage-7.3.2-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:c9eacf273e885b02a0273bb3a2170f30e2d53a6d53b72dbe02d6701b5296101c"}, + {file = "coverage-7.3.2-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:d8f17966e861ff97305e0801134e69db33b143bbfb36436efb9cfff6ec7b2fd9"}, + {file = "coverage-7.3.2-cp38-cp38-musllinux_1_1_aarch64.whl", hash = "sha256:b4275802d16882cf9c8b3d057a0839acb07ee9379fa2749eca54efbce1535b82"}, + {file = "coverage-7.3.2-cp38-cp38-musllinux_1_1_i686.whl", hash = "sha256:72c0cfa5250f483181e677ebc97133ea1ab3eb68645e494775deb6a7f6f83901"}, + {file = "coverage-7.3.2-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:cb536f0dcd14149425996821a168f6e269d7dcd2c273a8bff8201e79f5104e76"}, + {file = "coverage-7.3.2-cp38-cp38-win32.whl", hash = "sha256:307adb8bd3abe389a471e649038a71b4eb13bfd6b7dd9a129fa856f5c695cf92"}, + {file = "coverage-7.3.2-cp38-cp38-win_amd64.whl", hash = "sha256:88ed2c30a49ea81ea3b7f172e0269c182a44c236eb394718f976239892c0a27a"}, + {file = "coverage-7.3.2-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:b631c92dfe601adf8f5ebc7fc13ced6bb6e9609b19d9a8cd59fa47c4186ad1ce"}, + {file = "coverage-7.3.2-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:d3d9df4051c4a7d13036524b66ecf7a7537d14c18a384043f30a303b146164e9"}, + {file = "coverage-7.3.2-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:5f7363d3b6a1119ef05015959ca24a9afc0ea8a02c687fe7e2d557705375c01f"}, + {file = "coverage-7.3.2-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:2f11cc3c967a09d3695d2a6f03fb3e6236622b93be7a4b5dc09166a861be6d25"}, + {file = "coverage-7.3.2-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:149de1d2401ae4655c436a3dced6dd153f4c3309f599c3d4bd97ab172eaf02d9"}, + {file = "coverage-7.3.2-cp39-cp39-musllinux_1_1_aarch64.whl", hash = "sha256:3a4006916aa6fee7cd38db3bfc95aa9c54ebb4ffbfc47c677c8bba949ceba0a6"}, + {file = "coverage-7.3.2-cp39-cp39-musllinux_1_1_i686.whl", hash = "sha256:9028a3871280110d6e1aa2df1afd5ef003bab5fb1ef421d6dc748ae1c8ef2ebc"}, + {file = "coverage-7.3.2-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:9f805d62aec8eb92bab5b61c0f07329275b6f41c97d80e847b03eb894f38d083"}, + {file = "coverage-7.3.2-cp39-cp39-win32.whl", hash = "sha256:d1c88ec1a7ff4ebca0219f5b1ef863451d828cccf889c173e1253aa84b1e07ce"}, + {file = "coverage-7.3.2-cp39-cp39-win_amd64.whl", hash = "sha256:b4767da59464bb593c07afceaddea61b154136300881844768037fd5e859353f"}, + {file = "coverage-7.3.2-pp38.pp39.pp310-none-any.whl", hash = "sha256:ae97af89f0fbf373400970c0a21eef5aa941ffeed90aee43650b81f7d7f47637"}, + {file = "coverage-7.3.2.tar.gz", hash = "sha256:be32ad29341b0170e795ca590e1c07e81fc061cb5b10c74ce7203491484404ef"}, ] [package.dependencies] @@ -606,13 +606,13 @@ files = [ [[package]] name = "packaging" -version = "23.1" +version = "23.2" description = "Core utilities for Python packages" optional = false python-versions = ">=3.7" files = [ - {file = "packaging-23.1-py3-none-any.whl", hash = "sha256:994793af429502c4ea2ebf6bf664629d07c1a9fe974af92966e4b8d2df7edc61"}, - {file = "packaging-23.1.tar.gz", hash = "sha256:a392980d2b6cffa644431898be54b0045151319d1e7ec34f0cfed48767dd334f"}, + {file = "packaging-23.2-py3-none-any.whl", hash = "sha256:8c491190033a9af7e1d931d0b5dacc2ef47509b34dd0de67ed209b5203fc88c7"}, + {file = "packaging-23.2.tar.gz", hash = "sha256:048fb0e9405036518eaaf48a55953c750c11e1a1b68e0dd1a9d62ed0c092cfc5"}, ] [[package]] @@ -659,13 +659,13 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "3.10.0" +version = "3.11.0" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a \"user data dir\"." optional = false python-versions = ">=3.7" files = [ - {file = "platformdirs-3.10.0-py3-none-any.whl", hash = "sha256:d7c24979f292f916dc9cbf8648319032f551ea8c49a4c9bf2fb556a02070ec1d"}, - {file = "platformdirs-3.10.0.tar.gz", hash = "sha256:b45696dab2d7cc691a3226759c0d3b00c47c8b6e293d96f6436f733303f77f6d"}, + {file = "platformdirs-3.11.0-py3-none-any.whl", hash = "sha256:e9d171d00af68be50e9202731309c4e658fd8bc76f55c11c7dd760d023bda68e"}, + {file = "platformdirs-3.11.0.tar.gz", hash = "sha256:cf8ee52a3afdb965072dcc652433e0c7e3e40cf5ea1477cd4b3b1d2eb75495b3"}, ] [package.extras] @@ -927,13 +927,13 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.13.0" +version = "3.14.0" description = "A tool to automatically upgrade syntax for newer versions." optional = false python-versions = ">=3.8.1" files = [ - {file = "pyupgrade-3.13.0-py2.py3-none-any.whl", hash = "sha256:8add43ca1fea6eaeb6815b0b987d1f6ff49ec48085169b2a32e9a797e2d2f8fd"}, - {file = "pyupgrade-3.13.0.tar.gz", hash = "sha256:92220ef0408ff5898bce8ce7845c33bf7bb79c8ff852c5a1dc4305e6333cd60b"}, + {file = "pyupgrade-3.14.0-py2.py3-none-any.whl", hash = "sha256:221923c5cd6171e4adb78bfd331ce95500112294c36fb61a0947c55c78cb1924"}, + {file = "pyupgrade-3.14.0.tar.gz", hash = "sha256:e5caa64798256e341afcee6fe42be8d75e4f88f20809b25dc6174548dbc3bace"}, ] [package.dependencies] diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 70ee51903e..679fc01aae 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.448" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.459" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From a605b30eff7211bb7c56d3cd30f40de47551d452 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 18:28:54 +0000 Subject: [PATCH 48/68] deps/blockchain-k-plugin_release: sync release file version c095983f3aec21c52f00b2d433202052ad7db104 --- deps/blockchain-k-plugin_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index 8fd1ef7508..fdd690bc92 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -b42e6ede9f6b72cedabc519810416e2994caad45 +c095983f3aec21c52f00b2d433202052ad7db104 From 90d081193b1c98fa52988dbae745ca5fbd6423d1 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 18:32:20 +0000 Subject: [PATCH 49/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 52 ++++++++++++++++++++++++++-------------------------- flake.nix | 4 ++-- 2 files changed, 28 insertions(+), 28 deletions(-) diff --git a/flake.lock b/flake.lock index a69ba17653..92bb511b14 100644 --- a/flake.lock +++ b/flake.lock @@ -98,17 +98,17 @@ ] }, "locked": { - "lastModified": 1693573175, - "narHash": "sha256-G6lV2a+oO3SJfvO+kKzcXeFQNXbhvF1T5SiZ9g3XME8=", + "lastModified": 1695839205, + "narHash": "sha256-9USUlWcL4YOseMJdQ1h4XvihR4/FG5zykykI7eY/13A=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "c2b639109b5c84c3f2c8abf9a826e50ab9525314", + "rev": "6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "c2b639109b5c84c3f2c8abf9a826e50ab9525314", + "rev": "6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566", "type": "github" } }, @@ -448,11 +448,11 @@ "systems": "systems" }, "locked": { - "lastModified": 1692799911, - "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=", + "lastModified": 1694529238, + "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", "owner": "numtide", "repo": "flake-utils", - "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44", + "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", "type": "github" }, "original": { @@ -627,17 +627,17 @@ "z3-src": "z3-src" }, "locked": { - "lastModified": 1692867782, - "narHash": "sha256-qPqg7hpCvRWOrG8k7jwbbTqThb0NFWQHZhZSeEqYI/g=", + "lastModified": 1695129967, + "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "63397c713d21322434d572281c1407d929a1189e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "85b5d086840a0f1e89499f086b50d7258598fc8b", "type": "github" } }, @@ -654,17 +654,17 @@ "z3-src": "z3-src_2" }, "locked": { - "lastModified": 1692867782, - "narHash": "sha256-qPqg7hpCvRWOrG8k7jwbbTqThb0NFWQHZhZSeEqYI/g=", + "lastModified": 1695129967, + "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "63397c713d21322434d572281c1407d929a1189e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1da6c43b8bb74a231b58978b1964a45d7ca753e4", + "rev": "63397c713d21322434d572281c1407d929a1189e", "type": "github" } }, @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1693947872, - "narHash": "sha256-pKiHZz+koADXQ3MdfzE39ADKSVnUIvmVbfkyZqNmXGQ=", + "lastModified": 1696035642, + "narHash": "sha256-numQpPzXG2pca1Hz7rv5k43s7yE4MTUpPP93gBSn8+o=", "owner": "runtimeverification", "repo": "k", - "rev": "3997d65c227fde4e67cedfca83a8a2d2436229e6", + "rev": "686fa0062f635d06dceea01a6d128f7e7f062a4d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.87", + "ref": "v6.0.124", "repo": "k", "type": "github" } @@ -1023,11 +1023,11 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1692976793, - "narHash": "sha256-ytl8wuFYYx9NAaIBLjil/UgZcK9fBgXDspDE1y+gNHM=", + "lastModified": 1696003407, + "narHash": "sha256-35nxaef4HaSqf8gnu5Fi/pariMDMZLaQXbQteeH+n+8=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "f3e29231a9a8bc4373fbbc74866f96df454cbc7e", + "rev": "b120acba180acd4c9bc4832abae3aaf12ba2e1b5", "type": "github" }, "original": { @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1695658775, - "narHash": "sha256-o3DRBtLwa7+mSU1FeGs2mDBelpQ4yuDx1AmMEWkSy6o=", + "lastModified": 1696093416, + "narHash": "sha256-xpxFYWlsqQJItCdw09Tl1X7nkJC7UVxtTfQoP1ApYyY=", "owner": "runtimeverification", "repo": "pyk", - "rev": "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b", + "rev": "d263b25ee713b51eb1189723581d800784c1b801", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.448", + "ref": "v0.1.459", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index d807d917ba..93c443724a 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.87"; + k-framework.url = "github:runtimeverification/k/v6.0.124"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.448"; + pyk.url = "github:runtimeverification/pyk/v0.1.459"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From f3ec056dc0e2b3c03728b11e74b833e1adfd596d Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Tue, 3 Oct 2023 18:35:17 +0000 Subject: [PATCH 50/68] bluckchain-k-plugin: update version --- deps/blockchain-k-plugin_release | 2 +- kevm-pyk/src/kevm_pyk/kproj/plugin | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index fdd690bc92..8fd1ef7508 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -c095983f3aec21c52f00b2d433202052ad7db104 +b42e6ede9f6b72cedabc519810416e2994caad45 diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin index c095983f3a..b42e6ede9f 160000 --- a/kevm-pyk/src/kevm_pyk/kproj/plugin +++ b/kevm-pyk/src/kevm_pyk/kproj/plugin @@ -1 +1 @@ -Subproject commit c095983f3aec21c52f00b2d433202052ad7db104 +Subproject commit b42e6ede9f6b72cedabc519810416e2994caad45 From f0d11937d12190db64abf850899ed1618ed0558e Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 18:41:27 +0000 Subject: [PATCH 51/68] 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 92bb511b14..7940382507 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1696084865, - "narHash": "sha256-0db01iMbkwUgOHI+ZiR1GiwLkL2turGOPH3oSkp4Eq0=", + "lastModified": 1696357247, + "narHash": "sha256-cCsH/uM1lfuCxfgflVwtg61Il6WjdZ/mDNwijIaRiRo=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "c095983f3aec21c52f00b2d433202052ad7db104", + "rev": "b42e6ede9f6b72cedabc519810416e2994caad45", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "c095983f3aec21c52f00b2d433202052ad7db104", + "rev": "b42e6ede9f6b72cedabc519810416e2994caad45", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 93c443724a..c1b07caddf 100644 --- a/flake.nix +++ b/flake.nix @@ -9,7 +9,7 @@ flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; poetry2nix.follows = "pyk/poetry2nix"; - blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/c095983f3aec21c52f00b2d433202052ad7db104"; + blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/b42e6ede9f6b72cedabc519810416e2994caad45"; blockchain-k-plugin.inputs.flake-utils.follows = "k-framework/flake-utils"; blockchain-k-plugin.inputs.nixpkgs.follows = "k-framework/nixpkgs"; ethereum-tests.url = "github:ethereum/tests/6401889dec4eee58e808fd178fb2c7f628a3e039"; From 75222f6db17ec416b3c08aa195a007269a88d110 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 23:44:37 +0000 Subject: [PATCH 52/68] deps/pyk_release: Set Version v0.1.460 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index 75674e6e60..b60e1d2c35 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.459 +v0.1.460 From 0e481601e9d4592efca2e739bfe7a491b7de9d58 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 23:47:33 +0000 Subject: [PATCH 53/68] kevm-pyk/: sync poetry files pyk version v0.1.460 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index f0dc54a3fe..b9276b950a 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.459" +version = "0.1.460" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.459" -resolved_reference = "d263b25ee713b51eb1189723581d800784c1b801" +reference = "v0.1.460" +resolved_reference = "44165c0eae635807eb679d2ee4a56c6c3a2879af" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "6c97661bfad7d0994543db3086fe86a66b8948487c7a01d6ba86df1a70c25036" +content-hash = "d3e96b231c6d54383a53b8b2b2d43750e524aaf94dd28d4985c0d5f84c9cf840" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 679fc01aae..5e5b7c5548 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.459" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.460" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From 63facef33427b44655c1e9cf955bd84f48e46230 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 23:47:33 +0000 Subject: [PATCH 54/68] deps/k_release: sync release file version 6.0.128 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 6707f45930..32611eb1aa 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.124 +6.0.128 From fb5f9db9f99419c58e0a0b3d2d89e5e4c0714d77 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Oct 2023 23:50:14 +0000 Subject: [PATCH 55/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 28 ++++++++++++++-------------- flake.nix | 4 ++-- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/flake.lock b/flake.lock index 7940382507..46ba90bc0d 100644 --- a/flake.lock +++ b/flake.lock @@ -366,11 +366,11 @@ "flake-compat_4": { "flake": false, "locked": { - "lastModified": 1673956053, - "narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=", + "lastModified": 1696267196, + "narHash": "sha256-AAQ/2sD+0D18bb8hKuEEVpHUYD1GmO2Uh/taFamn6XQ=", "owner": "edolstra", "repo": "flake-compat", - "rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9", + "rev": "4f910c9827911b1ec2bf26b5a062cd09f8d89f85", "type": "github" }, "original": { @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1696035642, - "narHash": "sha256-numQpPzXG2pca1Hz7rv5k43s7yE4MTUpPP93gBSn8+o=", + "lastModified": 1696347792, + "narHash": "sha256-8Os46ITsF8eNGIYbVB7bXjdiGEofyeh+edQE6wvwwxY=", "owner": "runtimeverification", "repo": "k", - "rev": "686fa0062f635d06dceea01a6d128f7e7f062a4d", + "rev": "ce7aaa7c098d2ab27cad4cb42ce2c718b8cad0ab", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.124", + "ref": "v6.0.128", "repo": "k", "type": "github" } @@ -1023,11 +1023,11 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1696003407, - "narHash": "sha256-35nxaef4HaSqf8gnu5Fi/pariMDMZLaQXbQteeH+n+8=", + "lastModified": 1696257790, + "narHash": "sha256-2iNcK72D4V9l+sjHBvv0ZAXXdSYf0YVX4MuaMvSxgb8=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b120acba180acd4c9bc4832abae3aaf12ba2e1b5", + "rev": "0952940a242d8909da60d3ebde6059b47579f530", "type": "github" }, "original": { @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1696093416, - "narHash": "sha256-xpxFYWlsqQJItCdw09Tl1X7nkJC7UVxtTfQoP1ApYyY=", + "lastModified": 1696357267, + "narHash": "sha256-P7ta0QSAO3g1RD/7aLHYq663CYKlfEl29a/NKEXFA2M=", "owner": "runtimeverification", "repo": "pyk", - "rev": "d263b25ee713b51eb1189723581d800784c1b801", + "rev": "44165c0eae635807eb679d2ee4a56c6c3a2879af", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.459", + "ref": "v0.1.460", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index c1b07caddf..bc70112dcf 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.124"; + k-framework.url = "github:runtimeverification/k/v6.0.128"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.459"; + pyk.url = "github:runtimeverification/pyk/v0.1.460"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From c8c9e1a9d99c14df1421a9faf016bd9e9009f75d Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Wed, 4 Oct 2023 20:26:26 +0000 Subject: [PATCH 56/68] kevm-pyk/word: make sure #rangeUInt(5, ...) is defined --- .../src/kevm_pyk/kproj/evm-semantics/word.md | 135 +++++++++--------- 1 file changed, 71 insertions(+), 64 deletions(-) diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md index afc975f115..5993e751c8 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/word.md @@ -17,73 +17,75 @@ Some important numbers that are referred to often during execution. These can be used for pattern-matching on the LHS of rules as well (`alias` attribute expands all occurances of these in rules). ```k - syntax Int ::= "pow256" [alias] /* 2 ^Int 256 */ + syntax Int ::= "pow5" [macro] /* 2 ^Int 5 */ + | "pow8" [macro] /* 2 ^Int 8 */ + | "pow16" [alias] /* 2 ^Int 16 */ + | "pow24" [alias] /* 2 ^Int 24 */ + | "pow32" [alias] /* 2 ^Int 32 */ + | "pow40" [alias] /* 2 ^Int 40 */ + | "pow48" [alias] /* 2 ^Int 48 */ + | "pow56" [alias] /* 2 ^Int 56 */ + | "pow64" [alias] /* 2 ^Int 64 */ + | "pow72" [alias] /* 2 ^Int 72 */ + | "pow80" [alias] /* 2 ^Int 80 */ + | "pow88" [alias] /* 2 ^Int 88 */ + | "pow96" [alias] /* 2 ^Int 96 */ + | "pow104" [alias] /* 2 ^Int 104 */ + | "pow112" [alias] /* 2 ^Int 112 */ + | "pow120" [alias] /* 2 ^Int 120 */ + | "pow128" [alias] /* 2 ^Int 128 */ + | "pow136" [alias] /* 2 ^Int 136 */ + | "pow144" [alias] /* 2 ^Int 144 */ + | "pow152" [alias] /* 2 ^Int 152 */ + | "pow160" [alias] /* 2 ^Int 160 */ + | "pow168" [alias] /* 2 ^Int 168 */ + | "pow176" [alias] /* 2 ^Int 176 */ + | "pow184" [alias] /* 2 ^Int 184 */ + | "pow192" [alias] /* 2 ^Int 192 */ + | "pow200" [alias] /* 2 ^Int 200 */ + | "pow208" [alias] /* 2 ^Int 208 */ + | "pow216" [alias] /* 2 ^Int 216 */ + | "pow224" [alias] /* 2 ^Int 224 */ + | "pow232" [alias] /* 2 ^Int 232 */ + | "pow240" [alias] /* 2 ^Int 240 */ + | "pow248" [alias] /* 2 ^Int 248 */ | "pow255" [alias] /* 2 ^Int 255 */ - | "pow248" [alias] /* 2 ^Int 248" */ - | "pow240" [alias] /* 2 ^Int 240" */ - | "pow232" [alias] /* 2 ^Int 232" */ - | "pow224" [alias] /* 2 ^Int 224" */ - | "pow216" [alias] /* 2 ^Int 216" */ - | "pow208" [alias] /* 2 ^Int 208" */ - | "pow200" [alias] /* 2 ^Int 200" */ - | "pow192" [alias] /* 2 ^Int 192" */ - | "pow184" [alias] /* 2 ^Int 184" */ - | "pow176" [alias] /* 2 ^Int 176" */ - | "pow168" [alias] /* 2 ^Int 168" */ - | "pow160" [alias] /* 2 ^Int 160" */ - | "pow152" [alias] /* 2 ^Int 152" */ - | "pow144" [alias] /* 2 ^Int 144" */ - | "pow136" [alias] /* 2 ^Int 136" */ - | "pow128" [alias] /* 2 ^Int 128" */ - | "pow120" [alias] /* 2 ^Int 120" */ - | "pow112" [alias] /* 2 ^Int 112" */ - | "pow104" [alias] /* 2 ^Int 104" */ - | "pow96" [alias] /* 2 ^Int 96" */ - | "pow88" [alias] /* 2 ^Int 88" */ - | "pow80" [alias] /* 2 ^Int 80" */ - | "pow72" [alias] /* 2 ^Int 72" */ - | "pow64" [alias] /* 2 ^Int 64" */ - | "pow56" [alias] /* 2 ^Int 56" */ - | "pow48" [alias] /* 2 ^Int 48" */ - | "pow40" [alias] /* 2 ^Int 40" */ - | "pow32" [alias] /* 2 ^Int 32" */ - | "pow24" [alias] /* 2 ^Int 24" */ - | "pow16" [alias] /* 2 ^Int 16" */ - | "pow8" [macro] /* 2 ^Int 8" */ + | "pow256" [alias] /* 2 ^Int 256 */ // ------------------------------------------------ - rule pow256 => 115792089237316195423570985008687907853269984665640564039457584007913129639936 - rule pow255 => 57896044618658097711785492504343953926634992332820282019728792003956564819968 - rule pow248 => 452312848583266388373324160190187140051835877600158453279131187530910662656 - rule pow240 => 1766847064778384329583297500742918515827483896875618958121606201292619776 - rule pow232 => 6901746346790563787434755862277025452451108972170386555162524223799296 - rule pow224 => 26959946667150639794667015087019630673637144422540572481103610249216 - rule pow216 => 105312291668557186697918027683670432318895095400549111254310977536 - rule pow208 => 411376139330301510538742295639337626245683966408394965837152256 - rule pow200 => 1606938044258990275541962092341162602522202993782792835301376 - rule pow192 => 6277101735386680763835789423207666416102355444464034512896 - rule pow184 => 24519928653854221733733552434404946937899825954937634816 - rule pow176 => 95780971304118053647396689196894323976171195136475136 - rule pow168 => 374144419156711147060143317175368453031918731001856 - rule pow160 => 1461501637330902918203684832716283019655932542976 - rule pow152 => 5708990770823839524233143877797980545530986496 - rule pow144 => 22300745198530623141535718272648361505980416 - rule pow136 => 87112285931760246646623899502532662132736 - rule pow128 => 340282366920938463463374607431768211456 - rule pow120 => 1329227995784915872903807060280344576 - rule pow112 => 5192296858534827628530496329220096 - rule pow104 => 20282409603651670423947251286016 - rule pow96 => 79228162514264337593543950336 - rule pow88 => 309485009821345068724781056 - rule pow80 => 1208925819614629174706176 - rule pow72 => 4722366482869645213696 - rule pow64 => 18446744073709551616 - rule pow56 => 72057594037927936 - rule pow48 => 281474976710656 - rule pow40 => 1099511627776 - rule pow32 => 4294967296 - rule pow24 => 16777216 - rule pow16 => 65536 + rule pow5 => 32 rule pow8 => 256 + rule pow16 => 65536 + rule pow24 => 16777216 + rule pow32 => 4294967296 + rule pow40 => 1099511627776 + rule pow48 => 281474976710656 + rule pow56 => 72057594037927936 + rule pow64 => 18446744073709551616 + rule pow72 => 4722366482869645213696 + rule pow80 => 1208925819614629174706176 + rule pow88 => 309485009821345068724781056 + rule pow96 => 79228162514264337593543950336 + rule pow104 => 20282409603651670423947251286016 + rule pow112 => 5192296858534827628530496329220096 + rule pow120 => 1329227995784915872903807060280344576 + rule pow128 => 340282366920938463463374607431768211456 + rule pow136 => 87112285931760246646623899502532662132736 + rule pow144 => 22300745198530623141535718272648361505980416 + rule pow152 => 5708990770823839524233143877797980545530986496 + rule pow160 => 1461501637330902918203684832716283019655932542976 + rule pow168 => 374144419156711147060143317175368453031918731001856 + rule pow176 => 95780971304118053647396689196894323976171195136475136 + rule pow184 => 24519928653854221733733552434404946937899825954937634816 + rule pow192 => 6277101735386680763835789423207666416102355444464034512896 + rule pow200 => 1606938044258990275541962092341162602522202993782792835301376 + rule pow208 => 411376139330301510538742295639337626245683966408394965837152256 + rule pow216 => 105312291668557186697918027683670432318895095400549111254310977536 + rule pow224 => 26959946667150639794667015087019630673637144422540572481103610249216 + rule pow232 => 6901746346790563787434755862277025452451108972170386555162524223799296 + rule pow240 => 1766847064778384329583297500742918515827483896875618958121606201292619776 + rule pow248 => 452312848583266388373324160190187140051835877600158453279131187530910662656 + rule pow255 => 57896044618658097711785492504343953926634992332820282019728792003956564819968 + rule pow256 => 115792089237316195423570985008687907853269984665640564039457584007913129639936 ``` Maximums and minimums @@ -188,6 +190,8 @@ The maximum and minimum values of each type are defined below. | "minSInt256" [alias] | "minSInt256Word" [alias] | "maxSInt256" [alias] + | "minUInt5" [macro] + | "maxUInt5" [alias] | "minUInt8" [macro] | "maxUInt8" [alias] | "minUInt16" [macro] @@ -357,6 +361,8 @@ The maximum and minimum values of each type are defined below. rule minSFixed128x10 => -1701411834604692317316873037158841057280000000000 /* (-2^487 ) * 10^10 */ rule maxSFixed128x10 => 1701411834604692317316873037158841057270000000000 /* ( 2^487 - 1) * 10^10 */ + rule minUInt5 => 0 + rule maxUInt5 => 31 /* 2^5 - 1 */ rule minUInt8 => 0 rule maxUInt8 => 255 /* 2^8 - 1 */ rule minUInt16 => 0 @@ -510,6 +516,7 @@ Range of types rule #rangeSInt ( 248 , X ) => #range ( minSInt248 <= X <= maxSInt248 ) rule #rangeSInt ( 256 , X ) => #range ( minSInt256 <= X <= maxSInt256 ) + rule #rangeUInt ( 5 , X ) => #range ( minUInt5 <= X < pow5 ) rule #rangeUInt ( 8 , X ) => #range ( minUInt8 <= X < pow8 ) rule #rangeUInt ( 16 , X ) => #range ( minUInt16 <= X < pow16 ) rule #rangeUInt ( 24 , X ) => #range ( minUInt24 <= X < pow24 ) From 33bb3a33b57466f98769574e57299be54e802162 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 4 Oct 2023 20:32:57 +0000 Subject: [PATCH 57/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index 46ba90bc0d..25fff60b68 100644 --- a/flake.lock +++ b/flake.lock @@ -533,11 +533,11 @@ "nixpkgs": "nixpkgs" }, "locked": { - "lastModified": 1691140388, - "narHash": "sha256-AH3fx2VFGPRSOjnuakab4T4AdUstwTnFTbnkoU4df8Q=", + "lastModified": 1696410815, + "narHash": "sha256-uku47D/L+VzO3sVoZbnexPQPGeQtMwMFBesyaA1vKtE=", "owner": "shazow", "repo": "foundry.nix", - "rev": "6089aad0ef615ac8c7b0c948d6052fa848c99523", + "rev": "a56126a754d73f85d904768fed569a9e250388d9", "type": "github" }, "original": { From 6de95af81bfd5a78d25cb898fda0ca8fad09f48a Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 5 Oct 2023 07:52:53 +0000 Subject: [PATCH 58/68] deps/pyk_release: Set Version v0.1.461 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index b60e1d2c35..e9c898b343 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.460 +v0.1.461 From db2b798bbad6f0e3b51e322eb4cf15eb97a3f850 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 5 Oct 2023 07:56:22 +0000 Subject: [PATCH 59/68] kevm-pyk/: sync poetry files pyk version v0.1.461 --- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index b9276b950a..399d29d844 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -790,7 +790,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.460" +version = "0.1.461" description = "" optional = false python-versions = "^3.10" @@ -810,8 +810,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.460" -resolved_reference = "44165c0eae635807eb679d2ee4a56c6c3a2879af" +reference = "v0.1.461" +resolved_reference = "79c45d9f1ae355b591cbd2e8b77c6205ab170835" [[package]] name = "pyperclip" @@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d3e96b231c6d54383a53b8b2b2d43750e524aaf94dd28d4985c0d5f84c9cf840" +content-hash = "3d97eb00a8b24672a738cee1c8ca57e90235482562134c38abf342383dc0a0e3" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 5e5b7c5548..9be87ed0c4 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.460" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.461" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" From ca92cf8892d3c3b08bdf8d987ab96d32bc869ba8 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 5 Oct 2023 07:56:23 +0000 Subject: [PATCH 60/68] deps/k_release: sync release file version 6.0.133 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 32611eb1aa..d974b1f71e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.128 +6.0.133 From c7045ad88e218d26a216b0f8b6dde166143d02fa Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 5 Oct 2023 07:59:29 +0000 Subject: [PATCH 61/68] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 25fff60b68..374fd9ad7f 100644 --- a/flake.lock +++ b/flake.lock @@ -977,16 +977,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1696347792, - "narHash": "sha256-8Os46ITsF8eNGIYbVB7bXjdiGEofyeh+edQE6wvwwxY=", + "lastModified": 1696460597, + "narHash": "sha256-5DDKlhQcnZvMKByOScNx7kRn2bEB7RHUAKeu/0nEq9U=", "owner": "runtimeverification", "repo": "k", - "rev": "ce7aaa7c098d2ab27cad4cb42ce2c718b8cad0ab", + "rev": "cf6252fa9bfc9867e956fe3a20868722e62effd5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.128", + "ref": "v6.0.133", "repo": "k", "type": "github" } @@ -1604,16 +1604,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1696357267, - "narHash": "sha256-P7ta0QSAO3g1RD/7aLHYq663CYKlfEl29a/NKEXFA2M=", + "lastModified": 1696491819, + "narHash": "sha256-WjolGOqS/liz609TlGOXI5RjnQQo9NIh4jK5MXZ5B1k=", "owner": "runtimeverification", "repo": "pyk", - "rev": "44165c0eae635807eb679d2ee4a56c6c3a2879af", + "rev": "79c45d9f1ae355b591cbd2e8b77c6205ab170835", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.460", + "ref": "v0.1.461", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index bc70112dcf..bd6d9fb4ee 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4"; - k-framework.url = "github:runtimeverification/k/v6.0.128"; + k-framework.url = "github:runtimeverification/k/v6.0.133"; k-framework.inputs.nixpkgs.follows = "nixpkgs"; #nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.460"; + pyk.url = "github:runtimeverification/pyk/v0.1.461"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases From 0a1746cb7e78a62e904236117afa35bfd66b5ed2 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Oct 2023 15:53:54 +0000 Subject: [PATCH 62/68] Set Version: 1.0.313 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 9be87ed0c4..4e1e20e8de 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.312" +version = "1.0.313" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index fd9db9e29c..aa7118da03 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.312' +VERSION: Final = '1.0.313' diff --git a/package/version b/package/version index 6c252d93e9..e4cade8af0 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.312 +1.0.313 From 23f43ff058711ffd3fe7a484ab7c53c3ed83473e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Oct 2023 15:56:53 +0000 Subject: [PATCH 63/68] kevm-pyk/: sync poetry files pyk version v0.1.461 --- kevm-pyk/poetry.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 399d29d844..f509828427 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -342,13 +342,13 @@ flake8 = "*" [[package]] name = "flake8-type-checking" -version = "2.4.1" +version = "2.4.2" description = "A flake8 plugin for managing type-checking imports & forward references" optional = false python-versions = ">=3.8" files = [ - {file = "flake8_type_checking-2.4.1-py3-none-any.whl", hash = "sha256:fe75cfe668e3bf6914dd2ba36579bbe6c82f3795127774e7584ecc8c9f7379e5"}, - {file = "flake8_type_checking-2.4.1.tar.gz", hash = "sha256:f3c7023114dee2ec2e8282a9080206ffd8fdd61205626593aa5c801bc2f8035d"}, + {file = "flake8_type_checking-2.4.2-py3-none-any.whl", hash = "sha256:921efdcb2bfcd6d6cd3bb411419e9dcbd506bd8893ad749030d9cce032129f28"}, + {file = "flake8_type_checking-2.4.2.tar.gz", hash = "sha256:468a7c91ca6ebe58c4af6836dda3bfeba7bfb7c0b5f724baf5024ad5fda0504c"}, ] [package.dependencies] From 6d52e640f6ec791255a11345e3125b4af8c75194 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Oct 2023 22:34:26 +0000 Subject: [PATCH 64/68] Set Version: 1.0.314 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 4e1e20e8de..275ba18d44 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.313" +version = "1.0.314" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index aa7118da03..2e92eddbaa 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.313' +VERSION: Final = '1.0.314' diff --git a/package/version b/package/version index e4cade8af0..7681bff51e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.313 +1.0.314 From 39d97e7d1c89c3d3997bafc05cff2e62e18cfbfb Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 7 Oct 2023 19:02:39 +0000 Subject: [PATCH 65/68] Set Version: 1.0.315 --- kevm-pyk/pyproject.toml | 2 +- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 275ba18d44..b0f8926226 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.314" +version = "1.0.315" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 2e92eddbaa..af8df6f2ff 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.314' +VERSION: Final = '1.0.315' diff --git a/package/version b/package/version index 7681bff51e..aeffd5170f 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.314 +1.0.315 From ff2fb0bfffbb7da49931f27e72fc21356caca37d Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 7 Oct 2023 19:05:36 +0000 Subject: [PATCH 66/68] kevm-pyk/: sync poetry files pyk version v0.1.461 --- kevm-pyk/poetry.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index f509828427..2f71487a95 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -927,13 +927,13 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.14.0" +version = "3.15.0" description = "A tool to automatically upgrade syntax for newer versions." optional = false python-versions = ">=3.8.1" files = [ - {file = "pyupgrade-3.14.0-py2.py3-none-any.whl", hash = "sha256:221923c5cd6171e4adb78bfd331ce95500112294c36fb61a0947c55c78cb1924"}, - {file = "pyupgrade-3.14.0.tar.gz", hash = "sha256:e5caa64798256e341afcee6fe42be8d75e4f88f20809b25dc6174548dbc3bace"}, + {file = "pyupgrade-3.15.0-py2.py3-none-any.whl", hash = "sha256:8dc8ebfaed43566e2c65994162795017c7db11f531558a74bc8aa077907bc305"}, + {file = "pyupgrade-3.15.0.tar.gz", hash = "sha256:a7fde381060d7c224f55aef7a30fae5ac93bbc428367d27e70a603bc2acd4f00"}, ] [package.dependencies] From a22d6208b47bdb07854bce037c7db45f7986cc56 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?= Date: Tue, 10 Oct 2023 11:39:49 +0200 Subject: [PATCH 67/68] Update expected output --- .../test-data/gas-abstraction.expected | 295 +- .../show/LoopsTest.sum_N(uint256).expected | 5304 +---------------- 2 files changed, 106 insertions(+), 5493 deletions(-) diff --git a/kevm-pyk/src/tests/integration/test-data/gas-abstraction.expected b/kevm-pyk/src/tests/integration/test-data/gas-abstraction.expected index 5018138626..45333622f2 100644 --- a/kevm-pyk/src/tests/integration/test-data/gas-abstraction.expected +++ b/kevm-pyk/src/tests/integration/test-data/gas-abstraction.expected @@ -19,66 +19,8 @@ │ callDepth: 0 │ statusCode: STATUSCODE:StatusCode │ -│ (344 steps) +│ (445 steps) ├─ 5 -│ k: #pc [ JUMPI ] ~> #execute ~> CONTINUATION:K -│ pc: 420 -│ callDepth: 0 -│ statusCode: STATUSCODE:StatusCode -│ -┊ constraint: true -┊ subst: { - CONTINUATION <- CONTINUATION:K - EXITCODE_CELL <- EXITCODE_CELL:Int - STATUSCODE <- STATUSCODE:StatusCode - TOUCHEDACCOUNTS_CELL <- TOUCHEDACCOUNTS_CELL:Set - CALLER_ID <- CALLER_ID:Int - ?_VGAS <- ?_VGAS:Int - ?_VCALLGAS <- ?_VCALLGAS:Int - VGAS_2285f3e8 <- ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) +Int -157 ) - SELFDESTRUCT_CELL <- SELFDESTRUCT_CELL:Set - REFUND_CELL <- REFUND_CELL:Int - GASPRICE_CELL <- GASPRICE_CELL:Int - ORIGIN_ID <- ORIGIN_ID:Int - BLOCKHASHES_CELL <- BLOCKHASHES_CELL:List - PREVIOUSHASH_CELL <- PREVIOUSHASH_CELL:Int - OMMERSHASH_CELL <- OMMERSHASH_CELL:Int - COINBASE_CELL <- COINBASE_CELL:Int - STATEROOT_CELL <- STATEROOT_CELL:Int - TRANSACTIONSROOT_CELL <- TRANSACTIONSROOT_CELL:Int - RECEIPTSROOT_CELL <- RECEIPTSROOT_CELL:Int - LOGSBLOOM_CELL <- LOGSBLOOM_CELL:Bytes - DIFFICULTY_CELL <- DIFFICULTY_CELL:Int - NUMBER_CELL <- NUMBER_CELL:Int - GASLIMIT_CELL <- GASLIMIT_CELL:Int - GASUSED_CELL <- GASUSED_CELL:Gas - TIMESTAMP_CELL <- TIMESTAMP_CELL:Int - EXTRADATA_CELL <- EXTRADATA_CELL:Bytes - MIXHASH_CELL <- MIXHASH_CELL:Int - BLOCKNONCE_CELL <- BLOCKNONCE_CELL:Int - BASEFEE_CELL <- BASEFEE_CELL:Int - WITHDRAWALSROOT_CELL <- WITHDRAWALSROOT_CELL:Int - OMMERBLOCKHEADERS_CELL <- OMMERBLOCKHEADERS_CELL:JSON - CHAINID_CELL <- CHAINID_CELL:Int - TXORDER_CELL <- TXORDER_CELL:List - TXPENDING_CELL <- TXPENDING_CELL:List - MESSAGES_CELL <- MESSAGES_CELL:MessageCellMap - DEPTH_CELL <- DEPTH_CELL:Int - EXPECTEDREASON_CELL <- EXPECTEDREASON_CELL:Bytes - EXPECTEDDEPTH_CELL <- EXPECTEDDEPTH_CELL:Int - CHECKEDTOPICS_CELL <- CHECKEDTOPICS_CELL:List - CHECKEDDATA_CELL <- CHECKEDDATA_CELL:Bool - EXPECTEDEVENTADDRESS_CELL <- EXPECTEDEVENTADDRESS_CELL:Account - GENERATEDCOUNTER_CELL <- GENERATEDCOUNTER_CELL:Int -} -├─ 6 -│ k: #pc [ JUMPI ] ~> #execute ~> CONTINUATION:K -│ pc: 420 -│ callDepth: 0 -│ statusCode: STATUSCODE:StatusCode -│ -│ (101 steps) -├─ 7 │ k: #end EVMC_REVERT ~> #pc [ REVERT ] ~> #execute ~> CONTINUATION:K │ pc: 808 │ callDepth: 0 @@ -93,7 +35,7 @@ CALLER_ID <- CALLER_ID:Int ?_VGAS <- ?_VGAS:Int ?_VCALLGAS <- ?_VCALLGAS:Int - VGAS_d38c7e07 <- ( VGAS_2285f3e8:Int +Int -45 ) + VGAS_1675167e <- ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) +Int -202 ) SELFDESTRUCT_CELL <- SELFDESTRUCT_CELL:Set REFUND_CELL <- REFUND_CELL:Int GASPRICE_CELL <- GASPRICE_CELL:Int @@ -129,21 +71,21 @@ EXPECTEDEVENTADDRESS_CELL <- EXPECTEDEVENTADDRESS_CELL:Account GENERATEDCOUNTER_CELL <- GENERATEDCOUNTER_CELL:Int } -├─ 8 +├─ 6 │ k: #end EVMC_REVERT ~> #pc [ REVERT ] ~> #execute ~> CONTINUATION:K │ pc: 808 │ callDepth: 0 │ statusCode: STATUSCODE:StatusCode │ │ (1 step) -├─ 9 +├─ 7 │ k: #halt ~> #pc [ REVERT ] ~> #execute ~> CONTINUATION:K │ pc: 808 │ callDepth: 0 │ statusCode: EVMC_REVERT │ │ (2 steps) -└─ 10 (leaf, terminal) +└─ 8 (leaf, terminal) k: #halt ~> CONTINUATION:K pc: 808 callDepth: 0 @@ -157,7 +99,7 @@ │ statusCode: STATUSCODE_FINAL -Node 10: +Node 8: ( @@ -895,7 +837,8 @@ Node 10: ( #checkCall 728815563385977040452943777879061427756277306518 0 ~> #call 728815563385977040452943777879061427756277306518 645326474426547203313410069153905908525362434349 645326474426547203313410069153905908525362434349 0 0 b"\xed\x9fsS" false ~> #return 128 0 - ~> #pc [ CALL ] => #pc [ JUMPI ] ) + ~> #pc [ CALL ] => #end EVMC_REVERT + ~> #pc [ REVERT ] ) ~> #execute ~> _CONTINUATION @@ -908,7 +851,7 @@ Node 10: - ( _OUTPUT_CELL => b"" ) + ( _OUTPUT_CELL => b"NH{q\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01" ) .List @@ -932,10 +875,10 @@ Node 10: 0 - ( ( 132 => ( ( ??_VGAS +Int ??_VCALLGAS ) +Int -127 ) ) : ( ( selector ( "infiniteGas()" ) => 583 ) : ( ( 645326474426547203313410069153905908525362434349 => 928 ) : ( ( 167 => 345 ) : ( ( selector ( "testInfiniteGas()" ) => ( ( ??_VGAS +Int ??_VCALLGAS ) +Int -36 ) ) : ( .WordStack => ( 167 : ( selector ( "testInfiniteGas()" ) : .WordStack ) ) ) ) ) ) ) ) + ( ( 132 => 428 ) : ( ( selector ( "infiniteGas()" ) => ( ( ??_VGAS +Int ??_VCALLGAS ) +Int -127 ) ) : ( ( 645326474426547203313410069153905908525362434349 => 583 ) : ( ( 167 => 928 ) : ( ( selector ( "testInfiniteGas()" ) => 345 ) : ( .WordStack => ( ( ( ??_VGAS +Int ??_VCALLGAS ) +Int -36 ) : ( 167 : ( selector ( "testInfiniteGas()" ) : .WordStack ) ) ) ) ) ) ) ) ) - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xed\x9fsS\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" + ( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xed\x9fsS\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" => b"NH{q\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xed\x9fsS\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) ... ... @@ -1100,214 +1043,6 @@ Node 10: [label(BASIC-BLOCK-4-TO-5)] rule [BASIC-BLOCK-6-TO-7]: - - - ( #pc [ JUMPI ] => #end EVMC_REVERT - ~> #pc [ REVERT ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - ( b"" => b"NH{q\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01" ) - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"c\xfe\xc36" - - - 0 - - - ( ( ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) +Int -127 ) => 428 ) : ( ( 583 => ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) +Int -127 ) ) : ( ( 928 => 583 ) : ( ( 345 => 928 ) : ( ( ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) +Int -36 ) => 345 ) : ( ( 167 => ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) +Int -36 ) ) : ( ( selector ( "testInfiniteGas()" ) => 167 ) : ( .WordStack => ( selector ( "testInfiniteGas()" ) : .WordStack ) ) ) ) ) ) ) ) ) - - - ( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xed\x9fsS\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" => b"NH{q\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\xed\x9fsS\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) - - ... - ... - - 5 - - - #gas ( ?_VCALLGAS:Int ) - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( CALLER_ID:Int ( #end EVMC_REVERT => #halt ) @@ -1516,9 +1251,9 @@ Node 10: andBool ( NUMBER_CELL:Int <=Int maxSInt256 andBool ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) + rule [BASIC-BLOCK-7-TO-8]: #halt @@ -1727,14 +1462,14 @@ Node 10: andBool ( NUMBER_CELL:Int <=Int maxSInt256 andBool ( ( ?_VGAS:Int +Int ?_VCALLGAS:Int ) #pc [ JUMPI ] ~> #execute ~> CONTINUATION:K - │ pc: 1539 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (12 steps) - ├─ 11 - │ k: #access [ JUMPDEST , JUMPDEST ] ~> JUMPDEST ~> #pc [ JUMPDEST ] ~> #execute ~> C ... - │ pc: 1569 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (5 steps) - ├─ 13 - │ k: #execute ~> CONTINUATION:K - │ pc: 1571 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (2 steps) - ├─ 14 - │ k: #execute ~> CONTINUATION:K - │ pc: 1572 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (9 steps) - ├─ 15 - │ k: #access [ POP , POP 0 ] ~> POP 0 ~> #pc [ POP ] ~> #execute ~> CONTINUATION:K - │ pc: 1572 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (12 steps) - ├─ 16 - │ k: #access [ POP , POP 0 ] ~> POP 0 ~> #pc [ POP ] ~> #execute ~> CONTINUATION:K - │ pc: 1573 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (12 steps) - ├─ 17 - │ k: #access [ JUMP , JUMP 334 ] ~> JUMP 334 ~> #pc [ JUMP ] ~> #execute ~> CONTINUAT ... - │ pc: 1574 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (13 steps) - ├─ 18 - │ k: #access [ JUMPDEST , JUMPDEST ] ~> JUMPDEST ~> #pc [ JUMPDEST ] ~> #execute ~> C ... - │ pc: 334 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (5 steps) - ├─ 19 - │ k: #execute ~> CONTINUATION:K - │ pc: 337 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (12 steps) - ├─ 20 - │ k: #access [ MLOAD , MLOAD 64 ] ~> MLOAD 64 ~> #pc [ MLOAD ] ~> #execute ~> CONTINU ... - │ pc: 337 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (6 steps) - ├─ 21 - │ k: #execute ~> CONTINUATION:K - │ pc: 339 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (2 steps) - ├─ 22 - │ k: #execute ~> CONTINUATION:K - │ pc: 340 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (12 steps) - ├─ 23 - │ k: #access [ MSTORE , MSTORE 128 ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int + ... - │ pc: 340 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (5 steps) - ├─ 24 - │ k: #execute ~> CONTINUATION:K - │ pc: 343 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (2 steps) - ├─ 25 - │ k: #execute ~> CONTINUATION:K - │ pc: 344 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (9 steps) - ├─ 26 - │ k: #access [ JUMPDEST , JUMPDEST ] ~> JUMPDEST ~> #pc [ JUMPDEST ] ~> #execute ~> C ... - │ pc: 344 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (5 steps) - ├─ 27 - │ k: #execute ~> CONTINUATION:K - │ pc: 347 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (12 steps) - ├─ 28 - │ k: #access [ MLOAD , MLOAD 64 ] ~> MLOAD 64 ~> #pc [ MLOAD ] ~> #execute ~> CONTINU ... - │ pc: 347 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (6 steps) - ├─ 29 - │ k: #execute ~> CONTINUATION:K - │ pc: 349 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (2 steps) - ├─ 30 - │ k: #execute ~> CONTINUATION:K - │ pc: 350 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (2 steps) - ├─ 31 - │ k: #execute ~> CONTINUATION:K - │ pc: 351 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (2 steps) - ├─ 32 - │ k: #execute ~> CONTINUATION:K - │ pc: 352 - │ callDepth: 0 - │ statusCode: STATUSCODE:StatusCode - │ - │ (14 steps) - ├─ 33 │ k: #end EVMC_SUCCESS ~> #pc [ RETURN ] ~> #execute ~> CONTINUATION:K │ pc: 352 │ callDepth: 0 │ statusCode: STATUSCODE:StatusCode │ │ (1 step) - ├─ 34 + ├─ 11 │ k: #halt ~> #pc [ RETURN ] ~> #execute ~> CONTINUATION:K │ pc: 352 │ callDepth: 0 │ statusCode: EVMC_SUCCESS │ │ (2 steps) - ├─ 35 (terminal) + ├─ 13 (terminal) │ k: #halt ~> CONTINUATION:K │ pc: 352 │ callDepth: 0 @@ -1116,8 +962,9 @@ rule [BASIC-BLOCK-7-TO-9]: - ( JUMPI 1569 bool2Word ( VV0_n_114b9705:Int ==Int 0 ) => JUMP 1569 ) - ~> #pc [ JUMPI ] + ( JUMPI 1569 bool2Word ( VV0_n_114b9705:Int ==Int 0 ) + ~> #pc [ JUMPI ] => #end EVMC_SUCCESS + ~> #pc [ RETURN ] ) ~> #execute ~> _CONTINUATION @@ -1130,7 +977,7 @@ - b"" + ( b"" => #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) ) .List @@ -1154,10 +1001,10 @@ 0 - ( ( 0 => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( 0 : ( ( VV0_n_114b9705:Int => 0 ) : ( 334 : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) ) + ( ( 0 => selector ( "sum_N(uint256)" ) ) : ( ( 0 : ( VV0_n_114b9705:Int : ( 334 : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) => .WordStack ) ) - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) + ( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) +Bytes ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) => #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) ) ... ... @@ -1324,10 +1171,31 @@ )))))))))) ensures ( VV0_n_114b9705:Int =/=K 0 andBool ( 0 @@ -1544,10 +1412,8 @@ rule [BASIC-BLOCK-9-TO-11]: - ( JUMP 1569 - ~> #pc [ JUMPI ] => #access [ JUMPDEST , JUMPDEST ] - ~> JUMPDEST - ~> #pc [ JUMPDEST ] ) + ( #end EVMC_SUCCESS => #halt ) + ~> #pc [ RETURN ] ~> #execute ~> _CONTINUATION @@ -1560,8 +1426,11 @@ - b"" + #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) + + ( _STATUSCODE => EVMC_SUCCESS ) + .List @@ -1584,10 +1453,10 @@ 0 - ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) : ( 0 : ( 0 : ( 334 : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) ) + ( selector ( "sum_N(uint256)" ) : .WordStack ) - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) ... ... @@ -1751,12 +1620,32 @@ andBool ( ORIGIN_ID:Int @@ -1973,10 +1862,9 @@ rule [BASIC-BLOCK-11-TO-13]: - ( #access [ JUMPDEST , JUMPDEST ] - ~> JUMPDEST - ~> #pc [ JUMPDEST ] => .K ) - ~> #execute + #halt + ~> ( #pc [ RETURN ] + ~> #execute => .K ) ~> _CONTINUATION @@ -1988,8 +1876,11 @@ - b"" + #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) + + EVMC_SUCCESS + .List @@ -2012,10 +1903,10 @@ 0 - ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => 334 ) : ( 0 : ( 0 : ( ( 334 => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) ) + ( selector ( "sum_N(uint256)" ) : .WordStack ) - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) + b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) ... ... @@ -2179,5046 +2070,33 @@ andBool ( ORIGIN_ID:Int - - - #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 334 => 0 ) : ( 0 : ( ( 0 => 334 ) : ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( .K => #access [ POP , POP 0 ] - ~> POP 0 - ~> #pc [ POP ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( 0 : ( ( 0 => 334 ) : ( ( 334 => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => selector ( "sum_N(uint256)" ) ) : ( ( selector ( "sum_N(uint256)" ) : .WordStack ) => .WordStack ) ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - #access [ POP , POP 0 ] - ~> POP 0 - ~> #pc [ POP ] - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 0 => 334 ) : ( ( 334 => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => selector ( "sum_N(uint256)" ) ) : ( ( selector ( "sum_N(uint256)" ) : .WordStack ) => .WordStack ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #access [ POP , POP 0 ] - ~> POP 0 - ~> #pc [ POP ] => #access [ JUMP , JUMP 334 ] - ~> JUMP 334 - ~> #pc [ JUMP ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 334 => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => selector ( "sum_N(uint256)" ) ) : ( ( selector ( "sum_N(uint256)" ) : .WordStack ) => .WordStack ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #access [ JUMP , JUMP 334 ] - ~> JUMP 334 - ~> #pc [ JUMP ] => #access [ JUMPDEST , JUMPDEST ] - ~> JUMPDEST - ~> #pc [ JUMPDEST ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #access [ JUMPDEST , JUMPDEST ] - ~> JUMPDEST - ~> #pc [ JUMPDEST ] => .K ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => 64 ) : ( ( selector ( "sum_N(uint256)" ) => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( .WordStack => ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( .K => #access [ MLOAD , MLOAD 64 ] - ~> MLOAD 64 - ~> #pc [ MLOAD ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 64 => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => selector ( "sum_N(uint256)" ) ) : ( ( selector ( "sum_N(uint256)" ) : .WordStack ) => .WordStack ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #access [ MLOAD , MLOAD 64 ] - ~> MLOAD 64 - ~> #pc [ MLOAD ] => .K ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) : ( ( selector ( "sum_N(uint256)" ) => 128 ) : ( .WordStack => ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => 128 ) : ( ( 128 => ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) : ( ( selector ( "sum_N(uint256)" ) => 128 ) : ( .WordStack => ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( .K => #access [ MSTORE , MSTORE 128 ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ] - ~> MSTORE 128 ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) - ~> #pc [ MSTORE ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( 128 : ( ( ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) => selector ( "sum_N(uint256)" ) ) : ( ( 128 : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) => .WordStack ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" +Bytes #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #access [ MSTORE , MSTORE 128 ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ] - ~> MSTORE 128 ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) - ~> #pc [ MSTORE ] => .K ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 128 => 32 ) : ( ( selector ( "sum_N(uint256)" ) => 128 ) : ( .WordStack => ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) - - - ( b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00Lc\xe5b" => b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" ) +Bytes ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) => #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 32 => 160 ) : ( ( 128 => selector ( "sum_N(uint256)" ) ) : ( ( selector ( "sum_N(uint256)" ) : .WordStack ) => .WordStack ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( .K => #access [ JUMPDEST , JUMPDEST ] - ~> JUMPDEST - ~> #pc [ JUMPDEST ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( 160 : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #access [ JUMPDEST , JUMPDEST ] - ~> JUMPDEST - ~> #pc [ JUMPDEST ] => .K ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 160 => 64 ) : ( ( selector ( "sum_N(uint256)" ) => 160 ) : ( .WordStack => ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( .K => #access [ MLOAD , MLOAD 64 ] - ~> MLOAD 64 - ~> #pc [ MLOAD ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 64 => 160 ) : ( ( 160 => selector ( "sum_N(uint256)" ) ) : ( ( selector ( "sum_N(uint256)" ) : .WordStack ) => .WordStack ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #access [ MLOAD , MLOAD 64 ] - ~> MLOAD 64 - ~> #pc [ MLOAD ] => .K ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 160 => 128 ) : ( ( selector ( "sum_N(uint256)" ) => 128 ) : ( .WordStack => ( 160 : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 128 => 160 ) : ( 128 : ( ( 160 => 128 ) : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 160 => 32 ) : ( 128 : ( ( 128 => selector ( "sum_N(uint256)" ) ) : ( ( selector ( "sum_N(uint256)" ) : .WordStack ) => .WordStack ) ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - b"" - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 32 => 128 ) : ( ( 128 => 32 ) : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( .K => #end EVMC_SUCCESS - ~> #pc [ RETURN ] ) - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - ( b"" => #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) ) - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( ( 128 => selector ( "sum_N(uint256)" ) ) : ( ( 32 : ( selector ( "sum_N(uint256)" ) : .WordStack ) ) => .WordStack ) ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - ( #end EVMC_SUCCESS => #halt ) - ~> #pc [ RETURN ] - ~> #execute - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) - - - ( _STATUSCODE => EVMC_SUCCESS ) - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( selector ( "sum_N(uint256)" ) : .WordStack ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 - - - #halt - ~> ( #pc [ RETURN ] - ~> #execute => .K ) - ~> _CONTINUATION - - - NORMAL - - - SHANGHAI - - - - - #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) - - - EVMC_SUCCESS - - - .List - - - .List - - - ... - ... - - 728815563385977040452943777879061427756277306518 - - - CALLER_ID:Int - - - b"~\x8e#\xd0" +Bytes #buf ( 32 , VV0_n_114b9705:Int ) - - - 0 - - - ( selector ( "sum_N(uint256)" ) : .WordStack ) - - - b"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x80\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00" +Bytes #buf ( 32 , ( ( VV0_n_114b9705:Int *Int ( VV0_n_114b9705:Int +Int 1 ) ) /Int 2 ) ) +Bytes #range ( #buf ( 32 , bool2Word ( VV0_n_114b9705:Int <=Int 51816696836262767 ) ) , 28 , 4 ) - - ... - ... - - 6 - - - 9079256848778916870 - - - false - - - 0 - - - - - .List - - - SetItem ( 645326474426547203313410069153905908525362434349 ) - - - .Map - - ... - - - ORIGIN_ID:Int - - - - NUMBER_CELL:Int - - ... - - ... - - - - ( - - 645326474426547203313410069153905908525362434349 - - - 0 - - ... - - .Map - - - .Map - - - 0 - - - - - 728815563385977040452943777879061427756277306518 - - - 0 - - ... - - .Map - - - .Map - - - 1 - - ) - - ... - - - ... - - - - - .Account - - - .Account - - - .Account - - - .Account - - - false - - - false - - ... - - - - false - - ... - - - - false - - - .Account - - - 0 - - - b"" - - - .OpcodeType - - - - - false - - - false - - ... - - - - false - - - false - - - .Set - - - .Set - - - - - requires ( VV0_n_114b9705:Int =/=K 0 - andBool ( 0 <=Int CALLER_ID:Int - andBool ( 0 <=Int ORIGIN_ID:Int - andBool ( 0 <=Int NUMBER_CELL:Int - andBool ( 0 Date: Tue, 10 Oct 2023 09:43:24 +0000 Subject: [PATCH 68/68] kevm-pyk/: sync poetry files pyk version v0.1.461 --- kevm-pyk/poetry.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 2f71487a95..0c8a46d57f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -893,13 +893,13 @@ dev = ["pre-commit", "pytest-asyncio", "tox"] [[package]] name = "pytest-timeout" -version = "2.1.0" +version = "2.2.0" description = "pytest plugin to abort hanging tests" optional = false -python-versions = ">=3.6" +python-versions = ">=3.7" files = [ - {file = "pytest-timeout-2.1.0.tar.gz", hash = "sha256:c07ca07404c612f8abbe22294b23c368e2e5104b521c1790195561f37e1ac3d9"}, - {file = "pytest_timeout-2.1.0-py3-none-any.whl", hash = "sha256:f6f50101443ce70ad325ceb4473c4255e9d74e3c7cd0ef827309dfa4c0d975c6"}, + {file = "pytest-timeout-2.2.0.tar.gz", hash = "sha256:3b0b95dabf3cb50bac9ef5ca912fa0cfc286526af17afc806824df20c2f72c90"}, + {file = "pytest_timeout-2.2.0-py3-none-any.whl", hash = "sha256:bde531e096466f49398a59f2dde76fa78429a09a12411466f88a07213e220de2"}, ] [package.dependencies]