From 4bf007b035d5dfdb8b3eacf718104ea82b840e9e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Sun, 12 May 2024 18:13:15 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2420) * deps/k_release: Set Version 7.0.50 * kevm-pyk/: sync poetry files pyk version v7.0.50 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.51 * kevm-pyk/: sync poetry files pyk version v7.0.51 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.52 * kevm-pyk/: sync poetry files pyk version v7.0.52 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.549 * deps/k_release: Set Version 7.0.54 * kevm-pyk/: sync poetry files pyk version v7.0.54 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.55 * kevm-pyk/: sync poetry files pyk version v7.0.55 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.0.56 * kevm-pyk/: sync poetry files pyk version v7.0.56 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 24 ++++++++++++------------ flake.nix | 4 ++-- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 7 files changed, 23 insertions(+), 23 deletions(-) diff --git a/deps/k_release b/deps/k_release index 8e3b021849..c383cbf8ee 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.49 +7.0.56 diff --git a/flake.lock b/flake.lock index 427489390f..8cfa2b03c6 100644 --- a/flake.lock +++ b/flake.lock @@ -242,16 +242,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1715196140, - "narHash": "sha256-8mNQo0y+OZz6ofatqOrNAEbWTABPP5tgfjObTXoad7E=", + "lastModified": 1715356962, + "narHash": "sha256-HY8xMJNqg4FFyxGhIPzMIBkIURPG5QY2SmkF33Sj9jk=", "owner": "runtimeverification", "repo": "k", - "rev": "206ad9a71103b1803f39ce85197a51bdc62ce3dd", + "rev": "5e0c6e00d4925d0c0eab3b579fe378dc14ef2878", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.49", + "ref": "v7.0.56", "repo": "k", "type": "github" } @@ -293,16 +293,16 @@ ] }, "locked": { - "lastModified": 1715187346, - "narHash": "sha256-J3FxvB1RubqbLd281+tUDMyvhy58JX11dFaOXSrvYzg=", + "lastModified": 1715269353, + "narHash": "sha256-zWW/um/I1Lqlx8/GNHc2wT1PB7i/YXZtAanu6Z5wT5M=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b6a1b07b837e6fc3ece7c90a858e98c8aea5bfce", + "rev": "ece4d09f3d0a8ee60d21ac3396f05ef4a34a901d", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.7", + "ref": "v0.1.10", "repo": "llvm-backend", "type": "github" } @@ -447,17 +447,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1715196140, - "narHash": "sha256-8mNQo0y+OZz6ofatqOrNAEbWTABPP5tgfjObTXoad7E=", + "lastModified": 1715356962, + "narHash": "sha256-HY8xMJNqg4FFyxGhIPzMIBkIURPG5QY2SmkF33Sj9jk=", "owner": "runtimeverification", "repo": "k", - "rev": "206ad9a71103b1803f39ce85197a51bdc62ce3dd", + "rev": "5e0c6e00d4925d0c0eab3b579fe378dc14ef2878", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.49", + "ref": "v7.0.56", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 9c85c1c52d..e534ee7ae5 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.49"; + k-framework.url = "github:runtimeverification/k/v7.0.56"; 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.49?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.56?dir=pyk"; 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 891b4b3d57..3f1532b6c9 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.49" +version = "7.0.56" 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.49" -resolved_reference = "206ad9a71103b1803f39ce85197a51bdc62ce3dd" +reference = "v7.0.56" +resolved_reference = "5e0c6e00d4925d0c0eab3b579fe378dc14ef2878" subdirectory = "pyk" [[package]] @@ -1117,4 +1117,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "a164d9070adb6bbef470d8741c0de32bef3f87731ba8dbdc3feda9b7fb309d5c" +content-hash = "3a07b06914bc75597a3fbf38c267a21becf14f4f7eeb7e448fb51126554dd92d" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 5db4a43253..dff2596e14 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.548" +version = "1.0.549" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.49", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.56", subdirectory = "pyk" } 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 51919b2134..f6723d53ad 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.548' +VERSION: Final = '1.0.549' diff --git a/package/version b/package/version index 0e3e0ddb1f..dd92ad29d5 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.548 +1.0.549