From 8960e0a89fdd0b0dbe48bdaafff357d2c2b17283 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 21:28:00 +0000 Subject: [PATCH 1/7] deps/k_release: Set Version 7.0.97 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c2336bbd2d..66af7ef4c3 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.96 +7.0.97 From 6d1eba870a3117452f1a1b148f6897e954444e2c Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 21:28:16 +0000 Subject: [PATCH 2/7] Set Version: 1.0.575 --- 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 cfbbf52197..8400b38ae7 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.574" +version = "1.0.575" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index af936ed297..2fcba3e38c 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.574' +VERSION: Final = '1.0.575' diff --git a/package/version b/package/version index 51587d04c9..6f85661794 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.574 +1.0.575 From ca98b517d7d9c866a4b51cc742b921becff271df Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 21:31:53 +0000 Subject: [PATCH 3/7] kevm-pyk/: sync poetry files pyk version v7.0.97 --- 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 2f14ca7f9f..fa59b0e193 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.96" +version = "7.0.97" 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.96" -resolved_reference = "304517d219c25a55e2c57b207b7b8ca4af4c1ad6" +reference = "v7.0.97" +resolved_reference = "791b8fa2dc96437e96a8110203bc60f514b9f43c" 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 = "6dd73ef16dfb409f66bfb674955a267015ed193c819109515d6f9bd3eb0c8dbc" +content-hash = "e6d3b72030e348997ca6d0027384e08e03e0435393f2e15e8a15457358f06cf2" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 8400b38ae7..57c46ae7ed 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.96", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.97", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 403d2ea6e2d7aa6204661ebba762a471fb165c36 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 27 May 2024 21:32:13 +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 ab32a8916b..29665c05ae 100644 --- a/flake.lock +++ b/flake.lock @@ -208,16 +208,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716823645, - "narHash": "sha256-xAJN6K7XAJ1BlGvi8OYwQHEQFuSC7UTkZ1quzmbPIWs=", + "lastModified": 1716842546, + "narHash": "sha256-Nq/uP5bilDhDd29dQsVfnWama4ir+AD2j5YNO6I7YpM=", "owner": "runtimeverification", "repo": "k", - "rev": "304517d219c25a55e2c57b207b7b8ca4af4c1ad6", + "rev": "791b8fa2dc96437e96a8110203bc60f514b9f43c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.96", + "ref": "v7.0.97", "repo": "k", "type": "github" } @@ -413,17 +413,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716823645, - "narHash": "sha256-xAJN6K7XAJ1BlGvi8OYwQHEQFuSC7UTkZ1quzmbPIWs=", + "lastModified": 1716842546, + "narHash": "sha256-Nq/uP5bilDhDd29dQsVfnWama4ir+AD2j5YNO6I7YpM=", "owner": "runtimeverification", "repo": "k", - "rev": "304517d219c25a55e2c57b207b7b8ca4af4c1ad6", + "rev": "791b8fa2dc96437e96a8110203bc60f514b9f43c", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.96", + "ref": "v7.0.97", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index e3bdb86c28..7228680110 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.96"; + k-framework.url = "github:runtimeverification/k/v7.0.97"; 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.96?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.97?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { From bdf56e0b99a847d333873546d5c17a626a5710d4 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 28 May 2024 04:15:58 +0000 Subject: [PATCH 5/7] deps/k_release: Set Version 7.0.98 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 66af7ef4c3..2400a2adfb 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.97 +7.0.98 From 928a1965ec37dd44fe58eccbf191f53aaa9cdb31 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 28 May 2024 04:19:30 +0000 Subject: [PATCH 6/7] kevm-pyk/: sync poetry files pyk version v7.0.98 --- 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 fa59b0e193..3ca3584051 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.97" +version = "7.0.98" 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.97" -resolved_reference = "791b8fa2dc96437e96a8110203bc60f514b9f43c" +reference = "v7.0.98" +resolved_reference = "1bf723bff4de70fac4273cd7c75362624d46b203" 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 = "e6d3b72030e348997ca6d0027384e08e03e0435393f2e15e8a15457358f06cf2" +content-hash = "a88122598169320e256f0e028401d8532e1508da7a3803b8baec220c827e0fba" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 57c46ae7ed..de48eaf4ac 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.97", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.98", subdirectory = "pyk" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 18d3b8f734f50c75b792a130a3a0877baf1def36 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 28 May 2024 04:19:50 +0000 Subject: [PATCH 7/7] 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 29665c05ae..3b1c557e83 100644 --- a/flake.lock +++ b/flake.lock @@ -164,17 +164,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1716472952, - "narHash": "sha256-po4boMu90ofZW7sEpjltscPAIqMKok8teKjic/nd7Wk=", + "lastModified": 1716861562, + "narHash": "sha256-3w25di8V81Z1lyvTPDVosylytlT1ulpqU4QrcUprjGw=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", + "rev": "7f482b016faa848462b437dcb5ea3c33facaad42", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", + "rev": "7f482b016faa848462b437dcb5ea3c33facaad42", "type": "github" } }, @@ -208,16 +208,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716842546, - "narHash": "sha256-Nq/uP5bilDhDd29dQsVfnWama4ir+AD2j5YNO6I7YpM=", + "lastModified": 1716866762, + "narHash": "sha256-UuZSdG8dQawpLnk/Y/LD5jvIXpXHGT0n8qRA++f+Vw8=", "owner": "runtimeverification", "repo": "k", - "rev": "791b8fa2dc96437e96a8110203bc60f514b9f43c", + "rev": "1bf723bff4de70fac4273cd7c75362624d46b203", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.97", + "ref": "v7.0.98", "repo": "k", "type": "github" } @@ -413,17 +413,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716842546, - "narHash": "sha256-Nq/uP5bilDhDd29dQsVfnWama4ir+AD2j5YNO6I7YpM=", + "lastModified": 1716866762, + "narHash": "sha256-UuZSdG8dQawpLnk/Y/LD5jvIXpXHGT0n8qRA++f+Vw8=", "owner": "runtimeverification", "repo": "k", - "rev": "791b8fa2dc96437e96a8110203bc60f514b9f43c", + "rev": "1bf723bff4de70fac4273cd7c75362624d46b203", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.97", + "ref": "v7.0.98", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 7228680110..796031c81c 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.97"; + k-framework.url = "github:runtimeverification/k/v7.0.98"; 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.97?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.98?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = {