From 70e6cb7a2ff22f82348e650d3a65dd2ad138b376 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 14:28:25 +0000 Subject: [PATCH 1/7] deps/k_release: Set Version 7.0.95 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1c944b9863..8fdcb5c560 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.93 +7.0.95 From dac8b4450314726f3f08ba983ce5ca45c19bb103 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 14:28:44 +0000 Subject: [PATCH 2/7] Set Version: 1.0.574 --- 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 10bd3ff787..9e2171cf9c 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.573" +version = "1.0.574" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 24dbf5e740..af936ed297 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -5,4 +5,4 @@ if TYPE_CHECKING: from typing import Final -VERSION: Final = '1.0.573' +VERSION: Final = '1.0.574' diff --git a/package/version b/package/version index d26a8eaf77..51587d04c9 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.573 +1.0.574 From eb7f61b8c441ccb3567deff171285d46c7e2e74f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 14:32:39 +0000 Subject: [PATCH 3/7] kevm-pyk/: sync poetry files pyk version v7.0.95 --- 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 dec7cac9ee..f48203bfed 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.93" +version = "7.0.95" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.93" -resolved_reference = "f95134e561cce5f447954db595426fa31fd63af2" +reference = "v7.0.95" +resolved_reference = "4a956fa861995877d8421e892eb0df11c3224aba" subdirectory = "pyk" [[package]] @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "be90fd7e256879aa896a99a9cd14fee3a9f3d709c749e40d3e3c1a2ce8a5fff1" +content-hash = "b8deb00a9dbb7ad66ed3e31900803137f21de9cdcb4d25020561004a9d0803a2" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 9e2171cf9c..b5df41e28b 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.93", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.95", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From a1ac5400b811bf3b3b4c793c4a11de02def685c5 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 14:33:02 +0000 Subject: [PATCH 4/7] 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 7ce7ce9964..e7505b2636 100644 --- a/flake.lock +++ b/flake.lock @@ -208,16 +208,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716796928, - "narHash": "sha256-DhZ42IiqIz9HXVkrjbuvZtJBuLgd5/dpjoo8PNUOAQ0=", + "lastModified": 1716817137, + "narHash": "sha256-BJh+gRPYGosJsnyvdb8iUXzEFIVZ6d8PFnb6DfcOVzY=", "owner": "runtimeverification", "repo": "k", - "rev": "f95134e561cce5f447954db595426fa31fd63af2", + "rev": "4a956fa861995877d8421e892eb0df11c3224aba", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.93", + "ref": "v7.0.95", "repo": "k", "type": "github" } @@ -413,17 +413,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716796928, - "narHash": "sha256-DhZ42IiqIz9HXVkrjbuvZtJBuLgd5/dpjoo8PNUOAQ0=", + "lastModified": 1716817137, + "narHash": "sha256-BJh+gRPYGosJsnyvdb8iUXzEFIVZ6d8PFnb6DfcOVzY=", "owner": "runtimeverification", "repo": "k", - "rev": "f95134e561cce5f447954db595426fa31fd63af2", + "rev": "4a956fa861995877d8421e892eb0df11c3224aba", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.93", + "ref": "v7.0.95", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index abc3bc7000..6d3730cbce 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.0.93"; + k-framework.url = "github:runtimeverification/k/v7.0.95"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.0.93?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.95?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From 6e18e9e0463bfa0f64da4d79a8820b14e6ebfa99 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 16:14:48 +0000 Subject: [PATCH 5/7] deps/k_release: Set Version 7.0.96 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8fdcb5c560..c2336bbd2d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.95 +7.0.96 From fe2a18b874f832e2427a2ace56952a342a626b38 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 16:18:23 +0000 Subject: [PATCH 6/7] kevm-pyk/: sync poetry files pyk version v7.0.96 --- 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 f48203bfed..2f14ca7f9f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.95" +version = "7.0.96" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.95" -resolved_reference = "4a956fa861995877d8421e892eb0df11c3224aba" +reference = "v7.0.96" +resolved_reference = "304517d219c25a55e2c57b207b7b8ca4af4c1ad6" subdirectory = "pyk" [[package]] @@ -1116,4 +1116,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b8deb00a9dbb7ad66ed3e31900803137f21de9cdcb4d25020561004a9d0803a2" +content-hash = "6dd73ef16dfb409f66bfb674955a267015ed193c819109515d6f9bd3eb0c8dbc" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index b5df41e28b..cfbbf52197 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.95", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.96", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From c4146951cc41257773d04f0f5e279bcfd357ad1c Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 16:18:44 +0000 Subject: [PATCH 7/7] 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 e7505b2636..ab32a8916b 100644 --- a/flake.lock +++ b/flake.lock @@ -208,16 +208,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716817137, - "narHash": "sha256-BJh+gRPYGosJsnyvdb8iUXzEFIVZ6d8PFnb6DfcOVzY=", + "lastModified": 1716823645, + "narHash": "sha256-xAJN6K7XAJ1BlGvi8OYwQHEQFuSC7UTkZ1quzmbPIWs=", "owner": "runtimeverification", "repo": "k", - "rev": "4a956fa861995877d8421e892eb0df11c3224aba", + "rev": "304517d219c25a55e2c57b207b7b8ca4af4c1ad6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.95", + "ref": "v7.0.96", "repo": "k", "type": "github" } @@ -413,17 +413,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716817137, - "narHash": "sha256-BJh+gRPYGosJsnyvdb8iUXzEFIVZ6d8PFnb6DfcOVzY=", + "lastModified": 1716823645, + "narHash": "sha256-xAJN6K7XAJ1BlGvi8OYwQHEQFuSC7UTkZ1quzmbPIWs=", "owner": "runtimeverification", "repo": "k", - "rev": "4a956fa861995877d8421e892eb0df11c3224aba", + "rev": "304517d219c25a55e2c57b207b7b8ca4af4c1ad6", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.95", + "ref": "v7.0.96", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 6d3730cbce..e3bdb86c28 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "A flake for the KEVM Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.0.95"; + k-framework.url = "github:runtimeverification/k/v7.0.96"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.0.95?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.96?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = {