From c7c8fe1090a31b3ba3963bbebd41a7020925c37b Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 5 Aug 2024 17:41:11 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2554) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * deps/k_release: Set Version 7.1.93 * Set Version: 1.0.665 * kevm-pyk/: sync poetry files pyk version 7.1.93 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.666 --------- Co-authored-by: devops Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> --- 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 02998662dd..1c24435536 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.92 +7.1.93 diff --git a/flake.lock b/flake.lock index d80c5a11e4..133aa34a73 100644 --- a/flake.lock +++ b/flake.lock @@ -167,16 +167,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722517294, - "narHash": "sha256-CBuygvM1ksLLp3xNPQcLvm6EQqrf05g92yAh1Eevjuc=", + "lastModified": 1722860063, + "narHash": "sha256-5K3BIIbwkMpN4idvAHRrw0JzHRL6Au4ui+7NqkX+c3w=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "3e38da9c58e76da39ced663090e6475b957e6599", + "rev": "7047b0964349727e54425c2c81478caf3dad757c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.57", + "ref": "v0.1.58", "repo": "haskell-backend", "type": "github" } @@ -220,16 +220,16 @@ ] }, "locked": { - "lastModified": 1722602971, - "narHash": "sha256-M84KoKCgbne50sR0fDlzepPkYFt9DvRcU4jnfPv47Lc=", + "lastModified": 1722872527, + "narHash": "sha256-q/tkJ6QZNj8WIxizm7z8eusZdYnpcya3vhD615uJ5dM=", "owner": "runtimeverification", "repo": "k", - "rev": "df7460b50dea14654b445158ccf61cac6b9d595b", + "rev": "4ff0df97167a3d69c3267cae86bbd9edc2593ef9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.92", + "ref": "v7.1.93", "repo": "k", "type": "github" } @@ -445,17 +445,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1722602971, - "narHash": "sha256-M84KoKCgbne50sR0fDlzepPkYFt9DvRcU4jnfPv47Lc=", + "lastModified": 1722872527, + "narHash": "sha256-q/tkJ6QZNj8WIxizm7z8eusZdYnpcya3vhD615uJ5dM=", "owner": "runtimeverification", "repo": "k", - "rev": "df7460b50dea14654b445158ccf61cac6b9d595b", + "rev": "4ff0df97167a3d69c3267cae86bbd9edc2593ef9", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.92", + "ref": "v7.1.93", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 1ab475716f..149545147a 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.92"; + k-framework.url = "github:runtimeverification/k/v7.1.93"; 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.92?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.93?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 eca39458cf..425fb28984 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -501,13 +501,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.92" +version = "7.1.93" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.92-py3-none-any.whl", hash = "sha256:0d334679cf0d5b7746125a46cd67bb7641e2ccf920c7d207f280748cc0fa6376"}, - {file = "kframework-7.1.92.tar.gz", hash = "sha256:584f56e4d03b15df8272f9a92a34f81a2646af83df73e6888986e92b7d807bc4"}, + {file = "kframework-7.1.93-py3-none-any.whl", hash = "sha256:27b501bc2379b1bd1707a4deff44d597409a665355ad8671a0b0b6270068e174"}, + {file = "kframework-7.1.93.tar.gz", hash = "sha256:f68e060994818808c9d37f10f84c7b419e410be4ee99a5aee032bd12359d9f51"}, ] [package.dependencies] @@ -1178,4 +1178,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "353903acc3d2f401357a5d5c40fdd2f8293f19c99cc419de31a873d98e0f32a9" +content-hash = "a6a03f287fe874fa8b93c9e90b0c0702987580b4277c1d1cbbf06c43011aa186" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 53aad4b23f..ba85354ee6 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.665" +version = "1.0.666" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.92" +kframework = "7.1.93" 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 5d8cb1b509..b66359e5b4 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.665' +VERSION: Final = '1.0.666' diff --git a/package/version b/package/version index 47e2f2103f..8c4ec9d68d 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.665 +1.0.666