From 5a026c707f9a6a589b6a25812bd3081510d7021c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 11 Jan 2024 22:41:40 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2254) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * deps/pyk_release: Set Version v0.1.572 * kevm-pyk/: sync poetry files pyk version v0.1.572 * deps/k_release: sync release file version 6.1.77 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.414 * Set Version: 1.0.415 --------- Co-authored-by: devops Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 22 +++++++++++----------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 8 ++++---- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 8 files changed, 23 insertions(+), 23 deletions(-) diff --git a/deps/k_release b/deps/k_release index 3aef12890a..70e3bac6c2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.76 +6.1.77 diff --git a/deps/pyk_release b/deps/pyk_release index ee0e046e28..aa6931e6ad 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.571 +v0.1.572 diff --git a/flake.lock b/flake.lock index d3101c7931..8dd99aef77 100644 --- a/flake.lock +++ b/flake.lock @@ -254,16 +254,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1704904092, - "narHash": "sha256-MFhKs/RWp6QQZPl3W/U2M5J4kN7A6W8TpVJAmye4Ckw=", + "lastModified": 1704989061, + "narHash": "sha256-9IJn0f0m5AFHEXAaapvp5RhtBqpr5nnj3CAtBy+kju4=", "owner": "runtimeverification", "repo": "k", - "rev": "ecd66664993b7d05931a6ec23bf25ba69e82109a", + "rev": "18ce58892d77b05f8aa51f42ae563ff068620ad3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.76", + "ref": "v6.1.77", "repo": "k", "type": "github" } @@ -303,11 +303,11 @@ ] }, "locked": { - "lastModified": 1703183218, - "narHash": "sha256-29Zvh5E7QF6rVejQpdris8Q4p8PfrGsMRi9HKVqsYbs=", + "lastModified": 1704904099, + "narHash": "sha256-RpRhxWaW01qLJ51XCKiVmS6T5d9CI+uXMcxFxADy1wY=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "83a5b3015ac8816076573d3c8ac266b448b78130", + "rev": "276afab5392f7a3ed000adaacfd9eea9f9825672", "type": "github" }, "original": { @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1704914632, - "narHash": "sha256-bXUaf1Jrlxcu0uZ62hr9wYMFy0dWy2PbjgauWmMYy6U=", + "lastModified": 1704997708, + "narHash": "sha256-gWlflT/HiLRk88Ht9+iJ/DgSv0Br3bDXv40my/NqAkQ=", "owner": "runtimeverification", "repo": "pyk", - "rev": "30b034cd5732c5ce2054fcbef508bc348d8bd293", + "rev": "e47333fd09cac67a69c074a302e890466e88b964", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.571", + "ref": "v0.1.572", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 6055e880df..eae80c320e 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/v6.1.76"; + k-framework.url = "github:runtimeverification/k/v6.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/pyk/v0.1.571"; + pyk.url = "github:runtimeverification/pyk/v0.1.572"; 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 d35813f8b2..0fbd5dfb68 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -816,7 +816,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.571" +version = "0.1.572" description = "" optional = false python-versions = "^3.10" @@ -837,8 +837,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.571" -resolved_reference = "30b034cd5732c5ce2054fcbef508bc348d8bd293" +reference = "v0.1.572" +resolved_reference = "e47333fd09cac67a69c074a302e890466e88b964" [[package]] name = "pyperclip" @@ -1102,4 +1102,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "1691c5be66ca07c844f94c92eb87649d7bab7eedd9f82460192bc3f9cc5903a8" +content-hash = "c7f9b05b3c71dc844681c796fe13ee46b999c6d2074cc0695d2a0091a7907a78" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 72b28ed8bd..e3169634c4 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.414" +version = "1.0.415" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.571" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.572" } 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 723ba5a060..a2df51ed4d 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.414' +VERSION: Final = '1.0.415' diff --git a/package/version b/package/version index 7ce89ff651..817f3c12bd 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.414 +1.0.415