From 24128700ace51d7ec64435e6ad9c52b3a66d0224 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 7 Dec 2023 23:27:23 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2212) * deps/pyk_release: Set Version v0.1.535 * Set Version: 1.0.389 * kevm-pyk/: sync poetry files pyk version v0.1.535 * deps/k_release: sync release file version 6.1.44 * flake.{nix,lock}: update Nix derivations * deps/pyk_release: Set Version v0.1.537 * kevm-pyk/: sync poetry files pyk version v0.1.537 * deps/k_release: sync release file version 6.1.46 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 38 +++++++++++++++---------------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 14 ++++++------ kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 8 files changed, 34 insertions(+), 34 deletions(-) diff --git a/deps/k_release b/deps/k_release index 747e2b8013..b880b0d239 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.42 +6.1.46 diff --git a/deps/pyk_release b/deps/pyk_release index 78640b8ab3..872d19a4fd 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.534 +v0.1.537 diff --git a/flake.lock b/flake.lock index 344e7590d3..4722c7d6d4 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1701710836, - "narHash": "sha256-i98zbzx5mA6dh2Tet9B9I4+JohyaQg2ET8ueAe9hizs=", + "lastModified": 1701955831, + "narHash": "sha256-KgyowTAPxflKyMBCFIhhKLrqwmppziSF5IOduf3RPQk=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "ffd277b68ef1993ab7b94d6e7593729208c21f11", + "rev": "7fa64107dbe26453024e5210d441b7999ef31f0b", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "ffd277b68ef1993ab7b94d6e7593729208c21f11", + "rev": "7fa64107dbe26453024e5210d441b7999ef31f0b", "type": "github" } }, @@ -209,17 +209,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1701257709, - "narHash": "sha256-WoZ+XLi48Uqo558muURSY+SeThu2+VrO699r8UQI81g=", + "lastModified": 1701950567, + "narHash": "sha256-e4A4dTW8GYQ0KPHcAb1PVaLXqGpKUJuQNJLlM7HO74Y=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0be07d293a1167615ef9342bb1820350f794e893", + "rev": "a5847301404583e16d55cd4d051b8e605d704fbc", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0be07d293a1167615ef9342bb1820350f794e893", + "rev": "a5847301404583e16d55cd4d051b8e605d704fbc", "type": "github" } }, @@ -254,16 +254,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1701826328, - "narHash": "sha256-/mBffmg4jy+BfvSn+7NznN5myR69iMP+bPIUY8YJ6aE=", + "lastModified": 1701961371, + "narHash": "sha256-t0bcYt6XTkc41aLReVJ5qgNsuzZepfOqnQq1C6OVXsw=", "owner": "runtimeverification", "repo": "k", - "rev": "d95999edbfde902a998d2bf56aa4883307d8f347", + "rev": "420f17739573fdf1125b784684fd634fdd5a25e0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.42", + "ref": "v6.1.46", "repo": "k", "type": "github" } @@ -303,11 +303,11 @@ ] }, "locked": { - "lastModified": 1701789957, - "narHash": "sha256-8gSsO9P2JwmVDuu1Cn+hIrc2CztYTtWX33WPf5SETto=", + "lastModified": 1701950625, + "narHash": "sha256-17OLncfYFb8PBv4eLT3GBpb5bUsw3RywxLfBv6AAzSA=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "04dd60e70c62fe73785da321f964ee438f84ca91", + "rev": "87eefda17e2d4711baff8c5204926b9c7288fca7", "type": "github" }, "original": { @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1701944865, - "narHash": "sha256-+BZxVVE4BRkcYj9VZLSvqi6dpOCIkdoWB2X6IFMCSck=", + "lastModified": 1701980861, + "narHash": "sha256-94FWYQ31CUOXfqKm5G8nlHui3/Hi4Zu9aj1sUSlQQIE=", "owner": "runtimeverification", "repo": "pyk", - "rev": "3d24ec6c377d33b0466729ceeccb5541f732c8f1", + "rev": "48153a8d0a9bfbd66b8ef8fdf4c62a81f1fb8fee", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.534", + "ref": "v0.1.537", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index b5f397e807..5cecff01a9 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/v6.1.42"; + k-framework.url = "github:runtimeverification/k/v6.1.46"; 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.534"; + pyk.url = "github:runtimeverification/pyk/v0.1.537"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index 3de0228096..875baeba6f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -338,13 +338,13 @@ flake8 = "*" [[package]] name = "flake8-type-checking" -version = "2.7.0" +version = "2.8.0" description = "A flake8 plugin for managing type-checking imports & forward references" optional = false python-versions = ">=3.8" files = [ - {file = "flake8_type_checking-2.7.0-py3-none-any.whl", hash = "sha256:bcb0f8bd88d2921482dcdc8349017f1c55d024c207e02c4f13cdd47c2d898a56"}, - {file = "flake8_type_checking-2.7.0.tar.gz", hash = "sha256:a738157af62e2040b0cd501a548d57dba49480dbb2227809aba2c0140c7856d2"}, + {file = "flake8_type_checking-2.8.0-py3-none-any.whl", hash = "sha256:a6f9ded325f0c9845f073609c557bf481882adc4d18571a39b137ef2d284dc85"}, + {file = "flake8_type_checking-2.8.0.tar.gz", hash = "sha256:07d949b686f39eb0cb828a394aa29d48bd1ca0df92d552d9794d17b22c309cd7"}, ] [package.dependencies] @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.534" +version = "0.1.537" 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.534" -resolved_reference = "3d24ec6c377d33b0466729ceeccb5541f732c8f1" +reference = "v0.1.537" +resolved_reference = "48153a8d0a9bfbd66b8ef8fdf4c62a81f1fb8fee" [[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 = "783c17bc86d3cef20a76ce38d8292513f774d23b134f863c7b153d5ebc9c81cf" +content-hash = "c5ec47f7997c37f65ba5e1dd029a9854299f4019eabbe9d5055af74ff6b13484" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 60808ebd3a..4ae38e96ef 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.388" +version = "1.0.389" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.534" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.537" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index c61056ac76..33fcf77fd3 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.388' +VERSION: Final = '1.0.389' diff --git a/package/version b/package/version index ce10b49fd9..9fe283aaf7 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.388 +1.0.389