From 5535f00987197cadb3f5463d89261c025d37d280 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 6 Aug 2024 20:31:25 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2562) * deps/k_release: Set Version 7.1.95 * Set Version: 1.0.670 * kevm-pyk/: sync poetry files pyk version 7.1.95 * 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 73559ba4f6..8e5e29a0b8 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.94 +7.1.95 diff --git a/flake.lock b/flake.lock index 647ecbf361..c790e07e7b 100644 --- a/flake.lock +++ b/flake.lock @@ -220,16 +220,16 @@ ] }, "locked": { - "lastModified": 1722934955, - "narHash": "sha256-VLosMqB7RijOC9scQx2O2irKz5B6vkkhF2aaCQg9Eks=", + "lastModified": 1722978243, + "narHash": "sha256-EDhR47lpfBHxeG5B3JxSAa0YazfHJPsjTVFMaSK9/bM=", "owner": "runtimeverification", "repo": "k", - "rev": "31d3640317dfe0ed76a9ddbfc64646071aeee0ee", + "rev": "15a2c29a815121a6b365710ad1a534760b56b28a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.94", + "ref": "v7.1.95", "repo": "k", "type": "github" } @@ -445,17 +445,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1722934955, - "narHash": "sha256-VLosMqB7RijOC9scQx2O2irKz5B6vkkhF2aaCQg9Eks=", + "lastModified": 1722978243, + "narHash": "sha256-EDhR47lpfBHxeG5B3JxSAa0YazfHJPsjTVFMaSK9/bM=", "owner": "runtimeverification", "repo": "k", - "rev": "31d3640317dfe0ed76a9ddbfc64646071aeee0ee", + "rev": "15a2c29a815121a6b365710ad1a534760b56b28a", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.94", + "ref": "v7.1.95", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 23c57b8bf2..bfb35507ad 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.94"; + k-framework.url = "github:runtimeverification/k/v7.1.95"; 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.94?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.95?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 e3d8ecb4fb..199d465820 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.94" +version = "7.1.95" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.94-py3-none-any.whl", hash = "sha256:6e5bd949e63ce290429d33a51ead0ec7c35c396f7b9bae4e4403a152fbf05b5d"}, - {file = "kframework-7.1.94.tar.gz", hash = "sha256:e97f828d5917e02f9819b87bf5e1941b180cd5703968d43d9a64f77df0cebebc"}, + {file = "kframework-7.1.95-py3-none-any.whl", hash = "sha256:932e226ac6207158a35e435e267411f0f183fea671fca7731462c7f532c25c02"}, + {file = "kframework-7.1.95.tar.gz", hash = "sha256:b60a3341069a1610189b2350dc432b18e90bc87d964e5b7d4c92b1824bc28c51"}, ] [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 = "348d8326edb76dbd906319cd78dbbbb3ae6014421bc926dcea89bdba9e3003e9" +content-hash = "ae7a6370ddc94f87ad347383dc8dcb9c89056138fb4f891c0faaba9ffb552739" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 00e91cd311..d3c3dd57cc 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.669" +version = "1.0.670" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.94" +kframework = "7.1.95" 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 66799e1cf1..49e6a7cd8b 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.669' +VERSION: Final = '1.0.670' diff --git a/package/version b/package/version index 2331732af0..43dc38f100 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.669 +1.0.670