From 9f6eb2c4cb28c9984531d4344bd8dbc5fffb2c3d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 22 Nov 2023 02:02:20 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#2190) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * deps/pyk_release: Set Version v0.1.509 * Set Version: 1.0.368 * kevm-pyk/: sync poetry files pyk version v0.1.509 * flake.{nix,lock}: update Nix derivations * Set Version: 1.0.369 * kevm-pyk/: sync poetry files pyk version v0.1.509 --------- Co-authored-by: devops Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com> --- deps/pyk_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- kevm-pyk/poetry.lock | 26 +++++++++++++------------- kevm-pyk/pyproject.toml | 4 ++-- kevm-pyk/src/kevm_pyk/__init__.py | 2 +- package/version | 2 +- 7 files changed, 23 insertions(+), 23 deletions(-) diff --git a/deps/pyk_release b/deps/pyk_release index 7cf5ec8c7e..500a3b5e0c 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.508 +v0.1.509 diff --git a/flake.lock b/flake.lock index 9faa3b083b..0fbddd3550 100644 --- a/flake.lock +++ b/flake.lock @@ -455,16 +455,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1700556212, - "narHash": "sha256-Yomwn78Ho4DGreS/50rAK+DKINhTLqOv7AdNErB4HOo=", + "lastModified": 1700588611, + "narHash": "sha256-dF0ewROfHV9DQR0frSzudVScxUeUM85bTstob7qGDuo=", "owner": "runtimeverification", "repo": "pyk", - "rev": "1e4b5465847ce1c74e65cf76bddc718405e7a0f0", + "rev": "14e201d0f6b44d367d1232268fe6d9ea0d34f849", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.508", + "ref": "v0.1.509", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 2b44f38e36..a67cf784cf 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ 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.508"; + pyk.url = "github:runtimeverification/pyk/v0.1.509"; 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 ab67c41109..59f6f757e4 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -799,13 +799,13 @@ files = [ [[package]] name = "pygments" -version = "2.17.1" +version = "2.17.2" description = "Pygments is a syntax highlighting package written in Python." optional = false python-versions = ">=3.7" files = [ - {file = "pygments-2.17.1-py3-none-any.whl", hash = "sha256:1b37f1b1e1bff2af52ecaf28cc601e2ef7077000b227a0675da25aef85784bc4"}, - {file = "pygments-2.17.1.tar.gz", hash = "sha256:e45a0e74bf9c530f564ca81b8952343be986a29f6afe7f5ad95c5f06b7bdf5e8"}, + {file = "pygments-2.17.2-py3-none-any.whl", hash = "sha256:b27c2826c47d0f3219f29554824c30c5e8945175d888647acd804ddd04af846c"}, + {file = "pygments-2.17.2.tar.gz", hash = "sha256:da46cec9fd2de5be3a8a784f434e4c4ab670b4ff54d605c4c2717e9d49c4c367"}, ] [package.extras] @@ -814,7 +814,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.508" +version = "0.1.509" description = "" optional = false python-versions = "^3.10" @@ -834,8 +834,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.508" -resolved_reference = "1e4b5465847ce1c74e65cf76bddc718405e7a0f0" +reference = "v0.1.509" +resolved_reference = "14e201d0f6b44d367d1232268fe6d9ea0d34f849" [[package]] name = "pyperclip" @@ -931,13 +931,13 @@ pytest = ">=5.0.0" [[package]] name = "pytest-xdist" -version = "3.4.0" +version = "3.5.0" description = "pytest xdist plugin for distributed testing, most importantly across multiple CPUs" optional = false python-versions = ">=3.7" files = [ - {file = "pytest-xdist-3.4.0.tar.gz", hash = "sha256:3a94a931dd9e268e0b871a877d09fe2efb6175c2c23d60d56a6001359002b832"}, - {file = "pytest_xdist-3.4.0-py3-none-any.whl", hash = "sha256:e513118bf787677a427e025606f55e95937565e06dfaac8d87f55301e57ae607"}, + {file = "pytest-xdist-3.5.0.tar.gz", hash = "sha256:cbb36f3d67e0c478baa57fa4edc8843887e0f6cfc42d677530a36d7472b32d8a"}, + {file = "pytest_xdist-3.5.0-py3-none-any.whl", hash = "sha256:d075629c7e00b611df89f490a5063944bee7a4362a5ff11c7cc7824a03dfce24"}, ] [package.dependencies] @@ -1061,13 +1061,13 @@ test = ["coverage", "pytest", "pytest-cov"] [[package]] name = "wcwidth" -version = "0.2.11" +version = "0.2.12" description = "Measures the displayed width of unicode strings in a terminal" optional = false python-versions = "*" files = [ - {file = "wcwidth-0.2.11-py2.py3-none-any.whl", hash = "sha256:c4b153acf29f1f0d7fb1b00d097cce82b73de7a2016321c8d7ca71bd76dd848b"}, - {file = "wcwidth-0.2.11.tar.gz", hash = "sha256:25eb3ecbec328cdb945f56f2a7cfe784bdf7a73a8197398c7a7c65e7fe93e9ae"}, + {file = "wcwidth-0.2.12-py2.py3-none-any.whl", hash = "sha256:f26ec43d96c8cbfed76a5075dac87680124fa84e0855195a6184da9c187f133c"}, + {file = "wcwidth-0.2.12.tar.gz", hash = "sha256:f01c104efdf57971bcb756f054dd58ddec5204dd15fa31d6503ea57947d97c02"}, ] [[package]] @@ -1099,4 +1099,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "470fd8053fbc3203964f74320d877e6a17a59f0ea14ff11c9ce38abfb48acdf8" +content-hash = "9e5cd00a3b24f02dc4506a7ca139c362425dd078f8b81256c37ec8c7a1440a6e" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index cefd68b881..4f564753a0 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.368" +version = "1.0.369" 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.508" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.509" } 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 a72b644f06..bac7b8e077 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.368' +VERSION: Final = '1.0.369' diff --git a/package/version b/package/version index 21a05c793a..4e118ec82c 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.368 +1.0.369