From 707ad8f4ef03b63230cded0cf6aa5d1660a768cf Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 1 Apr 2024 01:23:25 -0600 Subject: [PATCH] Update dependency: deps/kwasm_release (#225) * deps/kwasm_release: Set Version 0.1.21 * Set Version: 0.1.23 * deps/wasm-semantics: update submodule v0.1.21 * deps/{k_release,pyk_release}: update versions * kmultiversx/: sync poetry files 0.1.21 --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kwasm_release | 2 +- deps/pyk_release | 2 +- deps/wasm-semantics | 2 +- kmultiversx/poetry.lock | 26 +++++++++++++------------- kmultiversx/pyproject.toml | 4 ++-- package/version | 2 +- 7 files changed, 20 insertions(+), 20 deletions(-) diff --git a/deps/k_release b/deps/k_release index de8ad79a..bba20f9c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.68 +6.3.69 diff --git a/deps/kwasm_release b/deps/kwasm_release index baa98378..79062996 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.20 +0.1.21 diff --git a/deps/pyk_release b/deps/pyk_release index db0b5370..2da86c90 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.754 +v0.1.759 diff --git a/deps/wasm-semantics b/deps/wasm-semantics index 5da4b782..a19c50b0 160000 --- a/deps/wasm-semantics +++ b/deps/wasm-semantics @@ -1 +1 @@ -Subproject commit 5da4b782f02dbf058e589dbdfa2940db752b1aa6 +Subproject commit a19c50b09d48947a6b7cf5d6dd98af1cc10a6203 diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index b09bca91..12da4aaf 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.99.13" +version = "6.100.0" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.99.13-py3-none-any.whl", hash = "sha256:b538df1d22365df84f94c38fb2d9c41a222373594c2a910cc8f4ddc68240a62f"}, - {file = "hypothesis-6.99.13.tar.gz", hash = "sha256:e425e8a3f1912e44f62ff3e2768dca19c79f46d43ec70fa56e96e2d7194ccd2d"}, + {file = "hypothesis-6.100.0-py3-none-any.whl", hash = "sha256:ceaeb7c051085dbec37f2fc4dca524b6304472ff1887fed53b3d84705507c10e"}, + {file = "hypothesis-6.100.0.tar.gz", hash = "sha256:1841f6b5083844cd4b66965e44a17c0dc8fe8e9c6370c1f7b8d50647fcb2efd3"}, ] [package.dependencies] @@ -509,10 +509,10 @@ exceptiongroup = {version = ">=1.0.0", markers = "python_version < \"3.11\""} sortedcontainers = ">=2.1.0,<3.0.0" [package.extras] -all = ["backports.zoneinfo (>=0.2.1)", "black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.53)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.2)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.17.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.1)"] +all = ["backports.zoneinfo (>=0.2.1)", "black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.54)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.2)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.17.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.1)"] cli = ["black (>=19.10b0)", "click (>=7.0)", "rich (>=9.0.0)"] codemods = ["libcst (>=0.3.16)"] -crosshair = ["crosshair-tool (>=0.0.53)", "hypothesis-crosshair (>=0.0.2)"] +crosshair = ["crosshair-tool (>=0.0.54)", "hypothesis-crosshair (>=0.0.2)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -971,7 +971,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.754" +version = "0.1.759" description = "" optional = false python-versions = "^3.10" @@ -992,12 +992,12 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.754" -resolved_reference = "ed553c57983daeb22fd81842ce231af851735c6d" +reference = "v0.1.759" +resolved_reference = "21834552e9e65ccb2b06438d160a72af2772e3fd" [[package]] name = "pykwasm" -version = "0.1.20" +version = "0.1.21" description = "" optional = false python-versions = "^3.10" @@ -1008,13 +1008,13 @@ develop = false cytoolz = "^0.12.1" numpy = "^1.24.2" py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"} -pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.754"} +pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.759"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.20" -resolved_reference = "5da4b782f02dbf058e589dbdfa2940db752b1aa6" +reference = "v0.1.21" +resolved_reference = "a19c50b09d48947a6b7cf5d6dd98af1cc10a6203" subdirectory = "pykwasm" [[package]] @@ -1292,4 +1292,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e92de1efe491e3cb768e3a03b6b2027b18a2c4152d078ea1bb3c95aa14ecc5e6" +content-hash = "985a80faa05c38eead2602a5445ce44b48f0326c913829fe5a75b6f36151b248" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 4a5ec883..21b75f1e 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmultiversx" -version = "0.1.22" +version = "0.1.23" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", @@ -12,7 +12,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.20", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.21", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" diff --git a/package/version b/package/version index 7e72641b..001d7528 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.22 +0.1.23