From ef3f8d706ad4a0538c5db9bf79251ac94664b5a2 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 17:25:54 +0000 Subject: [PATCH 1/7] deps/kwasm_release: Set Version 0.1.51 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 0665a48..c892edd 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.50 +0.1.51 From dec0196e0ea4b2ffadff07f01e61441b13b73d99 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 17:26:08 +0000 Subject: [PATCH 2/7] Set Version: 0.1.3 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index d917d3e..b1e80bb 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.2 +0.1.3 diff --git a/pyproject.toml b/pyproject.toml index a75ff68..999a371 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "ksoroban" -version = "0.1.2" +version = "0.1.3" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", From 58487ff3c15aade2339f428c7e8ae9c640559f96 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 17:36:13 +0000 Subject: [PATCH 3/7] Sync Poetry files 0.1.51 --- poetry.lock | 18 +++++++++--------- pyproject.toml | 2 +- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/poetry.lock b/poetry.lock index 203ebb3..4c180b4 100644 --- a/poetry.lock +++ b/poetry.lock @@ -835,7 +835,7 @@ numpy = ">=1.16.0,<2" toolz = {version = ">0.9.0,<1", markers = "implementation_name == \"pypy\""} [package.extras] -dev = ["Sphinx (>=1.6.5,<2)", "bumpversion (>=0.5.3,<1)", "flake8 (==3.6.0)", "hypothesis (>=6.88.1,<7)", "ipython", "isort (>=4.3.9,<5)", "mypy (==1.6.1)", "pytest (>=7.4.3,<8)", "pytest-watch (>=4.1.0,<5)", "pytest-watch (>=4.2.0,<5)", "pytest-xdist (>=3.2.0,<4)", "sphinx_rtd_theme (>=0.1.9)", "tox (>=4.11.3,<5)", "twine", "wheel"] +dev = ["bumpversion (>=0.5.3,<1)", "ipython", "pytest-watch (>=4.1.0,<5)", "twine", "wheel"] doc = ["Sphinx (>=1.6.5,<2)", "sphinx_rtd_theme (>=0.1.9)"] lint = ["flake8 (==3.6.0)", "isort (>=4.3.9,<5)", "mypy (==1.6.1)"] test = ["hypothesis (>=6.88.1,<7)", "pytest (>=7.4.3,<8)", "pytest-watch (>=4.2.0,<5)", "pytest-xdist (>=3.2.0,<4)", "tox (>=4.11.3,<5)"] @@ -898,7 +898,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.56" +version = "7.0.67" description = "" optional = false python-versions = "^3.10" @@ -919,13 +919,13 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.56" -resolved_reference = "5e0c6e00d4925d0c0eab3b579fe378dc14ef2878" +reference = "v7.0.67" +resolved_reference = "8c5e00d10e600132f51f2958d4f624bc86669cbf" subdirectory = "pyk" [[package]] name = "pykwasm" -version = "0.1.50" +version = "0.1.51" description = "" optional = false python-versions = "^3.10" @@ -936,13 +936,13 @@ develop = false cytoolz = "^0.12.1" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} -pyk = {git = "https://github.com/runtimeverification/k.git", tag = "v7.0.56", subdirectory = "pyk"} +pyk = {git = "https://github.com/runtimeverification/k.git", tag = "v7.0.67", subdirectory = "pyk"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.50" -resolved_reference = "d52eabe8190a244fd799751f3c54d66f4c80ba14" +reference = "v0.1.51" +resolved_reference = "954bdbc9f041c90479430262b47ddb3b1fe0fbe2" subdirectory = "pykwasm" [[package]] @@ -1209,4 +1209,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f760682ce346014943da1e52f8efec213ed995c73f2c936eb3a3182e64bba1b6" +content-hash = "44c517846244039abf1d21e452a982353e4f71512dff8c9749bf6a5868462e4b" diff --git a/pyproject.toml b/pyproject.toml index 999a371..17dee0b 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.50", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.51", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From be4ef6e3d00caf938e6957f89678da3f59886642 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 17:36:14 +0000 Subject: [PATCH 4/7] deps/k_release: sync release file version 7.0.67 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c383cbf..d3db688 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.56 +7.0.67 From d7ee0c29d0af557cb9954b554f0050a311fffeca Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 16 May 2024 12:12:34 +0000 Subject: [PATCH 5/7] deps/kwasm_release: Set Version 0.1.52 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index c892edd..9c4d21f 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.51 +0.1.52 From 4ae907a5c2d11fcad0a87190c1a776c3ebaa2dc4 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 16 May 2024 12:13:07 +0000 Subject: [PATCH 6/7] Sync Poetry files 0.1.52 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 4c180b4..5f50a52 100644 --- a/poetry.lock +++ b/poetry.lock @@ -925,7 +925,7 @@ subdirectory = "pyk" [[package]] name = "pykwasm" -version = "0.1.51" +version = "0.1.52" description = "" optional = false python-versions = "^3.10" @@ -941,8 +941,8 @@ pyk = {git = "https://github.com/runtimeverification/k.git", tag = "v7.0.67", su [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.51" -resolved_reference = "954bdbc9f041c90479430262b47ddb3b1fe0fbe2" +reference = "v0.1.52" +resolved_reference = "b104b92501208a293c59933f8513134be66df6b8" subdirectory = "pykwasm" [[package]] @@ -1193,20 +1193,20 @@ files = [ [[package]] name = "zipp" -version = "3.18.1" +version = "3.18.2" description = "Backport of pathlib-compatible object wrapper for zip files" optional = false python-versions = ">=3.8" files = [ - {file = "zipp-3.18.1-py3-none-any.whl", hash = "sha256:206f5a15f2af3dbaee80769fb7dc6f249695e940acca08dfb2a4769fe61e538b"}, - {file = "zipp-3.18.1.tar.gz", hash = "sha256:2884ed22e7d8961de1c9a05142eb69a247f120291bc0206a00a7642f09b5b715"}, + {file = "zipp-3.18.2-py3-none-any.whl", hash = "sha256:dce197b859eb796242b0622af1b8beb0a722d52aa2f57133ead08edd5bf5374e"}, + {file = "zipp-3.18.2.tar.gz", hash = "sha256:6278d9ddbcfb1f1089a88fde84481528b07b0e10474e09dcfe53dad4069fa059"}, ] [package.extras] docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] -testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "pytest (>=6)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-ignore-flaky", "pytest-mypy", "pytest-ruff (>=0.2.1)"] +testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more-itertools", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-ignore-flaky", "pytest-mypy", "pytest-ruff (>=0.2.1)"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "44c517846244039abf1d21e452a982353e4f71512dff8c9749bf6a5868462e4b" +content-hash = "da30c53e383458c3f7af70729aca0c7c8885b369c4397814d0b61bd63b017a59" diff --git a/pyproject.toml b/pyproject.toml index 17dee0b..3c83214 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.51", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.52", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 145c35c519c914d8635bf7d0fd9f45cee44a2f15 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 16 May 2024 12:14:21 +0000 Subject: [PATCH 7/7] Sync Poetry files 0.1.52 --- poetry.lock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/poetry.lock b/poetry.lock index 5f50a52..38907c1 100644 --- a/poetry.lock +++ b/poetry.lock @@ -835,7 +835,7 @@ numpy = ">=1.16.0,<2" toolz = {version = ">0.9.0,<1", markers = "implementation_name == \"pypy\""} [package.extras] -dev = ["bumpversion (>=0.5.3,<1)", "ipython", "pytest-watch (>=4.1.0,<5)", "twine", "wheel"] +dev = ["Sphinx (>=1.6.5,<2)", "bumpversion (>=0.5.3,<1)", "flake8 (==3.6.0)", "hypothesis (>=6.88.1,<7)", "ipython", "isort (>=4.3.9,<5)", "mypy (==1.6.1)", "pytest (>=7.4.3,<8)", "pytest-watch (>=4.1.0,<5)", "pytest-watch (>=4.2.0,<5)", "pytest-xdist (>=3.2.0,<4)", "sphinx_rtd_theme (>=0.1.9)", "tox (>=4.11.3,<5)", "twine", "wheel"] doc = ["Sphinx (>=1.6.5,<2)", "sphinx_rtd_theme (>=0.1.9)"] lint = ["flake8 (==3.6.0)", "isort (>=4.3.9,<5)", "mypy (==1.6.1)"] test = ["hypothesis (>=6.88.1,<7)", "pytest (>=7.4.3,<8)", "pytest-watch (>=4.2.0,<5)", "pytest-xdist (>=3.2.0,<4)", "tox (>=4.11.3,<5)"]