From d27025c8198e7785b9f54c494575d6de86abe3c2 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 23 Apr 2024 02:42:30 -0600 Subject: [PATCH] Update dependency: deps/k_release (#615) * deps/k_release: Set Version 7.0.13 * Set Version: 0.1.36 * pykwasm/: sync poetry files v7.0.13 * deps/k_release: Set Version 7.0.14 * pykwasm/: sync poetry files v7.0.14 * deps/k_release: Set Version 7.0.15 * pykwasm/: sync poetry files v7.0.15 * deps/k_release: Set Version 7.0.16 * pykwasm/: sync poetry files v7.0.16 * deps/k_release: Set Version 7.0.17 * pykwasm/: sync poetry files v7.0.17 --------- Co-authored-by: devops --- deps/k_release | 2 +- package/version | 2 +- pykwasm/poetry.lock | 26 +++++++++++++------------- pykwasm/pyproject.toml | 4 ++-- 4 files changed, 17 insertions(+), 17 deletions(-) diff --git a/deps/k_release b/deps/k_release index b537083a2..efd34e242 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.9 +7.0.17 diff --git a/package/version b/package/version index a52e04166..072d0fa39 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.35 +0.1.36 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 65ae5e1b1..b3d1e25a7 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -343,13 +343,13 @@ cython = ["cython"] [[package]] name = "exceptiongroup" -version = "1.2.0" +version = "1.2.1" description = "Backport of PEP 654 (exception groups)" optional = false python-versions = ">=3.7" files = [ - {file = "exceptiongroup-1.2.0-py3-none-any.whl", hash = "sha256:4bfd3996ac73b41e9b9628b04e079f193850720ea5945fc96a08633c66912f14"}, - {file = "exceptiongroup-1.2.0.tar.gz", hash = "sha256:91f5c769735f051a4290d52edd0858999b57e5876e9f85937691bd4c9fa3ed68"}, + {file = "exceptiongroup-1.2.1-py3-none-any.whl", hash = "sha256:5258b9ed329c5bbdd31a309f53cbfb0b155341807f6ff7606a1e801a891b29ad"}, + {file = "exceptiongroup-1.2.1.tar.gz", hash = "sha256:a4785e48b045528f5bfe627b6ad554ff32def154f42372786903b7abcfe1aa16"}, ] [package.extras] @@ -403,13 +403,13 @@ pyflakes = ">=3.2.0,<3.3.0" [[package]] name = "flake8-bugbear" -version = "24.2.6" +version = "24.4.21" description = "A plugin for flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle." optional = false python-versions = ">=3.8.1" files = [ - {file = "flake8-bugbear-24.2.6.tar.gz", hash = "sha256:f9cb5f2a9e792dd80ff68e89a14c12eed8620af8b41a49d823b7a33064ac9658"}, - {file = "flake8_bugbear-24.2.6-py3-none-any.whl", hash = "sha256:663ef5de80cd32aacd39d362212983bc4636435a6f83700b4ed35acbd0b7d1b8"}, + {file = "flake8_bugbear-24.4.21-py3-none-any.whl", hash = "sha256:58581060a1650f4b11344795db8a4934867d4450486319ece86d7720a9414036"}, + {file = "flake8_bugbear-24.4.21.tar.gz", hash = "sha256:d1a87b8f6ca1ed28772c36515f751ea3709e041d78bca60590a570b9cb802e55"}, ] [package.dependencies] @@ -779,13 +779,13 @@ test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=7.4.3)", "pytest- [[package]] name = "pluggy" -version = "1.4.0" +version = "1.5.0" description = "plugin and hook calling mechanisms for python" optional = false python-versions = ">=3.8" files = [ - {file = "pluggy-1.4.0-py3-none-any.whl", hash = "sha256:7db9f7b503d67d1c5b95f59773ebb58a8c1c288129a88665838012cfb07b8981"}, - {file = "pluggy-1.4.0.tar.gz", hash = "sha256:8c85c2876142a764e5b7548e7d9a0e0ddb46f5185161049a79b7e974454223be"}, + {file = "pluggy-1.5.0-py3-none-any.whl", hash = "sha256:44e1ad92c8ca002de6377e165f3e0f1be63266ab4d554740532335b9d75ea669"}, + {file = "pluggy-1.5.0.tar.gz", hash = "sha256:2cffa88e94fdc978c4c574f15f9e59b7f4201d439195c3715ca9e2486f1d0cf1"}, ] [package.extras] @@ -897,7 +897,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.9" +version = "7.0.17" description = "" optional = false python-versions = "^3.10" @@ -918,8 +918,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.9" -resolved_reference = "8868b0aaf0e4d6c9506b3cd3b8b528fd5f065830" +reference = "v7.0.17" +resolved_reference = "1c1c0717c85468290b2c3faa54aae24386c7f03b" subdirectory = "pyk" [[package]] @@ -1186,4 +1186,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d80ee2b01353f5230a52da05158ea47e38369fb4b4dbf42639ca383461e1195d" +content-hash = "e927badd5d8d408bb4de5fa0682a267d6102d90df9ce71f4509638932a1c976e" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 12aab4dc5..d7b118a0c 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pykwasm" -version = "0.1.35" +version = "0.1.36" description = "" authors = [ "Runtime Verification, Inc. ", @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin" python = "^3.10" cytoolz = "^0.12.1" numpy = "^1.24.2" -pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.9", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.17", subdirectory = "pyk" } py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"} [tool.poetry.group.dev.dependencies]