From 4275508fda1406723e4ce22cbd7b99209bad6822 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 11:19:36 +0000 Subject: [PATCH 01/14] deps/k_release: Set Version 7.0.86 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a598e2225a..7ef984f866 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.85 +7.0.86 From c195373e42f34fc66063937fa1b533fbb08b8356 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 11:19:52 +0000 Subject: [PATCH 02/14] Set Version: 1.0.569 --- 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 3bc02a2e6f..662323ebe5 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.568" +version = "1.0.569" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 34dd477053..3c63f32dff 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.568' +VERSION: Final = '1.0.569' diff --git a/package/version b/package/version index 15b0dc970e..3ff68554c2 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.568 +1.0.569 From bcd5140b629d991f79319c0d68b8ee2f9debd562 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 11:23:40 +0000 Subject: [PATCH 03/14] kevm-pyk/: sync poetry files pyk version v7.0.86 --- 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 3f05576998..6a8d0be4ea 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.85" +version = "7.0.86" 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.85" -resolved_reference = "af40d82ed362d29d568ca10393589f760dbbd565" +reference = "v7.0.86" +resolved_reference = "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b" 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 = "7bc06d324af40ec744ff0967de97448ab6da9ce0d4ed4d3f6e0182cca53246b3" +content-hash = "0dc0611b3fae93c27ae2f0522353aadda626847063ff82624b8d101f64db0ba6" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 662323ebe5..1bfef590e4 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.85", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.86", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From fefd6465313c4b3df3ef755de26281b77ea846ab Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 11:25:33 +0000 Subject: [PATCH 04/14] 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 a7b910370c..6dba17a8fc 100644 --- a/flake.lock +++ b/flake.lock @@ -242,16 +242,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716391524, - "narHash": "sha256-LU0R6UA6JWADpmG3Eb2HlQBpJcK60GQY+bk58XRHla4=", + "lastModified": 1716460012, + "narHash": "sha256-UET36qrJATUPqKBC4EDGnOrI8/R9+cNl5nFNxUYnq80=", "owner": "runtimeverification", "repo": "k", - "rev": "af40d82ed362d29d568ca10393589f760dbbd565", + "rev": "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.85", + "ref": "v7.0.86", "repo": "k", "type": "github" } @@ -293,16 +293,16 @@ ] }, "locked": { - "lastModified": 1716382185, - "narHash": "sha256-auHzs6CVstUbqIqAxx8jKteZJGNWh/DpJ3NHqqZ/e30=", + "lastModified": 1716400974, + "narHash": "sha256-BwZAoBwz8v/43gHT1ILHVJVX88yGLZREt8VRhs0BRtg=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "be6fcbf90d2501f99adbeaefc75d0c98acdb68ef", + "rev": "0f10a29b03061cff9389051da487d485afc67679", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.24", + "ref": "v0.1.26", "repo": "llvm-backend", "type": "github" } @@ -447,17 +447,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716391524, - "narHash": "sha256-LU0R6UA6JWADpmG3Eb2HlQBpJcK60GQY+bk58XRHla4=", + "lastModified": 1716460012, + "narHash": "sha256-UET36qrJATUPqKBC4EDGnOrI8/R9+cNl5nFNxUYnq80=", "owner": "runtimeverification", "repo": "k", - "rev": "af40d82ed362d29d568ca10393589f760dbbd565", + "rev": "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.85", + "ref": "v7.0.86", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 189085c6f1..4d76ccb6b6 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.85"; + k-framework.url = "github:runtimeverification/k/v7.0.86"; 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.85?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.86?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From dfa93a9451bee3be11cf9db4334b2afbfa71d12e Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 12:24:15 +0000 Subject: [PATCH 05/14] deps/k_release: Set Version 7.0.87 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7ef984f866..193702c422 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.86 +7.0.87 From 18c331ed8bb29247e53d3f3879e6179c2b328e99 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 12:28:02 +0000 Subject: [PATCH 06/14] kevm-pyk/: sync poetry files pyk version v7.0.87 --- 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 6a8d0be4ea..f48c3becfc 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.86" +version = "7.0.87" 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.86" -resolved_reference = "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b" +reference = "v7.0.87" +resolved_reference = "d63f22726b5a6ed052840a33d2865233f08a3b0d" 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 = "0dc0611b3fae93c27ae2f0522353aadda626847063ff82624b8d101f64db0ba6" +content-hash = "23680d5c0e829541c64f6ac73e62145e4e3f2d2c6da45b9314da4f2c1383bee3" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 1bfef590e4..ec64aa5e9e 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.86", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.87", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 2c2a4cbe1597c5666112eee4a0a8f1175106d375 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 12:29:59 +0000 Subject: [PATCH 07/14] flake.{nix,lock}: update Nix derivations --- flake.lock | 38 +++++++++++++++++++------------------- flake.nix | 4 ++-- 2 files changed, 21 insertions(+), 21 deletions(-) diff --git a/flake.lock b/flake.lock index 6dba17a8fc..25f0e8d1c2 100644 --- a/flake.lock +++ b/flake.lock @@ -198,17 +198,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1716288119, - "narHash": "sha256-XGs+/L+SFWHli6IyQ9U6Q332PW2YnWz5b1pNz3YPofI=", + "lastModified": 1716384169, + "narHash": "sha256-38gjUPxqG3unkeReIP3zQZ8OTVbjNtzLqagaV2ShjKo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "4c6a57a37dad6658c9e04728bbd9a1aac87274ef", + "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "4c6a57a37dad6658c9e04728bbd9a1aac87274ef", + "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", "type": "github" } }, @@ -242,16 +242,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716460012, - "narHash": "sha256-UET36qrJATUPqKBC4EDGnOrI8/R9+cNl5nFNxUYnq80=", + "lastModified": 1716463410, + "narHash": "sha256-9H2XVh+Iz2uo9oNozv0yJd/H5K/QYXvwspI1iTCA7m0=", "owner": "runtimeverification", "repo": "k", - "rev": "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b", + "rev": "d63f22726b5a6ed052840a33d2865233f08a3b0d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.86", + "ref": "v7.0.87", "repo": "k", "type": "github" } @@ -363,17 +363,17 @@ }, "nixpkgs_3": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -447,17 +447,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716460012, - "narHash": "sha256-UET36qrJATUPqKBC4EDGnOrI8/R9+cNl5nFNxUYnq80=", + "lastModified": 1716463410, + "narHash": "sha256-9H2XVh+Iz2uo9oNozv0yJd/H5K/QYXvwspI1iTCA7m0=", "owner": "runtimeverification", "repo": "k", - "rev": "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b", + "rev": "d63f22726b5a6ed052840a33d2865233f08a3b0d", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.86", + "ref": "v7.0.87", "repo": "k", "type": "github" } @@ -553,11 +553,11 @@ "nixpkgs": "nixpkgs_3" }, "locked": { - "lastModified": 1715010438, - "narHash": "sha256-Do1CWSXjmmun4HvsIymchDhe6EvVS46BTpM466bwNcc=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "dbffdf9266aa237da45c0b08f6750ced7c1cd686", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 4d76ccb6b6..6ca421cd8d 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.86"; + k-framework.url = "github:runtimeverification/k/v7.0.87"; 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.86?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.87?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From d58c0237a19e7b3f56163f5d69ead9168637b48f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 14:45:17 +0000 Subject: [PATCH 08/14] deps/k_release: Set Version 7.0.88 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 193702c422..05677817f9 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.87 +7.0.88 From 345791b073bb5b87fb5d5f0c870a081f29187a79 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 14:49:09 +0000 Subject: [PATCH 09/14] kevm-pyk/: sync poetry files pyk version v7.0.88 --- 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 f48c3becfc..7c4b6ba6c5 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.87" +version = "7.0.88" 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.87" -resolved_reference = "d63f22726b5a6ed052840a33d2865233f08a3b0d" +reference = "v7.0.88" +resolved_reference = "f96245d1fe97055ce76ce55bac50a8841e2655e6" 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 = "23680d5c0e829541c64f6ac73e62145e4e3f2d2c6da45b9314da4f2c1383bee3" +content-hash = "c02996c0d96863a6f2bd8b962d76c4ecdc4f030561107d39778b0c68d57eb368" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index ec64aa5e9e..c5dbbba2bd 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.87", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.88", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From b2fccd52e1fddcc548577938516e9abd0023dbea Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 14:51:01 +0000 Subject: [PATCH 10/14] 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 25f0e8d1c2..7045087c65 100644 --- a/flake.lock +++ b/flake.lock @@ -242,16 +242,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716463410, - "narHash": "sha256-9H2XVh+Iz2uo9oNozv0yJd/H5K/QYXvwspI1iTCA7m0=", + "lastModified": 1716471750, + "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", "owner": "runtimeverification", "repo": "k", - "rev": "d63f22726b5a6ed052840a33d2865233f08a3b0d", + "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.87", + "ref": "v7.0.88", "repo": "k", "type": "github" } @@ -447,17 +447,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716463410, - "narHash": "sha256-9H2XVh+Iz2uo9oNozv0yJd/H5K/QYXvwspI1iTCA7m0=", + "lastModified": 1716471750, + "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", "owner": "runtimeverification", "repo": "k", - "rev": "d63f22726b5a6ed052840a33d2865233f08a3b0d", + "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.87", + "ref": "v7.0.88", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 6ca421cd8d..d62d9b46d1 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.87"; + k-framework.url = "github:runtimeverification/k/v7.0.88"; 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.87?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.88?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From 81673bab45691bef93b18a2abb5c1a4cd51f5bc4 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 19:16:54 +0000 Subject: [PATCH 11/14] deps/k_release: Set Version 7.0.89 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 05677817f9..8119991d27 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.88 +7.0.89 From eaf21bbf297bbe073808049aa7109392f70e2b62 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 19:17:11 +0000 Subject: [PATCH 12/14] Set Version: 1.0.570 --- 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 c5dbbba2bd..97f4f42c99 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.569" +version = "1.0.570" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 3c63f32dff..118be94bc7 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.569' +VERSION: Final = '1.0.570' diff --git a/package/version b/package/version index 3ff68554c2..6b3a5db7f1 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.569 +1.0.570 From 36b5ff10bab346574df308e49243f6ffec174569 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 19:21:22 +0000 Subject: [PATCH 13/14] kevm-pyk/: sync poetry files pyk version v7.0.89 --- 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 7c4b6ba6c5..a48838764a 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.88" +version = "7.0.89" 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.88" -resolved_reference = "f96245d1fe97055ce76ce55bac50a8841e2655e6" +reference = "v7.0.89" +resolved_reference = "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5" 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 = "c02996c0d96863a6f2bd8b962d76c4ecdc4f030561107d39778b0c68d57eb368" +content-hash = "bf217addb37e57376966cf45e7c9087d564d66e483843c24ae9fc9ad07f95015" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 97f4f42c99..264ab6ac68 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.88", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.89", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 6907313843564acb2de782fde9b1a2860f08009b Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 19:23:21 +0000 Subject: [PATCH 14/14] flake.{nix,lock}: update Nix derivations --- flake.lock | 60 +++++++++++++++++++++++++++--------------------------- flake.nix | 4 ++-- 2 files changed, 32 insertions(+), 32 deletions(-) diff --git a/flake.lock b/flake.lock index 7045087c65..62673cc7b7 100644 --- a/flake.lock +++ b/flake.lock @@ -198,17 +198,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1716384169, - "narHash": "sha256-38gjUPxqG3unkeReIP3zQZ8OTVbjNtzLqagaV2ShjKo=", + "lastModified": 1716472952, + "narHash": "sha256-po4boMu90ofZW7sEpjltscPAIqMKok8teKjic/nd7Wk=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" } }, @@ -242,16 +242,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716471750, - "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", + "lastModified": 1716488862, + "narHash": "sha256-kmMAEAibU21Q1k4ZEd3Bl9+LTiNIgnMRVGxSOtpTPdw=", "owner": "runtimeverification", "repo": "k", - "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", + "rev": "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.88", + "ref": "v7.0.89", "repo": "k", "type": "github" } @@ -293,16 +293,16 @@ ] }, "locked": { - "lastModified": 1716400974, - "narHash": "sha256-BwZAoBwz8v/43gHT1ILHVJVX88yGLZREt8VRhs0BRtg=", + "lastModified": 1716485030, + "narHash": "sha256-JL7OT8Sq1OCQpxHvV9jbE+UzdOBbyDIjKJ24zNAGCbo=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "0f10a29b03061cff9389051da487d485afc67679", + "rev": "765f930b36275c577931aae3cb5a05d362d210f9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.26", + "ref": "v0.1.28", "repo": "llvm-backend", "type": "github" } @@ -331,33 +331,33 @@ }, "nixpkgs": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, "nixpkgs_2": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -447,17 +447,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716471750, - "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", + "lastModified": 1716488862, + "narHash": "sha256-kmMAEAibU21Q1k4ZEd3Bl9+LTiNIgnMRVGxSOtpTPdw=", "owner": "runtimeverification", "repo": "k", - "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", + "rev": "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.88", + "ref": "v7.0.89", "repo": "k", "type": "github" } @@ -517,11 +517,11 @@ "nixpkgs": "nixpkgs" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { @@ -535,11 +535,11 @@ "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index d62d9b46d1..29d9bd0298 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.88"; + k-framework.url = "github:runtimeverification/k/v7.0.89"; 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.88?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.89?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = {