From e33e1f451ea2fa2efc998713271ffed67e9e2b30 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Dec 2023 10:38:33 +0000 Subject: [PATCH 1/4] deps/pyk_release: Set Version v0.1.534 --- deps/pyk_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/pyk_release b/deps/pyk_release index fc05b3511a..78640b8ab3 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.533 +v0.1.534 From a88cfb4a395898bf24c71fa8044e270a8e8ba80d Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Dec 2023 10:41:02 +0000 Subject: [PATCH 2/4] Set Version: 1.0.388 --- 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 381ec2068c..0c581ad1f4 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.387" +version = "1.0.388" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 1c817ee396..c61056ac76 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.387' +VERSION: Final = '1.0.388' diff --git a/package/version b/package/version index 1251751b76..ce10b49fd9 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.387 +1.0.388 From e5156c34e77643a3a5bd962042c6b17306dbbb4f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Dec 2023 10:43:42 +0000 Subject: [PATCH 3/4] kevm-pyk/: sync poetry files pyk version v0.1.534 --- 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 0f729f55d8..3de0228096 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 = "0.1.533" +version = "0.1.534" 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/pyk.git" -reference = "v0.1.533" -resolved_reference = "e29f8cd30c0779e42db8873a5f8d9170030aaee4" +reference = "v0.1.534" +resolved_reference = "3d24ec6c377d33b0466729ceeccb5541f732c8f1" [[package]] name = "pyperclip" @@ -1100,4 +1100,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "56380556c18d1a9bf48ecc9f5cfbe18bac79f782387d25895139ccd2613d2236" +content-hash = "783c17bc86d3cef20a76ce38d8292513f774d23b134f863c7b153d5ebc9c81cf" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 0c581ad1f4..60808ebd3a 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/pyk.git", tag="v0.1.533" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.534" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] From 2f10eb15fc1d4b221c1a633a29e37bc67502b537 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Dec 2023 10:45:43 +0000 Subject: [PATCH 4/4] 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 ef24ce4a8e..344e7590d3 100644 --- a/flake.lock +++ b/flake.lock @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1701872820, - "narHash": "sha256-WvcgtD0f7c7TQQ7a9yPKtV7c9ijTWQTaJThgIVlzbZ4=", + "lastModified": 1701944865, + "narHash": "sha256-+BZxVVE4BRkcYj9VZLSvqi6dpOCIkdoWB2X6IFMCSck=", "owner": "runtimeverification", "repo": "pyk", - "rev": "e29f8cd30c0779e42db8873a5f8d9170030aaee4", + "rev": "3d24ec6c377d33b0466729ceeccb5541f732c8f1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.533", + "ref": "v0.1.534", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index c33c1f8265..b5f397e807 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/pyk/v0.1.533"; + pyk.url = "github:runtimeverification/pyk/v0.1.534"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = {