From 85b99bea64fa3d77a826ca51ca07a605d92d3dc4 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 17 Jul 2024 07:11:24 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2529) * deps/k_release: Set Version 7.1.62 * Set Version: 1.0.646 * kevm-pyk/: sync poetry files pyk version 7.1.62 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.63 * kevm-pyk/: sync poetry files pyk version 7.1.63 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.64 * kevm-pyk/: sync poetry files pyk version 7.1.64 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 16 ++++++++-------- 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, 19 insertions(+), 19 deletions(-) diff --git a/deps/k_release b/deps/k_release index 931193fd8b..f76dc70dd5 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.61 +7.1.64 diff --git a/flake.lock b/flake.lock index ed03aab4d7..731ec5836c 100644 --- a/flake.lock +++ b/flake.lock @@ -220,16 +220,16 @@ ] }, "locked": { - "lastModified": 1721109763, - "narHash": "sha256-bH6derXpaL0mMgYIxIK+a5LvNfQPqRLgfhU76nWz0Os=", + "lastModified": 1721183834, + "narHash": "sha256-HBLO4eWp/3jp42DeJHB1nnQAi/SSZfPeKwKIAGCMk+8=", "owner": "runtimeverification", "repo": "k", - "rev": "1ae6a3860d7d6a24af6337fded65dfb01592d317", + "rev": "aaa06312c2390999dbff7122f6a4811acf5493dc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.61", + "ref": "v7.1.64", "repo": "k", "type": "github" } @@ -445,17 +445,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721109763, - "narHash": "sha256-bH6derXpaL0mMgYIxIK+a5LvNfQPqRLgfhU76nWz0Os=", + "lastModified": 1721183834, + "narHash": "sha256-HBLO4eWp/3jp42DeJHB1nnQAi/SSZfPeKwKIAGCMk+8=", "owner": "runtimeverification", "repo": "k", - "rev": "1ae6a3860d7d6a24af6337fded65dfb01592d317", + "rev": "aaa06312c2390999dbff7122f6a4811acf5493dc", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.61", + "ref": "v7.1.64", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index f28c80b243..762fcbceff 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.1.61"; + k-framework.url = "github:runtimeverification/k/v7.1.64"; 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.1.61?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.64?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 11da58ecb7..85fc6cedfc 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -481,13 +481,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.61" +version = "7.1.64" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.61-py3-none-any.whl", hash = "sha256:a31d2b59cbffb34d01196735a3e5e3295c93235473ae4b0e7e8b87e25457b160"}, - {file = "kframework-7.1.61.tar.gz", hash = "sha256:b345fad0c02d5a932b6568476370c4d03b302c6bafc38010769eab4403d89e72"}, + {file = "kframework-7.1.64-py3-none-any.whl", hash = "sha256:dba99f7175db1a25627b69672b2999c9243b27ec4ef18d57d5097ff6eb90402f"}, + {file = "kframework-7.1.64.tar.gz", hash = "sha256:4de102f8544b73c4a3d602aa903422226af5917ca8afe0f220e21a107cb031a6"}, ] [package.dependencies] @@ -1157,4 +1157,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c74fd4467f44fa7a7c9fe2ddec5116742115bfc9e1f8757bfbbeb4b1e1e645bd" +content-hash = "4af4f9c837029876503d6fddc29f4e2cb828e50cbba178d37ac9af04f4938a2f" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index c7e01ab3ec..551fb468ad 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.645" +version = "1.0.646" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.61" +kframework = "7.1.64" 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 5185ff33ce..9f16528ed8 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.645' +VERSION: Final = '1.0.646' diff --git a/package/version b/package/version index 100ad5040b..5873c63698 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.645 +1.0.646