From 31dc42d1fc67c528edfa04eb296af9bb036d2bd6 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 17 Nov 2023 09:43:50 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2181) * deps/pyk_release: Set Version v0.1.505 * kevm-pyk/: sync poetry files pyk version v0.1.505 * deps/k_release: sync release file version 6.1.20 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.362 --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 30 +++++++++++++++--------------- 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, 28 insertions(+), 28 deletions(-) diff --git a/deps/k_release b/deps/k_release index d8b1b0bc59..0b5432f323 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.14 +6.1.20 diff --git a/deps/pyk_release b/deps/pyk_release index d8f53e47b3..d9591f47dd 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.501 +v0.1.505 diff --git a/flake.lock b/flake.lock index de8e27ad41..c403ea845e 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1699829156, - "narHash": "sha256-aZCXnm0rybhW5DSvbZmwDBwKEZD5DAvpezpRd9VoJw4=", + "lastModified": 1700046247, + "narHash": "sha256-cdRRiVW3pU3Y/XR6OH+0XuVOOgtlfoPWHZz4SqzaelE=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "09ea14a2196589264eba4aed1ba5d6de40bcebd4", + "rev": "8ecb99be22406efbdf151eb20a8d253d72a961f2", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "09ea14a2196589264eba4aed1ba5d6de40bcebd4", + "rev": "8ecb99be22406efbdf151eb20a8d253d72a961f2", "type": "github" } }, @@ -254,16 +254,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1699988860, - "narHash": "sha256-pOhkmsPtSmRG6y92McegQdKtCmHe0ij1BTu3P0Xi6Do=", + "lastModified": 1700152124, + "narHash": "sha256-CHYh843QoauYDmvJArA0PowePlFQ9U+KQ8Us85zbk2o=", "owner": "runtimeverification", "repo": "k", - "rev": "bc5dc73b0e941708769f668e30d30fcdbeb892fe", + "rev": "02edce67df507522fe1c1f710fc7b06358487193", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.14", + "ref": "v6.1.20", "repo": "k", "type": "github" } @@ -303,11 +303,11 @@ ] }, "locked": { - "lastModified": 1699980180, - "narHash": "sha256-9jEw45jUSau+rcIyzA9fsmDshWjaUQiskh1b15OOQzc=", + "lastModified": 1700127797, + "narHash": "sha256-1hF1r0ONR9f45eqVlrimgRyv7IQMGJI6ecwieX8Lpd0=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "4339deb023054a38647a56c5f47966294286cb19", + "rev": "f2078a64cf50d22fdf0eb610f48d7480839c6657", "type": "github" }, "original": { @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1700037862, - "narHash": "sha256-PMhaGQSUoVeeuxHinOY2iKuPs87jZ4+QK55zl0k/UpQ=", + "lastModified": 1700186414, + "narHash": "sha256-8up5hhz57l88ytxk0FTEnlu3jEUcFluabPtBwPqCuc0=", "owner": "runtimeverification", "repo": "pyk", - "rev": "65dc68a488bff876e60a0595ae002412ca65face", + "rev": "714e709aaae4fb4417f9f8266b4ed09edeb561ca", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.501", + "ref": "v0.1.505", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index d175712896..bab04fbc86 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.14"; + k-framework.url = "github:runtimeverification/k/v6.1.20"; 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.501"; + pyk.url = "github:runtimeverification/pyk/v0.1.505"; 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 c758a016c4..5e744416cf 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -1,4 +1,4 @@ -# This file is automatically @generated by Poetry 1.7.0 and should not be changed by hand. +# This file is automatically @generated by Poetry 1.7.1 and should not be changed by hand. [[package]] name = "attrs" @@ -813,7 +813,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.501" +version = "0.1.505" description = "" optional = false python-versions = "^3.10" @@ -833,8 +833,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.501" -resolved_reference = "65dc68a488bff876e60a0595ae002412ca65face" +reference = "v0.1.505" +resolved_reference = "714e709aaae4fb4417f9f8266b4ed09edeb561ca" [[package]] name = "pyperclip" @@ -1098,4 +1098,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "49a6381b202de3d4b2bed40d9658cf03fc85bff1f7fb8a5c3c6f026ee55a86e7" +content-hash = "e7bc1f4070c73b06f59ae8c8704d5a64bf9c764cc40bd7ae91c18ed889d526d5" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index f61bde9694..fde3f05659 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.361" +version = "1.0.362" 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.501" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.505" } 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 47c7897a52..c939cce410 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.361' +VERSION: Final = '1.0.362' diff --git a/package/version b/package/version index b3206bd300..7d8b6161f7 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.361 +1.0.362