From 316e095179d50663edfc1bd18434eba25f093416 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Sun, 19 Nov 2023 20:42:12 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2183) * deps/pyk_release: Set Version v0.1.506 * Set Version: 1.0.363 * kevm-pyk/: sync poetry files pyk version v0.1.506 * deps/k_release: sync release file version 6.1.21 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 24 ++++++++++++------------ 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, 24 insertions(+), 24 deletions(-) diff --git a/deps/k_release b/deps/k_release index 0b5432f323..ddcc725831 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.20 +6.1.21 diff --git a/deps/pyk_release b/deps/pyk_release index d9591f47dd..580eb1f9a9 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.505 +v0.1.506 diff --git a/flake.lock b/flake.lock index c403ea845e..4b5647ad31 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1700046247, - "narHash": "sha256-cdRRiVW3pU3Y/XR6OH+0XuVOOgtlfoPWHZz4SqzaelE=", + "lastModified": 1700130818, + "narHash": "sha256-i4hqzOfI5qpqU4sL0Vk/tJK8VSQEXIuSC42jnNp/0Z0=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "8ecb99be22406efbdf151eb20a8d253d72a961f2", + "rev": "ac35589bb31831b346e143bfa98c51e670237b8e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "8ecb99be22406efbdf151eb20a8d253d72a961f2", + "rev": "ac35589bb31831b346e143bfa98c51e670237b8e", "type": "github" } }, @@ -254,16 +254,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1700152124, - "narHash": "sha256-CHYh843QoauYDmvJArA0PowePlFQ9U+KQ8Us85zbk2o=", + "lastModified": 1700259968, + "narHash": "sha256-IZk2/j/z7wjgBrB3OCgYyxB200M6kFNOus1pny+9FdU=", "owner": "runtimeverification", "repo": "k", - "rev": "02edce67df507522fe1c1f710fc7b06358487193", + "rev": "e14e50a19a67563565d116c6ecf0e84ff803a9d1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.20", + "ref": "v6.1.21", "repo": "k", "type": "github" } @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1700186414, - "narHash": "sha256-8up5hhz57l88ytxk0FTEnlu3jEUcFluabPtBwPqCuc0=", + "lastModified": 1700269321, + "narHash": "sha256-7hNtFym1u3fBJNn7cESytT5QItwP8dxR3Jk2XYAF6rM=", "owner": "runtimeverification", "repo": "pyk", - "rev": "714e709aaae4fb4417f9f8266b4ed09edeb561ca", + "rev": "5d9e84673c79f2bad96eff4e83dacc04646e7158", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.505", + "ref": "v0.1.506", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index bab04fbc86..6fee517448 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.20"; + k-framework.url = "github:runtimeverification/k/v6.1.21"; 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.505"; + pyk.url = "github:runtimeverification/pyk/v0.1.506"; 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 5e744416cf..e244c6a7d5 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -813,7 +813,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.505" +version = "0.1.506" 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.505" -resolved_reference = "714e709aaae4fb4417f9f8266b4ed09edeb561ca" +reference = "v0.1.506" +resolved_reference = "5d9e84673c79f2bad96eff4e83dacc04646e7158" [[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 = "e7bc1f4070c73b06f59ae8c8704d5a64bf9c764cc40bd7ae91c18ed889d526d5" +content-hash = "7cecaafa6e5744529849572460799824f96401d5267fa58033bdbfc725f91243" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index fde3f05659..f7c208b001 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.362" +version = "1.0.363" 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.505" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.506" } 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 c939cce410..fbcfe604c9 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.362' +VERSION: Final = '1.0.363' diff --git a/package/version b/package/version index 7d8b6161f7..8032df5174 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.362 +1.0.363