From 8c169c89ebf4e3541d93bad16e835aed85cc0e79 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 4 Dec 2023 00:41:45 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2203) * deps/pyk_release: Set Version v0.1.525 * Set Version: 1.0.381 * kevm-pyk/: sync poetry files pyk version v0.1.525 * deps/k_release: sync release file version 6.1.35 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- kevm-pyk/poetry.lock | 16 ++++++++-------- 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 3aa2da5557..c7d7bcb6eb 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.34 +6.1.35 diff --git a/deps/pyk_release b/deps/pyk_release index 734e714e48..367a7fcc07 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.524 +v0.1.525 diff --git a/flake.lock b/flake.lock index 5bb15fa982..f3377ccc5a 100644 --- a/flake.lock +++ b/flake.lock @@ -254,16 +254,16 @@ "rv-utils": "rv-utils" }, "locked": { - "lastModified": 1701361720, - "narHash": "sha256-8bQhKOJogUYCtXDatjXkE3Z2uMObDCk9yfPmfoMUVRo=", + "lastModified": 1701439419, + "narHash": "sha256-yGFiJyxgmHaeDB1or9aNn9xqcHpkD1Jwd60TVi2gq2E=", "owner": "runtimeverification", "repo": "k", - "rev": "9ce696a2561da814d175382b51f088ecfc7f06c2", + "rev": "549dc1e2e6a5fa1dc6ea40c35c42ebce47bf4587", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.1.34", + "ref": "v6.1.35", "repo": "k", "type": "github" } @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1701445416, - "narHash": "sha256-0W0HeWGauDoJcBQbD81UU78GgTZ7qPwvz+0qef76YT8=", + "lastModified": 1701458619, + "narHash": "sha256-8A31wHmB31rzBulxAGhEJvNWep9QY7tN9D3CMYXSsC0=", "owner": "runtimeverification", "repo": "pyk", - "rev": "1643899e3ce7eaf9d60a4237ca1f13f6e7e834f7", + "rev": "4a1a2c990078361259bbdaaaac41dd85c0cf1802", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.524", + "ref": "v0.1.525", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 6be947da64..1002d6f461 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.34"; + k-framework.url = "github:runtimeverification/k/v6.1.35"; 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.524"; + pyk.url = "github:runtimeverification/pyk/v0.1.525"; 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 162f2a6d70..f8c7dbb95f 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -383,20 +383,20 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "importlib-metadata" -version = "6.8.0" +version = "6.9.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-6.8.0-py3-none-any.whl", hash = "sha256:3ebb78df84a805d7698245025b975d9d67053cd94c79245ba4b3eb694abe68bb"}, - {file = "importlib_metadata-6.8.0.tar.gz", hash = "sha256:dbace7892d8c0c4ac1ad096662232f831d4e64f4c4545bd53016a3e9d4654743"}, + {file = "importlib_metadata-6.9.0-py3-none-any.whl", hash = "sha256:1c8dc6839ddc9771412596926f24cb5a553bbd40624ee2c7e55e531542bed3b8"}, + {file = "importlib_metadata-6.9.0.tar.gz", hash = "sha256:e8acb523c335a91822674e149b46c0399ec4d328c4d1f6e49c273da5ff0201b9"}, ] [package.dependencies] zipp = ">=0.5" [package.extras] -docs = ["furo", "jaraco.packaging (>=9)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] +docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (<7.2.5)", "sphinx (>=3.5)", "sphinx-lint"] perf = ["ipython"] testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-black (>=0.3.7)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy (>=0.9.1)", "pytest-perf (>=0.9.2)", "pytest-ruff"] @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.524" +version = "0.1.525" description = "" optional = false python-versions = "^3.10" @@ -835,8 +835,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.524" -resolved_reference = "1643899e3ce7eaf9d60a4237ca1f13f6e7e834f7" +reference = "v0.1.525" +resolved_reference = "4a1a2c990078361259bbdaaaac41dd85c0cf1802" [[package]] name = "pyperclip" @@ -1100,4 +1100,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d82471355e0ebf2145f443286db4cd15bf4fe86a5ea6a89fdf5bc544ef26047f" +content-hash = "3d9a0946f22513bd1efb90dfde6a48d9c406f7dfeed5b3377fbda988946c1230" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 66af92ea53..9077d55b57 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.380" +version = "1.0.381" 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.524" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.525" } 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 ad10b8c0e6..81155a55df 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.380' +VERSION: Final = '1.0.381' diff --git a/package/version b/package/version index 31bee6a92f..b94725e129 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.380 +1.0.381