From 30055d2e68b8f1921e21c7b118a0fc3d56412e48 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 Nov 2023 23:57:46 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2166) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * deps/pyk_release: Set Version v0.1.494 * Set Version: 1.0.344 * kevm-pyk/: sync poetry files pyk version v0.1.494 * deps/k_release: sync release file version 6.1.1 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.346 --------- 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 | 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 dfda3e0b4f..f3b5af39e4 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.0 +6.1.1 diff --git a/deps/pyk_release b/deps/pyk_release index 670c13050d..d46edd46ef 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.493 +v0.1.494 diff --git a/flake.lock b/flake.lock index a7de8ed236..fd6d591fba 100644 --- a/flake.lock +++ b/flake.lock @@ -67,17 +67,17 @@ ] }, "locked": { - "lastModified": 1698937618, - "narHash": "sha256-7ASzWfaln3OoDGRllQ130CbPltQqDRuzPCjb+xcVixo=", + "lastModified": 1699449951, + "narHash": "sha256-XQ4xHUGvG77JTWPepKzeGnKyTMHm3T7YlzaCyRuRu0w=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc", + "rev": "15a9fc41edcf6b22730f37e77a3e29acb2ae3601", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc", + "rev": "15a9fc41edcf6b22730f37e77a3e29acb2ae3601", "type": "github" } }, @@ -272,16 +272,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1699440173, - "narHash": "sha256-nDVRzwwHUscOZRoD6RrDe0dzWgqzTRQDLVm06Vmn5Tw=", + "lastModified": 1699459419, + "narHash": "sha256-HMGdPX8jWdN/hSW8TMogVS+gcLEOzy5Iw5Inb+cpqQA=", "owner": "runtimeverification", "repo": "k", - "rev": "85f416c4ec36bcbdd31501481b5383a316cc3234", + "rev": "1d8b5cad4dba8e660ff20121be28251c10349af4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.0", + "ref": "v6.1.1", "repo": "k", "type": "github" } @@ -470,16 +470,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1699447899, - "narHash": "sha256-gGHCSS4fyNfmGQl73v+S0V8MyugT9ns3ufPMueIaCw8=", + "lastModified": 1699473822, + "narHash": "sha256-CzdPTlqBew6Xth/eUvEpEXAvyEZr0IWxfamVkK0ADRU=", "owner": "runtimeverification", "repo": "pyk", - "rev": "fd2cd65b01919ac608e0c4f8a8d21251f5d8a973", + "rev": "edc297774f4ce99d44788aee7a0f6cee044aaf73", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.493", + "ref": "v0.1.494", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 9d75d089ad..725af566d2 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.0"; + k-framework.url = "github:runtimeverification/k/v6.1.1"; 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.493"; + pyk.url = "github:runtimeverification/pyk/v0.1.494"; 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 3abd0d1974..6e675dc6eb 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -812,7 +812,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.493" +version = "0.1.494" 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.493" -resolved_reference = "fd2cd65b01919ac608e0c4f8a8d21251f5d8a973" +reference = "v0.1.494" +resolved_reference = "edc297774f4ce99d44788aee7a0f6cee044aaf73" [[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 = "74de2d16e137d95382dcacd8ee154c548c707de0d97e83dfa7c1f9a36c0b6185" +content-hash = "a37898321d17f4609dd10657bc92219d3ef2867802be31d86a467f76dcf802a9" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 94ba12ea35..5b1e967d5e 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.345" +version = "1.0.346" 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.493" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.494" } 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 816ea2f23c..81477acff5 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.345' +VERSION: Final = '1.0.346' diff --git a/package/version b/package/version index 2587cf1ec6..819d259c6d 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.345 +1.0.346