From 0ecd31ee863b234f03d41c00bdcb1df66e631efc Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 23 Jul 2024 09:49:37 -0600 Subject: [PATCH] Update dependency: deps/k_release (#2535) * deps/k_release: Set Version 7.1.77 * Set Version: 1.0.650 * kevm-pyk/: sync poetry files pyk version 7.1.77 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 14 +++++++------- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 7 files changed, 22 insertions(+), 22 deletions(-) diff --git a/deps/k_release b/deps/k_release index 5a9ae259ff..17b41b3f24 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.76 +7.1.77 diff --git a/flake.lock b/flake.lock index ecaacc326d..4830c491be 100644 --- a/flake.lock +++ b/flake.lock @@ -220,16 +220,16 @@ ] }, "locked": { - "lastModified": 1721728967, - "narHash": "sha256-B6+8uI2l51/n9+Tfme1y7C9YvZ7vGfjP/leHxegE9NM=", + "lastModified": 1721742131, + "narHash": "sha256-EpCE7INcNBkPv6rrQImgzNkGcf4u2Qt11eyOfaX81iw=", "owner": "runtimeverification", "repo": "k", - "rev": "a62cd7b10d3d0648e0cb587eff374cebd4293dfb", + "rev": "6f57944b0910792a6a245919c7ec0a8277e37203", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.76", + "ref": "v7.1.77", "repo": "k", "type": "github" } @@ -445,17 +445,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721728967, - "narHash": "sha256-B6+8uI2l51/n9+Tfme1y7C9YvZ7vGfjP/leHxegE9NM=", + "lastModified": 1721742131, + "narHash": "sha256-EpCE7INcNBkPv6rrQImgzNkGcf4u2Qt11eyOfaX81iw=", "owner": "runtimeverification", "repo": "k", - "rev": "a62cd7b10d3d0648e0cb587eff374cebd4293dfb", + "rev": "6f57944b0910792a6a245919c7ec0a8277e37203", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.76", + "ref": "v7.1.77", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index d7517696a6..b0f8eca241 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.76"; + k-framework.url = "github:runtimeverification/k/v7.1.77"; 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.76?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.77?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 aa3eb6ff2a..ed50960648 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -423,13 +423,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "8.0.0" +version = "8.1.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-8.0.0-py3-none-any.whl", hash = "sha256:15584cf2b1bf449d98ff8a6ff1abef57bf20f3ac6454f431736cd3e660921b2f"}, - {file = "importlib_metadata-8.0.0.tar.gz", hash = "sha256:188bd24e4c346d3f0a933f275c2fec67050326a856b9a359881d7c2a697e8812"}, + {file = "importlib_metadata-8.1.0-py3-none-any.whl", hash = "sha256:3cd29f739ed65973840b068e3132135ce954c254d48b5b640484467ef7ab3c8c"}, + {file = "importlib_metadata-8.1.0.tar.gz", hash = "sha256:fcdcb1d5ead7bdf3dd32657bb94ebe9d2aabfe89a19782ddc32da5041d6ebfb4"}, ] [package.dependencies] @@ -481,13 +481,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.76" +version = "7.1.77" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.76-py3-none-any.whl", hash = "sha256:f2864e7f6e96caa8e768205b59c94eb2457ccc8eae98a813a61152e2be19866e"}, - {file = "kframework-7.1.76.tar.gz", hash = "sha256:f78c93b0a36457f6e6c58483bb76aed9186a7a49ba51aabad0e4f33e3e30c493"}, + {file = "kframework-7.1.77-py3-none-any.whl", hash = "sha256:52d13e961784956811be9d35a4993190582b8289f771c8f5f62be344094e5907"}, + {file = "kframework-7.1.77.tar.gz", hash = "sha256:d0eef9057444fce29e2c0ab4e9ef4c71988b599939acc0044c1d901b93ff26f0"}, ] [package.dependencies] @@ -1158,4 +1158,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d8ee7fe781c8311ff66464a5a8dfe14052bc91c5dbdbd1a653d577db1d77fe58" +content-hash = "b6db01969a633a637f3cd19733d05633cf83c42a52d5209bfe664896915193c3" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 7dc8e1640d..6dbe006bb4 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.649" +version = "1.0.650" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -kframework = "7.1.76" +kframework = "7.1.77" 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 f47b08df06..1007aa92f9 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.649' +VERSION: Final = '1.0.650' diff --git a/package/version b/package/version index e0f40f85e6..bcfc5ce686 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.649 +1.0.650