From 4109a2c51d3ed730cbe3dcb8ab2c9faaa5a5aa02 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 7 Nov 2023 15:02:06 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2158) * deps/pyk_release: Set Version v0.1.492 * kevm-pyk/: sync poetry files pyk version v0.1.492 * deps/k_release: sync release file version 6.0.196 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.339 --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 39 ++++++++++++++++--------------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 10 ++++---- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 8 files changed, 33 insertions(+), 32 deletions(-) diff --git a/deps/k_release b/deps/k_release index a76029451a..743588a101 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.0.190 +6.0.196 diff --git a/deps/pyk_release b/deps/pyk_release index 8a2511b073..eceeaad2b1 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.491 +v0.1.492 diff --git a/flake.lock b/flake.lock index 1f893af1f5..eaae244e02 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1698748998, - "narHash": "sha256-rtn0XdiVUJe+ilvu+KowIf5nOfzxC/Uqs44g9gy4kgI=", + "lastModified": 1698937618, + "narHash": "sha256-7ASzWfaln3OoDGRllQ130CbPltQqDRuzPCjb+xcVixo=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8", + "rev": "a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "d240f6e954bdbc16572259ac6fec70a66416e2d8", + "rev": "a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc", "type": "github" } }, @@ -251,17 +251,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1698659846, - "narHash": "sha256-zpISCikITipLGr8D//8QpgW9YWKKrJ764QSu3pM6LSU=", + "lastModified": 1698918605, + "narHash": "sha256-p3n0+My1U+rfHjaFPClK92HxAjAWIxSmCYyORCWJfxo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "811e94fbcaef8550a6a709a9ce793f7166457911", + "rev": "eebe4e9fd9dd6c606b37a384dbbfecca85943a38", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "811e94fbcaef8550a6a709a9ce793f7166457911", + "rev": "eebe4e9fd9dd6c606b37a384dbbfecca85943a38", "type": "github" } }, @@ -298,16 +298,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1698953137, - "narHash": "sha256-JZgH9005gkHJQ+pR4ld6bWPQ7bhXw29anISgU8XgFtc=", + "lastModified": 1699367507, + "narHash": "sha256-SDEByyId74b8nlAnFN1XaFJfmhvX9MMKjNh05u5NYPg=", "owner": "runtimeverification", "repo": "k", - "rev": "13a89f4c6a5c5ed2780ce1cffb6bd62bcfbc6be7", + "rev": "24867e99afd6e43b3a2437025f70765dadfff585", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.0.190", + "ref": "v6.0.196", "repo": "k", "type": "github" } @@ -376,16 +376,17 @@ ] }, "locked": { - "lastModified": 1689018333, - "narHash": "sha256-sthxx50rj0E7gv38oeMj8GZOp7i1776P1qZsM7pVLd0=", + "lastModified": 1656435814, + "narHash": "sha256-Gx4QoWB9eI437/66iqTr6AUjxGgN6WslqrQ57s+sL6A=", "owner": "goodlyrottenapple", "repo": "mavenix", - "rev": "153d69e62f87e5dd37d35492cc3e35dd80d2b5fa", + "rev": "0cbd57b2494d52909b27f57d03580acc66bf0298", "type": "github" }, "original": { "owner": "goodlyrottenapple", "repo": "mavenix", + "rev": "0cbd57b2494d52909b27f57d03580acc66bf0298", "type": "github" } }, @@ -495,16 +496,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1699000029, - "narHash": "sha256-IKjTlhnmB4CvVRtpFho9XV3x12lvfSYERn8MggDvUhU=", + "lastModified": 1699378047, + "narHash": "sha256-scklzolHKOV5t1HbA/DP/0D72kgJmD7SLP9QTIX3Iw0=", "owner": "runtimeverification", "repo": "pyk", - "rev": "11ec5230566ec2b8336000e636a5d814a4dc56d1", + "rev": "263f2f58fb07a772df4a04bab95b17a6cd4d45fe", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.491", + "ref": "v0.1.492", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 8ed72d2766..302b9af30f 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.0.190"; + k-framework.url = "github:runtimeverification/k/v6.0.196"; 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.491"; + pyk.url = "github:runtimeverification/pyk/v0.1.492"; 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 34cfd2dbba..19278dd914 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -1,4 +1,4 @@ -# This file is automatically @generated by Poetry 1.6.1 and should not be changed by hand. +# This file is automatically @generated by Poetry 1.7.0 and should not be changed by hand. [[package]] name = "attrs" @@ -812,7 +812,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.491" +version = "0.1.492" description = "" optional = false python-versions = "^3.10" @@ -832,8 +832,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.491" -resolved_reference = "11ec5230566ec2b8336000e636a5d814a4dc56d1" +reference = "v0.1.492" +resolved_reference = "263f2f58fb07a772df4a04bab95b17a6cd4d45fe" [[package]] name = "pyperclip" @@ -1097,4 +1097,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "067494744a75edf9b36705a0cba9a7bb676c73868b6f48da64745bf3e2b82418" +content-hash = "20fefa1b9ad516d7a1d23070fba3ac7f3a0f4ee00c36a35f49f8197fdf4fe822" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 79199577c1..854c3fdff5 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.338" +version = "1.0.339" description = "" authors = [ "Runtime Verification, Inc. ", @@ -17,7 +17,7 @@ packages = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.491" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.492" } tomlkit = "^0.11.6" xdg-base-dirs = "^6.0.0" diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index a0efb32ab4..e4331993ff 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.338' +VERSION: Final = '1.0.339' diff --git a/package/version b/package/version index 425236cb7a..8f22796cf8 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.338 +1.0.339