From a71b203d7dcefe1f69dba541d67da696d7696d32 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 20:03:35 +0000 Subject: [PATCH 01/69] deps/kwasm_release: Set Version 0.1.74 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 416eb55..21f074d 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.73 +0.1.74 From 65aa85b014d8011b084f54051a80b6a4384bcf01 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 20:03:49 +0000 Subject: [PATCH 02/69] Set Version: 0.1.6 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 9faa1b7..c946ee6 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.5 +0.1.6 diff --git a/pyproject.toml b/pyproject.toml index 6a0f92a..6584392 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "ksoroban" -version = "0.1.5" +version = "0.1.6" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", From 253b32020f6d94a40cb68095a716f33418a96d1d Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 20:04:16 +0000 Subject: [PATCH 03/69] Sync Poetry files 0.1.74 --- poetry.lock | 32 ++++++++++++++++---------------- pyproject.toml | 2 +- 2 files changed, 17 insertions(+), 17 deletions(-) diff --git a/poetry.lock b/poetry.lock index 544c912..50ea0a5 100644 --- a/poetry.lock +++ b/poetry.lock @@ -421,17 +421,17 @@ dev = ["coverage", "hypothesis", "hypothesmith (>=0.2)", "pre-commit", "pytest", [[package]] name = "flake8-comprehensions" -version = "3.14.0" +version = "3.15.0" description = "A flake8 plugin to help you write better list/set/dict comprehensions." optional = false python-versions = ">=3.8" files = [ - {file = "flake8_comprehensions-3.14.0-py3-none-any.whl", hash = "sha256:7b9d07d94aa88e62099a6d1931ddf16c344d4157deedf90fe0d8ee2846f30e97"}, - {file = "flake8_comprehensions-3.14.0.tar.gz", hash = "sha256:81768c61bfc064e1a06222df08a2580d97de10cb388694becaf987c331c6c0cf"}, + {file = "flake8_comprehensions-3.15.0-py3-none-any.whl", hash = "sha256:b7e027bbb52be2ceb779ee12484cdeef52b0ad3c1fcb8846292bdb86d3034681"}, + {file = "flake8_comprehensions-3.15.0.tar.gz", hash = "sha256:923c22603e0310376a6b55b03efebdc09753c69f2d977755cba8bb73458a5d4d"}, ] [package.dependencies] -flake8 = ">=3.0,<3.2.0 || >3.2.0" +flake8 = ">=3,<3.2 || >3.2" [[package]] name = "flake8-quotes" @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.104.1" +version = "6.104.2" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.104.1-py3-none-any.whl", hash = "sha256:a0a898fa78ecaefe76ad248901dc274e598f29198c6015b3053f7f7827670e0e"}, - {file = "hypothesis-6.104.1.tar.gz", hash = "sha256:4033898019a6149823d2feeb8d214921b4ac2d342a05d6b02e40a3ca4be07eea"}, + {file = "hypothesis-6.104.2-py3-none-any.whl", hash = "sha256:8b52b7e2462e552c75b819495d5cb6251a2b840accc79cf2ce52588004c915d9"}, + {file = "hypothesis-6.104.2.tar.gz", hash = "sha256:6f2a1489bc8fe1c87ffd202707319b66ec46b2bc11faf6e0161e957b8b9b1eab"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.73" +version = "0.1.74" description = "" optional = false python-versions = "^3.10" @@ -971,8 +971,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.73" -resolved_reference = "fd9c3f516d4d5125f8d00d35113cec54eef6197b" +reference = "v0.1.74" +resolved_reference = "a0e49e8ebddf9b78e4e517bd03337a97665d9972" subdirectory = "pykwasm" [[package]] @@ -1107,18 +1107,18 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "70.1.1" +version = "70.2.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-70.1.1-py3-none-any.whl", hash = "sha256:a58a8fde0541dab0419750bcc521fbdf8585f6e5cb41909df3a472ef7b81ca95"}, - {file = "setuptools-70.1.1.tar.gz", hash = "sha256:937a48c7cdb7a21eb53cd7f9b59e525503aa8abaf3584c730dc5f7a5bec3a650"}, + {file = "setuptools-70.2.0-py3-none-any.whl", hash = "sha256:b8b8060bb426838fbe942479c90296ce976249451118ef566a5a0b7d8b78fb05"}, + {file = "setuptools-70.2.0.tar.gz", hash = "sha256:bd63e505105011b25c3c11f753f7e3b8465ea739efddaccef8f0efac2137bac1"}, ] [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] -testing = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] +doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] +test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] name = "sortedcontainers" @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "7784b52fabb4b6beddadcb6006f0dc7357bfecd9c7f8f8d5878016c7138005d0" +content-hash = "96a0433ed63c5912e416f106cd5e7ae7c6e56a7eef26a4eca615c9a36ff536da" diff --git a/pyproject.toml b/pyproject.toml index 6584392..8cce17f 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.73", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.74", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 0fe31c7f347fd9ce3f28be349ebbc9148f8279ec Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 22:03:07 +0000 Subject: [PATCH 04/69] deps/kwasm_release: Set Version 0.1.75 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 21f074d..d9ba747 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.74 +0.1.75 From edd781c4d02f6b29e295c1760d5aef80cdda1810 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 22:03:27 +0000 Subject: [PATCH 05/69] Sync Poetry files 0.1.75 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 50ea0a5..20e1f54 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.38" +version = "7.1.41" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.38-py3-none-any.whl", hash = "sha256:02392990d05ae5080cab5059c4f9a048b12ca9e6d960a4ecf90ae9e0fcc03366"}, - {file = "kframework-7.1.38.tar.gz", hash = "sha256:ce11064a15d1713f54a2b53d305f54cc2f1bedd21f26fc3581a89e4dda532d1b"}, + {file = "kframework-7.1.41-py3-none-any.whl", hash = "sha256:89bfa4ead36ca5e4b08e7bd6eb9f789534f78fd17fcdc52747f24a0d6161fe2f"}, + {file = "kframework-7.1.41.tar.gz", hash = "sha256:0b3efdb6952e0607006766a5f84b4fcb49ea703092a34a3188886fe935163303"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.74" +version = "0.1.75" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.38" +kframework = "7.1.41" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.74" -resolved_reference = "a0e49e8ebddf9b78e4e517bd03337a97665d9972" +reference = "v0.1.75" +resolved_reference = "f1f40f558bbd352fde41b263b523681604afcb3f" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "96a0433ed63c5912e416f106cd5e7ae7c6e56a7eef26a4eca615c9a36ff536da" +content-hash = "c711912dd0a31573819118ebe4198e17b837a6fab61627f76ae18e67e34273f0" diff --git a/pyproject.toml b/pyproject.toml index 8cce17f..8a89b86 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.74", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.75", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From e5671c6f6471e8c5e28fb79030236d9ba7a02648 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 2 Jul 2024 22:03:28 +0000 Subject: [PATCH 06/69] deps/k_release: sync release file version 7.1.41 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d38368e..f87acf5 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.38 +7.1.41 From a157f0cdc28f3865bc71568109bbd3968794007f Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jul 2024 14:03:43 +0000 Subject: [PATCH 07/69] deps/kwasm_release: Set Version 0.1.76 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index d9ba747..ad069db 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.75 +0.1.76 From 9c064e2a51d14c47188b07340038cd150386ae1c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jul 2024 14:08:04 +0000 Subject: [PATCH 08/69] Sync Poetry files 0.1.76 --- poetry.lock | 18 +++++++++--------- pyproject.toml | 2 +- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/poetry.lock b/poetry.lock index 20e1f54..20ff7da 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.41" +version = "7.1.44" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.41-py3-none-any.whl", hash = "sha256:89bfa4ead36ca5e4b08e7bd6eb9f789534f78fd17fcdc52747f24a0d6161fe2f"}, - {file = "kframework-7.1.41.tar.gz", hash = "sha256:0b3efdb6952e0607006766a5f84b4fcb49ea703092a34a3188886fe935163303"}, + {file = "kframework-7.1.44-py3-none-any.whl", hash = "sha256:4ded11b61e1b79c23bd75d8e2a2895a49c5a0188692b11a394f1975ce0ee7d06"}, + {file = "kframework-7.1.44.tar.gz", hash = "sha256:5f932b796a8b8421744b42968daddf4fd815e2b278a9873717377202536094ac"}, ] [package.dependencies] @@ -892,7 +892,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)"] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.75" +version = "0.1.76" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.41" +kframework = "7.1.44" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.75" -resolved_reference = "f1f40f558bbd352fde41b263b523681604afcb3f" +reference = "v0.1.76" +resolved_reference = "c272c7b5cf772ed3f21541136683b2d86c40769d" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c711912dd0a31573819118ebe4198e17b837a6fab61627f76ae18e67e34273f0" +content-hash = "03f83d5cd3a982541018f6f98a4a213197790c5602dfd162f63dd888b6f5f8c5" diff --git a/pyproject.toml b/pyproject.toml index 8a89b86..f890fec0 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.75", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.76", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From c3ad75a1aec71e00474ba37087eae3af4cd55aaf Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jul 2024 14:08:05 +0000 Subject: [PATCH 09/69] deps/k_release: sync release file version 7.1.44 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index f87acf5..466cdc8 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.41 +7.1.44 From 1e2c35235624df0eb447ff2c309a473830d32506 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 4 Jul 2024 14:08:49 +0000 Subject: [PATCH 10/69] Sync Poetry files 0.1.76 --- poetry.lock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/poetry.lock b/poetry.lock index 20ff7da..3f20c79 100644 --- a/poetry.lock +++ b/poetry.lock @@ -892,7 +892,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)"] From c48e63d21744dac79b4801e425b782d5abb91d9d Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 5 Jul 2024 16:28:03 +0000 Subject: [PATCH 11/69] deps/kwasm_release: Set Version 0.1.77 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index ad069db..1f7a170 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.76 +0.1.77 From acb97cd07c383eb8c14df60d96b1b653b9f5127f Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 5 Jul 2024 16:29:37 +0000 Subject: [PATCH 12/69] Sync Poetry files 0.1.77 --- poetry.lock | 18 +++++++++--------- pyproject.toml | 2 +- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/poetry.lock b/poetry.lock index 3f20c79..5d1e975 100644 --- a/poetry.lock +++ b/poetry.lock @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.104.2" +version = "6.105.0" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.104.2-py3-none-any.whl", hash = "sha256:8b52b7e2462e552c75b819495d5cb6251a2b840accc79cf2ce52588004c915d9"}, - {file = "hypothesis-6.104.2.tar.gz", hash = "sha256:6f2a1489bc8fe1c87ffd202707319b66ec46b2bc11faf6e0161e957b8b9b1eab"}, + {file = "hypothesis-6.105.0-py3-none-any.whl", hash = "sha256:383bb2d8b37d8090e82847d7cb1130b9ef04bf8c71addd099f7ee1f7139f00d8"}, + {file = "hypothesis-6.105.0.tar.gz", hash = "sha256:45078be3168c06a0426afca6f139829b28dfea9d2ea79fa1bd498b9783b11c16"}, ] [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.55)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.4)", "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.58)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.6)", "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.55)", "hypothesis-crosshair (>=0.0.4)"] +crosshair = ["crosshair-tool (>=0.0.58)", "hypothesis-crosshair (>=0.0.6)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.76" +version = "0.1.77" description = "" optional = false python-versions = "^3.10" @@ -971,8 +971,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.76" -resolved_reference = "c272c7b5cf772ed3f21541136683b2d86c40769d" +reference = "v0.1.77" +resolved_reference = "a3a86001ad9752662f699aac019d749c913088e3" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "03f83d5cd3a982541018f6f98a4a213197790c5602dfd162f63dd888b6f5f8c5" +content-hash = "fb5a0b951d9184b9882dfa7da52cd64800f7d286d06bf71c07d1ce2d7660ead7" diff --git a/pyproject.toml b/pyproject.toml index f890fec0..3a9d0a7 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.76", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.77", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From bc5c0ee57252ccb4db2f91f327f03a34e03f11f5 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jul 2024 00:05:15 +0000 Subject: [PATCH 13/69] deps/kwasm_release: Set Version 0.1.78 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 1f7a170..59057fc 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.77 +0.1.78 From 286fa281f39cd1e632ded8674b25db54def7f6ee Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jul 2024 13:42:53 +0000 Subject: [PATCH 14/69] deps/kwasm_release: Set Version 0.1.79 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 59057fc..b9dbcf6 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.78 +0.1.79 From 33c06d384951581ae52147da9fd448ce4478c39d Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jul 2024 13:44:24 +0000 Subject: [PATCH 15/69] Sync Poetry files 0.1.79 --- poetry.lock | 32 ++++++++++++++++---------------- pyproject.toml | 2 +- 2 files changed, 17 insertions(+), 17 deletions(-) diff --git a/poetry.lock b/poetry.lock index 5d1e975..ff75503 100644 --- a/poetry.lock +++ b/poetry.lock @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.105.0" +version = "6.105.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.105.0-py3-none-any.whl", hash = "sha256:383bb2d8b37d8090e82847d7cb1130b9ef04bf8c71addd099f7ee1f7139f00d8"}, - {file = "hypothesis-6.105.0.tar.gz", hash = "sha256:45078be3168c06a0426afca6f139829b28dfea9d2ea79fa1bd498b9783b11c16"}, + {file = "hypothesis-6.105.1-py3-none-any.whl", hash = "sha256:d8993472a7bccfc20172e02ba8636bb0067add92d1fa05e95a40bab02c1e8305"}, + {file = "hypothesis-6.105.1.tar.gz", hash = "sha256:d4eedb42193da9507623f4fe27fd38f715ec19ad30ad7c30e3b25594c0b491dc"}, ] [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.58)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.6)", "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.59)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.7)", "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.58)", "hypothesis-crosshair (>=0.0.6)"] +crosshair = ["crosshair-tool (>=0.0.59)", "hypothesis-crosshair (>=0.0.7)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.44" +version = "7.1.49" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.44-py3-none-any.whl", hash = "sha256:4ded11b61e1b79c23bd75d8e2a2895a49c5a0188692b11a394f1975ce0ee7d06"}, - {file = "kframework-7.1.44.tar.gz", hash = "sha256:5f932b796a8b8421744b42968daddf4fd815e2b278a9873717377202536094ac"}, + {file = "kframework-7.1.49-py3-none-any.whl", hash = "sha256:eab4a1921c4e838b114052284d84374fec3e1e6456466b0279e800e1ee60007f"}, + {file = "kframework-7.1.49.tar.gz", hash = "sha256:a7a66fc432788f28c378d8b612a1d030becd7bcc662ee30d4ab142ec228cd178"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.77" +version = "0.1.79" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.44" +kframework = "7.1.49" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.77" -resolved_reference = "a3a86001ad9752662f699aac019d749c913088e3" +reference = "v0.1.79" +resolved_reference = "77269135d6b55ab9b444d4680d8a445927df8547" subdirectory = "pykwasm" [[package]] @@ -1107,13 +1107,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "70.2.0" +version = "70.3.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-70.2.0-py3-none-any.whl", hash = "sha256:b8b8060bb426838fbe942479c90296ce976249451118ef566a5a0b7d8b78fb05"}, - {file = "setuptools-70.2.0.tar.gz", hash = "sha256:bd63e505105011b25c3c11f753f7e3b8465ea739efddaccef8f0efac2137bac1"}, + {file = "setuptools-70.3.0-py3-none-any.whl", hash = "sha256:fe384da74336c398e0d956d1cae0669bc02eed936cdb1d49b57de1990dc11ffc"}, + {file = "setuptools-70.3.0.tar.gz", hash = "sha256:f171bab1dfbc86b132997f26a119f6056a57950d058587841a0082e8830f9dc5"}, ] [package.extras] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "fb5a0b951d9184b9882dfa7da52cd64800f7d286d06bf71c07d1ce2d7660ead7" +content-hash = "acc808f0fa536fbf9a3cee8b714f14764022db9f8a0b65a8bf336daec3d2c3da" diff --git a/pyproject.toml b/pyproject.toml index 3a9d0a7..804a8b2 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.77", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.79", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 02de5fa69b51271fea7d1df24b801b22095d80f3 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jul 2024 13:44:24 +0000 Subject: [PATCH 16/69] deps/k_release: sync release file version 7.1.49 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 466cdc8..36c444d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.44 +7.1.49 From 225b4fa82f96ac2d21ca16995d49938c2e9ef518 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jul 2024 15:26:44 +0000 Subject: [PATCH 17/69] deps/kwasm_release: Set Version 0.1.80 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index b9dbcf6..8c1c54a 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.79 +0.1.80 From 2ebebaccd5ec9a0c37e7a817ca31bf70ebcc9d9b Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Jul 2024 15:27:22 +0000 Subject: [PATCH 18/69] Sync Poetry files 0.1.80 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index ff75503..ae95dc2 100644 --- a/poetry.lock +++ b/poetry.lock @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.79" +version = "0.1.80" description = "" optional = false python-versions = "^3.10" @@ -971,8 +971,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.79" -resolved_reference = "77269135d6b55ab9b444d4680d8a445927df8547" +reference = "v0.1.80" +resolved_reference = "0a330a73dd2dadb9fe314bd964d5f1c182a4e102" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "acc808f0fa536fbf9a3cee8b714f14764022db9f8a0b65a8bf336daec3d2c3da" +content-hash = "0930375b56292688b2a8cb69a1eeca6a68f0db242ecbe888ffa5f422d84f0932" diff --git a/pyproject.toml b/pyproject.toml index 804a8b2..ec8a578 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.79", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.80", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 53445f16d319063bf760abcf06eb2c8382c75d29 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 07:25:42 +0000 Subject: [PATCH 19/69] deps/kwasm_release: Set Version 0.1.81 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 8c1c54a..962d1c1 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.80 +0.1.81 From a1f9204a393da5939b2b38569a0f39e207ca6a6c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 07:26:05 +0000 Subject: [PATCH 20/69] Sync Poetry files 0.1.81 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index ae95dc2..8b23bc7 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.49" +version = "7.1.54" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.49-py3-none-any.whl", hash = "sha256:eab4a1921c4e838b114052284d84374fec3e1e6456466b0279e800e1ee60007f"}, - {file = "kframework-7.1.49.tar.gz", hash = "sha256:a7a66fc432788f28c378d8b612a1d030becd7bcc662ee30d4ab142ec228cd178"}, + {file = "kframework-7.1.54-py3-none-any.whl", hash = "sha256:3df4aa7880486f8ea49d2d49ea0d1d11c905e4a8ced3c364fecb6c1e74de16a1"}, + {file = "kframework-7.1.54.tar.gz", hash = "sha256:42c237061f0e6499a2cecbbdde89f50f457f4e7daedc17c31fa66dbf129c2cbd"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.80" +version = "0.1.81" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.49" +kframework = "7.1.54" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.80" -resolved_reference = "0a330a73dd2dadb9fe314bd964d5f1c182a4e102" +reference = "v0.1.81" +resolved_reference = "0eec76cf27e26820c987f2e563bb062082bd045b" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0930375b56292688b2a8cb69a1eeca6a68f0db242ecbe888ffa5f422d84f0932" +content-hash = "078099d7d0315cfbcf7e4bb179f7e69729d54c2dd0701949e7b3f838c84969c3" diff --git a/pyproject.toml b/pyproject.toml index ec8a578..6f98d11 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.80", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.81", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From b2ce96c3d0e355dd48bde697b17ecf13c888f258 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 07:26:05 +0000 Subject: [PATCH 21/69] deps/k_release: sync release file version 7.1.54 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 36c444d..3e3ba25 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.49 +7.1.54 From 5274729c5cd4c21beab6ce85c0b6876be4b65f4c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 09:27:28 +0000 Subject: [PATCH 22/69] deps/kwasm_release: Set Version 0.1.82 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 962d1c1..59e55c1 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.81 +0.1.82 From aa53c07f9cf15feb1b0be63ba5c901ee1b5cdbd1 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 09:30:56 +0000 Subject: [PATCH 23/69] Sync Poetry files 0.1.82 --- poetry.lock | 10 +++++----- pyproject.toml | 2 +- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/poetry.lock b/poetry.lock index 8b23bc7..da275e8 100644 --- a/poetry.lock +++ b/poetry.lock @@ -892,7 +892,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)"] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.81" +version = "0.1.82" description = "" optional = false python-versions = "^3.10" @@ -971,8 +971,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.81" -resolved_reference = "0eec76cf27e26820c987f2e563bb062082bd045b" +reference = "v0.1.82" +resolved_reference = "521a6c82f6af808b4bffa09170ba5acc1e490e5a" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "078099d7d0315cfbcf7e4bb179f7e69729d54c2dd0701949e7b3f838c84969c3" +content-hash = "b2070d0f2c0ef733ba95bb0898f720aae0725bf3fb1cdd7f2cc3c6256dc04d0f" diff --git a/pyproject.toml b/pyproject.toml index 6f98d11..b3694f7 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.81", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.82", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 8fff33c868f66cf42423817fd5c7aa0f54465d45 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 09:31:18 +0000 Subject: [PATCH 24/69] Sync Poetry files 0.1.82 --- poetry.lock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/poetry.lock b/poetry.lock index da275e8..b0e2765 100644 --- a/poetry.lock +++ b/poetry.lock @@ -892,7 +892,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)"] From 831504a715b208f75902f8c30f36a19aa491ea07 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 10:03:26 +0000 Subject: [PATCH 25/69] deps/kwasm_release: Set Version 0.1.83 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 59e55c1..660b5ae 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.82 +0.1.83 From 0cad19fd58a1807562da2d07635863648411e926 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jul 2024 10:03:45 +0000 Subject: [PATCH 26/69] Sync Poetry files 0.1.83 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index b0e2765..c48364b 100644 --- a/poetry.lock +++ b/poetry.lock @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.82" +version = "0.1.83" description = "" optional = false python-versions = "^3.10" @@ -971,8 +971,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.82" -resolved_reference = "521a6c82f6af808b4bffa09170ba5acc1e490e5a" +reference = "v0.1.83" +resolved_reference = "d58b1043fcd3b6589eb106937dd132787e8a2c5d" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b2070d0f2c0ef733ba95bb0898f720aae0725bf3fb1cdd7f2cc3c6256dc04d0f" +content-hash = "bbf92c307acbe73d7ef7a919470529fe3c39cdb34ed9447b50f18d74941541d5" diff --git a/pyproject.toml b/pyproject.toml index b3694f7..1e6b0c5 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.82", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.83", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From e76f4580a08ce777424ec3ab16fa644ce7bcb6ba Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 12 Jul 2024 17:03:32 +0000 Subject: [PATCH 27/69] deps/kwasm_release: Set Version 0.1.84 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 660b5ae..2d6e50c 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.83 +0.1.84 From 939545b7168c33bfadda210b6fd1cd688fc2e30c Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 12 Jul 2024 17:08:04 +0000 Subject: [PATCH 28/69] Sync Poetry files 0.1.84 --- poetry.lock | 122 ++++++++++++++++++++++++------------------------- pyproject.toml | 2 +- 2 files changed, 62 insertions(+), 62 deletions(-) diff --git a/poetry.lock b/poetry.lock index c48364b..f81e2b8 100644 --- a/poetry.lock +++ b/poetry.lock @@ -157,63 +157,63 @@ cron = ["capturer (>=2.4)"] [[package]] name = "coverage" -version = "7.5.4" +version = "7.6.0" description = "Code coverage measurement for Python" optional = false python-versions = ">=3.8" files = [ - {file = "coverage-7.5.4-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:6cfb5a4f556bb51aba274588200a46e4dd6b505fb1a5f8c5ae408222eb416f99"}, - {file = "coverage-7.5.4-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:2174e7c23e0a454ffe12267a10732c273243b4f2d50d07544a91198f05c48f47"}, - {file = "coverage-7.5.4-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:2214ee920787d85db1b6a0bd9da5f8503ccc8fcd5814d90796c2f2493a2f4d2e"}, - {file = "coverage-7.5.4-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:1137f46adb28e3813dec8c01fefadcb8c614f33576f672962e323b5128d9a68d"}, - {file = "coverage-7.5.4-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:b385d49609f8e9efc885790a5a0e89f2e3ae042cdf12958b6034cc442de428d3"}, - {file = "coverage-7.5.4-cp310-cp310-musllinux_1_2_aarch64.whl", hash = "sha256:b4a474f799456e0eb46d78ab07303286a84a3140e9700b9e154cfebc8f527016"}, - {file = "coverage-7.5.4-cp310-cp310-musllinux_1_2_i686.whl", hash = "sha256:5cd64adedf3be66f8ccee418473c2916492d53cbafbfcff851cbec5a8454b136"}, - {file = "coverage-7.5.4-cp310-cp310-musllinux_1_2_x86_64.whl", hash = "sha256:e564c2cf45d2f44a9da56f4e3a26b2236504a496eb4cb0ca7221cd4cc7a9aca9"}, - {file = "coverage-7.5.4-cp310-cp310-win32.whl", hash = "sha256:7076b4b3a5f6d2b5d7f1185fde25b1e54eb66e647a1dfef0e2c2bfaf9b4c88c8"}, - {file = "coverage-7.5.4-cp310-cp310-win_amd64.whl", hash = "sha256:018a12985185038a5b2bcafab04ab833a9a0f2c59995b3cec07e10074c78635f"}, - {file = "coverage-7.5.4-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:db14f552ac38f10758ad14dd7b983dbab424e731588d300c7db25b6f89e335b5"}, - {file = "coverage-7.5.4-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:3257fdd8e574805f27bb5342b77bc65578e98cbc004a92232106344053f319ba"}, - {file = "coverage-7.5.4-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:3a6612c99081d8d6134005b1354191e103ec9705d7ba2754e848211ac8cacc6b"}, - {file = "coverage-7.5.4-cp311-cp311-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:d45d3cbd94159c468b9b8c5a556e3f6b81a8d1af2a92b77320e887c3e7a5d080"}, - {file = "coverage-7.5.4-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:ed550e7442f278af76d9d65af48069f1fb84c9f745ae249c1a183c1e9d1b025c"}, - {file = "coverage-7.5.4-cp311-cp311-musllinux_1_2_aarch64.whl", hash = "sha256:7a892be37ca35eb5019ec85402c3371b0f7cda5ab5056023a7f13da0961e60da"}, - {file = "coverage-7.5.4-cp311-cp311-musllinux_1_2_i686.whl", hash = "sha256:8192794d120167e2a64721d88dbd688584675e86e15d0569599257566dec9bf0"}, - {file = "coverage-7.5.4-cp311-cp311-musllinux_1_2_x86_64.whl", hash = "sha256:820bc841faa502e727a48311948e0461132a9c8baa42f6b2b84a29ced24cc078"}, - {file = "coverage-7.5.4-cp311-cp311-win32.whl", hash = "sha256:6aae5cce399a0f065da65c7bb1e8abd5c7a3043da9dceb429ebe1b289bc07806"}, - {file = "coverage-7.5.4-cp311-cp311-win_amd64.whl", hash = "sha256:d2e344d6adc8ef81c5a233d3a57b3c7d5181f40e79e05e1c143da143ccb6377d"}, - {file = "coverage-7.5.4-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:54317c2b806354cbb2dc7ac27e2b93f97096912cc16b18289c5d4e44fc663233"}, - {file = "coverage-7.5.4-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:042183de01f8b6d531e10c197f7f0315a61e8d805ab29c5f7b51a01d62782747"}, - {file = "coverage-7.5.4-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:a6bb74ed465d5fb204b2ec41d79bcd28afccf817de721e8a807d5141c3426638"}, - {file = "coverage-7.5.4-cp312-cp312-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:b3d45ff86efb129c599a3b287ae2e44c1e281ae0f9a9bad0edc202179bcc3a2e"}, - {file = "coverage-7.5.4-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:5013ed890dc917cef2c9f765c4c6a8ae9df983cd60dbb635df8ed9f4ebc9f555"}, - {file = "coverage-7.5.4-cp312-cp312-musllinux_1_2_aarch64.whl", hash = "sha256:1014fbf665fef86cdfd6cb5b7371496ce35e4d2a00cda501cf9f5b9e6fced69f"}, - {file = "coverage-7.5.4-cp312-cp312-musllinux_1_2_i686.whl", hash = "sha256:3684bc2ff328f935981847082ba4fdc950d58906a40eafa93510d1b54c08a66c"}, - {file = "coverage-7.5.4-cp312-cp312-musllinux_1_2_x86_64.whl", hash = "sha256:581ea96f92bf71a5ec0974001f900db495488434a6928a2ca7f01eee20c23805"}, - {file = "coverage-7.5.4-cp312-cp312-win32.whl", hash = "sha256:73ca8fbc5bc622e54627314c1a6f1dfdd8db69788f3443e752c215f29fa87a0b"}, - {file = "coverage-7.5.4-cp312-cp312-win_amd64.whl", hash = "sha256:cef4649ec906ea7ea5e9e796e68b987f83fa9a718514fe147f538cfeda76d7a7"}, - {file = "coverage-7.5.4-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:cdd31315fc20868c194130de9ee6bfd99755cc9565edff98ecc12585b90be882"}, - {file = "coverage-7.5.4-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:02ff6e898197cc1e9fa375581382b72498eb2e6d5fc0b53f03e496cfee3fac6d"}, - {file = "coverage-7.5.4-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:d05c16cf4b4c2fc880cb12ba4c9b526e9e5d5bb1d81313d4d732a5b9fe2b9d53"}, - {file = "coverage-7.5.4-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:c5986ee7ea0795a4095ac4d113cbb3448601efca7f158ec7f7087a6c705304e4"}, - {file = "coverage-7.5.4-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:5df54843b88901fdc2f598ac06737f03d71168fd1175728054c8f5a2739ac3e4"}, - {file = "coverage-7.5.4-cp38-cp38-musllinux_1_2_aarch64.whl", hash = "sha256:ab73b35e8d109bffbda9a3e91c64e29fe26e03e49addf5b43d85fc426dde11f9"}, - {file = "coverage-7.5.4-cp38-cp38-musllinux_1_2_i686.whl", hash = "sha256:aea072a941b033813f5e4814541fc265a5c12ed9720daef11ca516aeacd3bd7f"}, - {file = "coverage-7.5.4-cp38-cp38-musllinux_1_2_x86_64.whl", hash = "sha256:16852febd96acd953b0d55fc842ce2dac1710f26729b31c80b940b9afcd9896f"}, - {file = "coverage-7.5.4-cp38-cp38-win32.whl", hash = "sha256:8f894208794b164e6bd4bba61fc98bf6b06be4d390cf2daacfa6eca0a6d2bb4f"}, - {file = "coverage-7.5.4-cp38-cp38-win_amd64.whl", hash = "sha256:e2afe743289273209c992075a5a4913e8d007d569a406ffed0bd080ea02b0633"}, - {file = "coverage-7.5.4-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:b95c3a8cb0463ba9f77383d0fa8c9194cf91f64445a63fc26fb2327e1e1eb088"}, - {file = "coverage-7.5.4-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:3d7564cc09dd91b5a6001754a5b3c6ecc4aba6323baf33a12bd751036c998be4"}, - {file = "coverage-7.5.4-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:44da56a2589b684813f86d07597fdf8a9c6ce77f58976727329272f5a01f99f7"}, - {file = "coverage-7.5.4-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:e16f3d6b491c48c5ae726308e6ab1e18ee830b4cdd6913f2d7f77354b33f91c8"}, - {file = "coverage-7.5.4-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:dbc5958cb471e5a5af41b0ddaea96a37e74ed289535e8deca404811f6cb0bc3d"}, - {file = "coverage-7.5.4-cp39-cp39-musllinux_1_2_aarch64.whl", hash = "sha256:a04e990a2a41740b02d6182b498ee9796cf60eefe40cf859b016650147908029"}, - {file = "coverage-7.5.4-cp39-cp39-musllinux_1_2_i686.whl", hash = "sha256:ddbd2f9713a79e8e7242d7c51f1929611e991d855f414ca9996c20e44a895f7c"}, - {file = "coverage-7.5.4-cp39-cp39-musllinux_1_2_x86_64.whl", hash = "sha256:b1ccf5e728ccf83acd313c89f07c22d70d6c375a9c6f339233dcf792094bcbf7"}, - {file = "coverage-7.5.4-cp39-cp39-win32.whl", hash = "sha256:56b4eafa21c6c175b3ede004ca12c653a88b6f922494b023aeb1e836df953ace"}, - {file = "coverage-7.5.4-cp39-cp39-win_amd64.whl", hash = "sha256:65e528e2e921ba8fd67d9055e6b9f9e34b21ebd6768ae1c1723f4ea6ace1234d"}, - {file = "coverage-7.5.4-pp38.pp39.pp310-none-any.whl", hash = "sha256:79b356f3dd5b26f3ad23b35c75dbdaf1f9e2450b6bcefc6d0825ea0aa3f86ca5"}, - {file = "coverage-7.5.4.tar.gz", hash = "sha256:a44963520b069e12789d0faea4e9fdb1e410cdc4aab89d94f7f55cbb7fef0353"}, + {file = "coverage-7.6.0-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:dff044f661f59dace805eedb4a7404c573b6ff0cdba4a524141bc63d7be5c7fd"}, + {file = "coverage-7.6.0-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:a8659fd33ee9e6ca03950cfdcdf271d645cf681609153f218826dd9805ab585c"}, + {file = "coverage-7.6.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:7792f0ab20df8071d669d929c75c97fecfa6bcab82c10ee4adb91c7a54055463"}, + {file = "coverage-7.6.0-cp310-cp310-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:d4b3cd1ca7cd73d229487fa5caca9e4bc1f0bca96526b922d61053ea751fe791"}, + {file = "coverage-7.6.0-cp310-cp310-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:e7e128f85c0b419907d1f38e616c4f1e9f1d1b37a7949f44df9a73d5da5cd53c"}, + {file = "coverage-7.6.0-cp310-cp310-musllinux_1_2_aarch64.whl", hash = "sha256:a94925102c89247530ae1dab7dc02c690942566f22e189cbd53579b0693c0783"}, + {file = "coverage-7.6.0-cp310-cp310-musllinux_1_2_i686.whl", hash = "sha256:dcd070b5b585b50e6617e8972f3fbbee786afca71b1936ac06257f7e178f00f6"}, + {file = "coverage-7.6.0-cp310-cp310-musllinux_1_2_x86_64.whl", hash = "sha256:d50a252b23b9b4dfeefc1f663c568a221092cbaded20a05a11665d0dbec9b8fb"}, + {file = "coverage-7.6.0-cp310-cp310-win32.whl", hash = "sha256:0e7b27d04131c46e6894f23a4ae186a6a2207209a05df5b6ad4caee6d54a222c"}, + {file = "coverage-7.6.0-cp310-cp310-win_amd64.whl", hash = "sha256:54dece71673b3187c86226c3ca793c5f891f9fc3d8aa183f2e3653da18566169"}, + {file = "coverage-7.6.0-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:c7b525ab52ce18c57ae232ba6f7010297a87ced82a2383b1afd238849c1ff933"}, + {file = "coverage-7.6.0-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:4bea27c4269234e06f621f3fac3925f56ff34bc14521484b8f66a580aacc2e7d"}, + {file = "coverage-7.6.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:ed8d1d1821ba5fc88d4a4f45387b65de52382fa3ef1f0115a4f7a20cdfab0e94"}, + {file = "coverage-7.6.0-cp311-cp311-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:01c322ef2bbe15057bc4bf132b525b7e3f7206f071799eb8aa6ad1940bcf5fb1"}, + {file = "coverage-7.6.0-cp311-cp311-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:03cafe82c1b32b770a29fd6de923625ccac3185a54a5e66606da26d105f37dac"}, + {file = "coverage-7.6.0-cp311-cp311-musllinux_1_2_aarch64.whl", hash = "sha256:0d1b923fc4a40c5832be4f35a5dab0e5ff89cddf83bb4174499e02ea089daf57"}, + {file = "coverage-7.6.0-cp311-cp311-musllinux_1_2_i686.whl", hash = "sha256:4b03741e70fb811d1a9a1d75355cf391f274ed85847f4b78e35459899f57af4d"}, + {file = "coverage-7.6.0-cp311-cp311-musllinux_1_2_x86_64.whl", hash = "sha256:a73d18625f6a8a1cbb11eadc1d03929f9510f4131879288e3f7922097a429f63"}, + {file = "coverage-7.6.0-cp311-cp311-win32.whl", hash = "sha256:65fa405b837060db569a61ec368b74688f429b32fa47a8929a7a2f9b47183713"}, + {file = "coverage-7.6.0-cp311-cp311-win_amd64.whl", hash = "sha256:6379688fb4cfa921ae349c76eb1a9ab26b65f32b03d46bb0eed841fd4cb6afb1"}, + {file = "coverage-7.6.0-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:f7db0b6ae1f96ae41afe626095149ecd1b212b424626175a6633c2999eaad45b"}, + {file = "coverage-7.6.0-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:bbdf9a72403110a3bdae77948b8011f644571311c2fb35ee15f0f10a8fc082e8"}, + {file = "coverage-7.6.0-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:9cc44bf0315268e253bf563f3560e6c004efe38f76db03a1558274a6e04bf5d5"}, + {file = "coverage-7.6.0-cp312-cp312-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:da8549d17489cd52f85a9829d0e1d91059359b3c54a26f28bec2c5d369524807"}, + {file = "coverage-7.6.0-cp312-cp312-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:0086cd4fc71b7d485ac93ca4239c8f75732c2ae3ba83f6be1c9be59d9e2c6382"}, + {file = "coverage-7.6.0-cp312-cp312-musllinux_1_2_aarch64.whl", hash = "sha256:1fad32ee9b27350687035cb5fdf9145bc9cf0a094a9577d43e909948ebcfa27b"}, + {file = "coverage-7.6.0-cp312-cp312-musllinux_1_2_i686.whl", hash = "sha256:044a0985a4f25b335882b0966625270a8d9db3d3409ddc49a4eb00b0ef5e8cee"}, + {file = "coverage-7.6.0-cp312-cp312-musllinux_1_2_x86_64.whl", hash = "sha256:76d5f82213aa78098b9b964ea89de4617e70e0d43e97900c2778a50856dac605"}, + {file = "coverage-7.6.0-cp312-cp312-win32.whl", hash = "sha256:3c59105f8d58ce500f348c5b56163a4113a440dad6daa2294b5052a10db866da"}, + {file = "coverage-7.6.0-cp312-cp312-win_amd64.whl", hash = "sha256:ca5d79cfdae420a1d52bf177de4bc2289c321d6c961ae321503b2ca59c17ae67"}, + {file = "coverage-7.6.0-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:d39bd10f0ae453554798b125d2f39884290c480f56e8a02ba7a6ed552005243b"}, + {file = "coverage-7.6.0-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:beb08e8508e53a568811016e59f3234d29c2583f6b6e28572f0954a6b4f7e03d"}, + {file = "coverage-7.6.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:b2e16f4cd2bc4d88ba30ca2d3bbf2f21f00f382cf4e1ce3b1ddc96c634bc48ca"}, + {file = "coverage-7.6.0-cp38-cp38-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:6616d1c9bf1e3faea78711ee42a8b972367d82ceae233ec0ac61cc7fec09fa6b"}, + {file = "coverage-7.6.0-cp38-cp38-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:ad4567d6c334c46046d1c4c20024de2a1c3abc626817ae21ae3da600f5779b44"}, + {file = "coverage-7.6.0-cp38-cp38-musllinux_1_2_aarch64.whl", hash = "sha256:d17c6a415d68cfe1091d3296ba5749d3d8696e42c37fca5d4860c5bf7b729f03"}, + {file = "coverage-7.6.0-cp38-cp38-musllinux_1_2_i686.whl", hash = "sha256:9146579352d7b5f6412735d0f203bbd8d00113a680b66565e205bc605ef81bc6"}, + {file = "coverage-7.6.0-cp38-cp38-musllinux_1_2_x86_64.whl", hash = "sha256:cdab02a0a941af190df8782aafc591ef3ad08824f97850b015c8c6a8b3877b0b"}, + {file = "coverage-7.6.0-cp38-cp38-win32.whl", hash = "sha256:df423f351b162a702c053d5dddc0fc0ef9a9e27ea3f449781ace5f906b664428"}, + {file = "coverage-7.6.0-cp38-cp38-win_amd64.whl", hash = "sha256:f2501d60d7497fd55e391f423f965bbe9e650e9ffc3c627d5f0ac516026000b8"}, + {file = "coverage-7.6.0-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:7221f9ac9dad9492cecab6f676b3eaf9185141539d5c9689d13fd6b0d7de840c"}, + {file = "coverage-7.6.0-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:ddaaa91bfc4477d2871442bbf30a125e8fe6b05da8a0015507bfbf4718228ab2"}, + {file = "coverage-7.6.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl", hash = "sha256:c4cbe651f3904e28f3a55d6f371203049034b4ddbce65a54527a3f189ca3b390"}, + {file = "coverage-7.6.0-cp39-cp39-manylinux_2_5_i686.manylinux1_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:831b476d79408ab6ccfadaaf199906c833f02fdb32c9ab907b1d4aa0713cfa3b"}, + {file = "coverage-7.6.0-cp39-cp39-manylinux_2_5_x86_64.manylinux1_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:46c3d091059ad0b9c59d1034de74a7f36dcfa7f6d3bde782c49deb42438f2450"}, + {file = "coverage-7.6.0-cp39-cp39-musllinux_1_2_aarch64.whl", hash = "sha256:4d5fae0a22dc86259dee66f2cc6c1d3e490c4a1214d7daa2a93d07491c5c04b6"}, + {file = "coverage-7.6.0-cp39-cp39-musllinux_1_2_i686.whl", hash = "sha256:07ed352205574aad067482e53dd606926afebcb5590653121063fbf4e2175166"}, + {file = "coverage-7.6.0-cp39-cp39-musllinux_1_2_x86_64.whl", hash = "sha256:49c76cdfa13015c4560702574bad67f0e15ca5a2872c6a125f6327ead2b731dd"}, + {file = "coverage-7.6.0-cp39-cp39-win32.whl", hash = "sha256:482855914928c8175735a2a59c8dc5806cf7d8f032e4820d52e845d1f731dca2"}, + {file = "coverage-7.6.0-cp39-cp39-win_amd64.whl", hash = "sha256:543ef9179bc55edfd895154a51792b01c017c87af0ebaae092720152e19e42ca"}, + {file = "coverage-7.6.0-pp38.pp39.pp310-none-any.whl", hash = "sha256:6fe885135c8a479d3e37a7aae61cbd3a0fb2deccb4dda3c25f92a49189f766d6"}, + {file = "coverage-7.6.0.tar.gz", hash = "sha256:289cc803fa1dc901f84701ac10c9ee873619320f2f9aff38794db4a4a0268d51"}, ] [package.dependencies] @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.105.1" +version = "6.106.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.105.1-py3-none-any.whl", hash = "sha256:d8993472a7bccfc20172e02ba8636bb0067add92d1fa05e95a40bab02c1e8305"}, - {file = "hypothesis-6.105.1.tar.gz", hash = "sha256:d4eedb42193da9507623f4fe27fd38f715ec19ad30ad7c30e3b25594c0b491dc"}, + {file = "hypothesis-6.106.1-py3-none-any.whl", hash = "sha256:964f631c28e7af6d15284d3d8bf375ef33f07d3bf2785943f037b1397f0e211e"}, + {file = "hypothesis-6.106.1.tar.gz", hash = "sha256:bac609694f6ca4d57b4bd66f06310ec6b98e95a01986940aba720e8fd3e836b1"}, ] [package.dependencies] @@ -892,7 +892,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)"] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.83" +version = "0.1.84" description = "" optional = false python-versions = "^3.10" @@ -971,8 +971,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.83" -resolved_reference = "d58b1043fcd3b6589eb106937dd132787e8a2c5d" +reference = "v0.1.84" +resolved_reference = "d69ee203cae5aecb08ee7777bb3ebdb5e2aab5b4" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "bbf92c307acbe73d7ef7a919470529fe3c39cdb34ed9447b50f18d74941541d5" +content-hash = "415f405c77582c7c69952d5a0e1c87b34b2f1f43e744944da0333f99e299b282" diff --git a/pyproject.toml b/pyproject.toml index 1e6b0c5..6fe0c18 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.83", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.84", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From f83bb4ce4b6206acdcdd5737708df0c34e364c8a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 12 Jul 2024 17:08:33 +0000 Subject: [PATCH 29/69] Sync Poetry files 0.1.84 --- poetry.lock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/poetry.lock b/poetry.lock index f81e2b8..3eac1d6 100644 --- a/poetry.lock +++ b/poetry.lock @@ -892,7 +892,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)"] From 003b6e011679b048c4aa559d6409cd2894907026 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 15 Jul 2024 09:26:35 +0000 Subject: [PATCH 30/69] deps/kwasm_release: Set Version 0.1.85 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 2d6e50c..c0c68ba 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.84 +0.1.85 From 391b53ac22a6cde4c6623049783a365bf757d739 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 15 Jul 2024 09:30:30 +0000 Subject: [PATCH 31/69] Sync Poetry files 0.1.85 --- poetry.lock | 34 +++++++++++++++++----------------- pyproject.toml | 2 +- 2 files changed, 18 insertions(+), 18 deletions(-) diff --git a/poetry.lock b/poetry.lock index 3eac1d6..d74d6d6 100644 --- a/poetry.lock +++ b/poetry.lock @@ -343,13 +343,13 @@ cython = ["cython"] [[package]] name = "exceptiongroup" -version = "1.2.1" +version = "1.2.2" description = "Backport of PEP 654 (exception groups)" optional = false python-versions = ">=3.7" files = [ - {file = "exceptiongroup-1.2.1-py3-none-any.whl", hash = "sha256:5258b9ed329c5bbdd31a309f53cbfb0b155341807f6ff7606a1e801a891b29ad"}, - {file = "exceptiongroup-1.2.1.tar.gz", hash = "sha256:a4785e48b045528f5bfe627b6ad554ff32def154f42372786903b7abcfe1aa16"}, + {file = "exceptiongroup-1.2.2-py3-none-any.whl", hash = "sha256:3111b9d131c238bec2f8f516e123e14ba243563fb135d3fe885990585aa7795b"}, + {file = "exceptiongroup-1.2.2.tar.gz", hash = "sha256:47c2edf7c6738fafb49fd34290706d1a1a2f4d1c6df275526b62cbb4aa5393cc"}, ] [package.extras] @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.106.1" +version = "6.108.2" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.106.1-py3-none-any.whl", hash = "sha256:964f631c28e7af6d15284d3d8bf375ef33f07d3bf2785943f037b1397f0e211e"}, - {file = "hypothesis-6.106.1.tar.gz", hash = "sha256:bac609694f6ca4d57b4bd66f06310ec6b98e95a01986940aba720e8fd3e836b1"}, + {file = "hypothesis-6.108.2-py3-none-any.whl", hash = "sha256:2341d21d0e956bad8bd6269aa7d4f3233507f3ed52380c60ceb2f8b71f87a8e5"}, + {file = "hypothesis-6.108.2.tar.gz", hash = "sha256:62cf1c16bd98548b6a84007c5fb8cf6d9cb358dad870adb4f236c795ef162fdd"}, ] [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.59)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.7)", "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.61)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.7)", "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.59)", "hypothesis-crosshair (>=0.0.7)"] +crosshair = ["crosshair-tool (>=0.0.61)", "hypothesis-crosshair (>=0.0.7)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.54" +version = "7.1.59" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.54-py3-none-any.whl", hash = "sha256:3df4aa7880486f8ea49d2d49ea0d1d11c905e4a8ced3c364fecb6c1e74de16a1"}, - {file = "kframework-7.1.54.tar.gz", hash = "sha256:42c237061f0e6499a2cecbbdde89f50f457f4e7daedc17c31fa66dbf129c2cbd"}, + {file = "kframework-7.1.59-py3-none-any.whl", hash = "sha256:341101f04c5809126c4fadc5334ab725fdfedcb39dc3026d0c8edf698a749136"}, + {file = "kframework-7.1.59.tar.gz", hash = "sha256:80f5697be50ffc916db54fa25a0452c117bf32208da1918695bb4f734d2c7bcb"}, ] [package.dependencies] @@ -892,7 +892,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)"] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.84" +version = "0.1.85" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.54" +kframework = "7.1.59" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.84" -resolved_reference = "d69ee203cae5aecb08ee7777bb3ebdb5e2aab5b4" +reference = "v0.1.85" +resolved_reference = "ad238ca2f73ea866b54b31308326ac2a56e64159" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "415f405c77582c7c69952d5a0e1c87b34b2f1f43e744944da0333f99e299b282" +content-hash = "180abd908dd5a137b9462cc4e05d29aec84a27e489a038ec4032d9b49cc0e4cc" diff --git a/pyproject.toml b/pyproject.toml index 6fe0c18..6cb4941 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.84", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.85", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 8861deaa83f5201c709fd058209b10c0be1c5eaf Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 15 Jul 2024 09:30:31 +0000 Subject: [PATCH 32/69] deps/k_release: sync release file version 7.1.59 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 3e3ba25..4c895ac 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.54 +7.1.59 From 7d420800708459238a1ccd4ceaf8846b0a2102b2 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 15 Jul 2024 09:30:54 +0000 Subject: [PATCH 33/69] Sync Poetry files 0.1.85 --- poetry.lock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/poetry.lock b/poetry.lock index d74d6d6..6693e36 100644 --- a/poetry.lock +++ b/poetry.lock @@ -892,7 +892,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)"] From d2fa23e6c98ecae58b5159bceaaca6579f5995b8 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jul 2024 13:43:08 +0000 Subject: [PATCH 34/69] deps/kwasm_release: Set Version 0.1.86 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index c0c68ba..93c6c47 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.85 +0.1.86 From 556cad3795f18fb480e775635ecf387058a3327e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jul 2024 13:43:20 +0000 Subject: [PATCH 35/69] Set Version: 0.1.7 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index c946ee6..1180819 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.6 +0.1.7 diff --git a/pyproject.toml b/pyproject.toml index 033bc3e..0500590 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "ksoroban" -version = "0.1.6" +version = "0.1.7" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", From 7c03049fcc35383429e8ee214678f83f161e8e39 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jul 2024 13:43:52 +0000 Subject: [PATCH 36/69] Sync Poetry files 0.1.86 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 6693e36..1a71816 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.59" +version = "7.1.65" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.59-py3-none-any.whl", hash = "sha256:341101f04c5809126c4fadc5334ab725fdfedcb39dc3026d0c8edf698a749136"}, - {file = "kframework-7.1.59.tar.gz", hash = "sha256:80f5697be50ffc916db54fa25a0452c117bf32208da1918695bb4f734d2c7bcb"}, + {file = "kframework-7.1.65-py3-none-any.whl", hash = "sha256:8d067b5f31aeec589a45c3c3af2658cbf13d9912a52b14a4db2d995e1249e70f"}, + {file = "kframework-7.1.65.tar.gz", hash = "sha256:8a903c80e2ff3d381592987ff66e504768ac83f8b24b2f53a48d3f5ff3779729"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.85" +version = "0.1.86" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.59" +kframework = "7.1.65" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.85" -resolved_reference = "ad238ca2f73ea866b54b31308326ac2a56e64159" +reference = "v0.1.86" +resolved_reference = "1b0adc068c3038adce4c5b5a3863a4476d251ec1" subdirectory = "pykwasm" [[package]] @@ -1249,4 +1249,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "180abd908dd5a137b9462cc4e05d29aec84a27e489a038ec4032d9b49cc0e4cc" +content-hash = "72ffda6da6fab77e7616947825b3783de250f5df3e26eefa3f858fd92be46002" diff --git a/pyproject.toml b/pyproject.toml index 0500590..292c136 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.85", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.86", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From cc742cd9a2510f099005e5f1d466137cae247572 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 17 Jul 2024 13:43:52 +0000 Subject: [PATCH 37/69] deps/k_release: sync release file version 7.1.65 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 4c895ac..9b5ac99 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.59 +7.1.65 From c2f0fcc30dcc3e0a9020ca829c8f73c74dd03540 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Jul 2024 17:42:59 +0000 Subject: [PATCH 38/69] deps/kwasm_release: Set Version 0.1.87 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 93c6c47..ef2f8c8 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.86 +0.1.87 From 1ce3640254e241d3a40df444ee1a95e1dbb01704 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Jul 2024 17:48:22 +0000 Subject: [PATCH 39/69] Sync Poetry files 0.1.87 --- poetry.lock | 21 +++++++++++---------- pyproject.toml | 2 +- 2 files changed, 12 insertions(+), 11 deletions(-) diff --git a/poetry.lock b/poetry.lock index 1a71816..a509fdc 100644 --- a/poetry.lock +++ b/poetry.lock @@ -892,7 +892,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)"] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.86" +version = "0.1.87" description = "" optional = false python-versions = "^3.10" @@ -971,8 +971,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.86" -resolved_reference = "1b0adc068c3038adce4c5b5a3863a4476d251ec1" +reference = "v0.1.87" +resolved_reference = "2d843df94d1b159ee9117fc1f8e6d5659282bd2e" subdirectory = "pykwasm" [[package]] @@ -1107,18 +1107,19 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "70.3.0" +version = "71.0.3" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-70.3.0-py3-none-any.whl", hash = "sha256:fe384da74336c398e0d956d1cae0669bc02eed936cdb1d49b57de1990dc11ffc"}, - {file = "setuptools-70.3.0.tar.gz", hash = "sha256:f171bab1dfbc86b132997f26a119f6056a57950d058587841a0082e8830f9dc5"}, + {file = "setuptools-71.0.3-py3-none-any.whl", hash = "sha256:f501b6e6db709818dc76882582d9c516bf3b67b948864c5fa1d1624c09a49207"}, + {file = "setuptools-71.0.3.tar.gz", hash = "sha256:3d8531791a27056f4a38cd3e54084d8b1c4228ff9cf3f2d7dd075ec99f9fd70d"}, ] [package.extras] -doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] -test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] +core = ["importlib-metadata (>=6)", "importlib-resources (>=5.10.2)", "jaraco.text (>=3.7)", "more-itertools (>=8.8)", "ordered-set (>=3.1.1)", "packaging (>=24)", "platformdirs (>=2.6.2)", "tomli (>=2.0.1)", "wheel (>=0.43.0)"] +doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (<7.4)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] +test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (<0.4)", "pytest-ruff (>=0.2.1)", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] name = "sortedcontainers" @@ -1249,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "72ffda6da6fab77e7616947825b3783de250f5df3e26eefa3f858fd92be46002" +content-hash = "069f6842f8422bfd4a9c94443f044149182f8cd50c8646ea1bca8e8fca2b12c5" diff --git a/pyproject.toml b/pyproject.toml index 292c136..bfb4669 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.86", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.87", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From dcbb788075d32b717997b095520d24cd5b5d08a7 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 18 Jul 2024 17:48:44 +0000 Subject: [PATCH 40/69] Sync Poetry files 0.1.87 --- poetry.lock | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/poetry.lock b/poetry.lock index a509fdc..63ea0ce 100644 --- a/poetry.lock +++ b/poetry.lock @@ -892,7 +892,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)"] From 6e7b7c2cf5b64fbda2f6f2a10f90322d158be92a Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 19 Jul 2024 12:30:22 +0000 Subject: [PATCH 41/69] deps/kwasm_release: Set Version 0.1.88 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index ef2f8c8..6667b8e 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.87 +0.1.88 From 525ed440a4aefc6f48ba93277a172a912b469c57 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 19 Jul 2024 12:30:44 +0000 Subject: [PATCH 42/69] Sync Poetry files 0.1.88 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 63ea0ce..4b43f45 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.65" +version = "7.1.68" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.65-py3-none-any.whl", hash = "sha256:8d067b5f31aeec589a45c3c3af2658cbf13d9912a52b14a4db2d995e1249e70f"}, - {file = "kframework-7.1.65.tar.gz", hash = "sha256:8a903c80e2ff3d381592987ff66e504768ac83f8b24b2f53a48d3f5ff3779729"}, + {file = "kframework-7.1.68-py3-none-any.whl", hash = "sha256:a4d7f8b2432d43fd0d10aad542718e18f2c5a454ac6f1c42fd15b571735b640a"}, + {file = "kframework-7.1.68.tar.gz", hash = "sha256:440e465d8b4df0b67f1b3182f68f9a85c7de29ecf4be4a0eb3aecbe47fc56c98"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.87" +version = "0.1.88" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.65" +kframework = "7.1.68" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.87" -resolved_reference = "2d843df94d1b159ee9117fc1f8e6d5659282bd2e" +reference = "v0.1.88" +resolved_reference = "1e51fdbc4bf6f42936f0cef0ccbd3337b82d884b" subdirectory = "pykwasm" [[package]] @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "069f6842f8422bfd4a9c94443f044149182f8cd50c8646ea1bca8e8fca2b12c5" +content-hash = "f5b03ca5c6dc54311d7a927f3b59ebb9eb11619af10c81b787df97f58b7b58fb" diff --git a/pyproject.toml b/pyproject.toml index bfb4669..e44a3e4 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.87", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.88", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From db086fd695cc1450cd0b9d9493a7a0ee23382bc2 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 19 Jul 2024 12:30:45 +0000 Subject: [PATCH 43/69] deps/k_release: sync release file version 7.1.68 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9b5ac99..ec35009 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.65 +7.1.68 From 13fee9656f610a8e5e66d2110450fe4c29a86995 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 19 Jul 2024 20:26:21 +0000 Subject: [PATCH 44/69] deps/kwasm_release: Set Version 0.1.89 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 6667b8e..5096aa3 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.88 +0.1.89 From e581ab975779cd5a27e7365123aceb39b1918cff Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 19 Jul 2024 20:26:45 +0000 Subject: [PATCH 45/69] Sync Poetry files 0.1.89 --- poetry.lock | 74 +++++++++++++++++++++++++------------------------- pyproject.toml | 2 +- 2 files changed, 38 insertions(+), 38 deletions(-) diff --git a/poetry.lock b/poetry.lock index 4b43f45..1b15746 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.68" +version = "7.1.70" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.68-py3-none-any.whl", hash = "sha256:a4d7f8b2432d43fd0d10aad542718e18f2c5a454ac6f1c42fd15b571735b640a"}, - {file = "kframework-7.1.68.tar.gz", hash = "sha256:440e465d8b4df0b67f1b3182f68f9a85c7de29ecf4be4a0eb3aecbe47fc56c98"}, + {file = "kframework-7.1.70-py3-none-any.whl", hash = "sha256:53eb4e6dbe6c1fc24f51639d40518c2d19090b1c8a0c5fdc2c3a85ff6acfdd66"}, + {file = "kframework-7.1.70.tar.gz", hash = "sha256:a1185cd82b7774a2f7ee147d190ecf9ae0c4434eeb9a3348bbb2ece239d448e6"}, ] [package.dependencies] @@ -682,44 +682,44 @@ files = [ [[package]] name = "mypy" -version = "1.10.1" +version = "1.11.0" description = "Optional static typing for Python" optional = false python-versions = ">=3.8" files = [ - {file = "mypy-1.10.1-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:e36f229acfe250dc660790840916eb49726c928e8ce10fbdf90715090fe4ae02"}, - {file = "mypy-1.10.1-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:51a46974340baaa4145363b9e051812a2446cf583dfaeba124af966fa44593f7"}, - {file = "mypy-1.10.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:901c89c2d67bba57aaaca91ccdb659aa3a312de67f23b9dfb059727cce2e2e0a"}, - {file = "mypy-1.10.1-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:0cd62192a4a32b77ceb31272d9e74d23cd88c8060c34d1d3622db3267679a5d9"}, - {file = "mypy-1.10.1-cp310-cp310-win_amd64.whl", hash = "sha256:a2cbc68cb9e943ac0814c13e2452d2046c2f2b23ff0278e26599224cf164e78d"}, - {file = "mypy-1.10.1-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:bd6f629b67bb43dc0d9211ee98b96d8dabc97b1ad38b9b25f5e4c4d7569a0c6a"}, - {file = "mypy-1.10.1-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:a1bbb3a6f5ff319d2b9d40b4080d46cd639abe3516d5a62c070cf0114a457d84"}, - {file = "mypy-1.10.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:b8edd4e9bbbc9d7b79502eb9592cab808585516ae1bcc1446eb9122656c6066f"}, - {file = "mypy-1.10.1-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:6166a88b15f1759f94a46fa474c7b1b05d134b1b61fca627dd7335454cc9aa6b"}, - {file = "mypy-1.10.1-cp311-cp311-win_amd64.whl", hash = "sha256:5bb9cd11c01c8606a9d0b83ffa91d0b236a0e91bc4126d9ba9ce62906ada868e"}, - {file = "mypy-1.10.1-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:d8681909f7b44d0b7b86e653ca152d6dff0eb5eb41694e163c6092124f8246d7"}, - {file = "mypy-1.10.1-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:378c03f53f10bbdd55ca94e46ec3ba255279706a6aacaecac52ad248f98205d3"}, - {file = "mypy-1.10.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:6bacf8f3a3d7d849f40ca6caea5c055122efe70e81480c8328ad29c55c69e93e"}, - {file = "mypy-1.10.1-cp312-cp312-musllinux_1_1_x86_64.whl", hash = "sha256:701b5f71413f1e9855566a34d6e9d12624e9e0a8818a5704d74d6b0402e66c04"}, - {file = "mypy-1.10.1-cp312-cp312-win_amd64.whl", hash = "sha256:3c4c2992f6ea46ff7fce0072642cfb62af7a2484efe69017ed8b095f7b39ef31"}, - {file = "mypy-1.10.1-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:604282c886497645ffb87b8f35a57ec773a4a2721161e709a4422c1636ddde5c"}, - {file = "mypy-1.10.1-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:37fd87cab83f09842653f08de066ee68f1182b9b5282e4634cdb4b407266bade"}, - {file = "mypy-1.10.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:8addf6313777dbb92e9564c5d32ec122bf2c6c39d683ea64de6a1fd98b90fe37"}, - {file = "mypy-1.10.1-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:5cc3ca0a244eb9a5249c7c583ad9a7e881aa5d7b73c35652296ddcdb33b2b9c7"}, - {file = "mypy-1.10.1-cp38-cp38-win_amd64.whl", hash = "sha256:1b3a2ffce52cc4dbaeee4df762f20a2905aa171ef157b82192f2e2f368eec05d"}, - {file = "mypy-1.10.1-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:fe85ed6836165d52ae8b88f99527d3d1b2362e0cb90b005409b8bed90e9059b3"}, - {file = "mypy-1.10.1-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:c2ae450d60d7d020d67ab440c6e3fae375809988119817214440033f26ddf7bf"}, - {file = "mypy-1.10.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:6be84c06e6abd72f960ba9a71561c14137a583093ffcf9bbfaf5e613d63fa531"}, - {file = "mypy-1.10.1-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:2189ff1e39db399f08205e22a797383613ce1cb0cb3b13d8bcf0170e45b96cc3"}, - {file = "mypy-1.10.1-cp39-cp39-win_amd64.whl", hash = "sha256:97a131ee36ac37ce9581f4220311247ab6cba896b4395b9c87af0675a13a755f"}, - {file = "mypy-1.10.1-py3-none-any.whl", hash = "sha256:71d8ac0b906354ebda8ef1673e5fde785936ac1f29ff6987c7483cfbd5a4235a"}, - {file = "mypy-1.10.1.tar.gz", hash = "sha256:1f8f492d7db9e3593ef42d4f115f04e556130f2819ad33ab84551403e97dd4c0"}, + {file = "mypy-1.11.0-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:a3824187c99b893f90c845bab405a585d1ced4ff55421fdf5c84cb7710995229"}, + {file = "mypy-1.11.0-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:96f8dbc2c85046c81bcddc246232d500ad729cb720da4e20fce3b542cab91287"}, + {file = "mypy-1.11.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.manylinux_2_28_x86_64.whl", hash = "sha256:1a5d8d8dd8613a3e2be3eae829ee891b6b2de6302f24766ff06cb2875f5be9c6"}, + {file = "mypy-1.11.0-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:72596a79bbfb195fd41405cffa18210af3811beb91ff946dbcb7368240eed6be"}, + {file = "mypy-1.11.0-cp310-cp310-win_amd64.whl", hash = "sha256:35ce88b8ed3a759634cb4eb646d002c4cef0a38f20565ee82b5023558eb90c00"}, + {file = "mypy-1.11.0-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:98790025861cb2c3db8c2f5ad10fc8c336ed2a55f4daf1b8b3f877826b6ff2eb"}, + {file = "mypy-1.11.0-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:25bcfa75b9b5a5f8d67147a54ea97ed63a653995a82798221cca2a315c0238c1"}, + {file = "mypy-1.11.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.manylinux_2_28_x86_64.whl", hash = "sha256:0bea2a0e71c2a375c9fa0ede3d98324214d67b3cbbfcbd55ac8f750f85a414e3"}, + {file = "mypy-1.11.0-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:d2b3d36baac48e40e3064d2901f2fbd2a2d6880ec6ce6358825c85031d7c0d4d"}, + {file = "mypy-1.11.0-cp311-cp311-win_amd64.whl", hash = "sha256:d8e2e43977f0e09f149ea69fd0556623919f816764e26d74da0c8a7b48f3e18a"}, + {file = "mypy-1.11.0-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:1d44c1e44a8be986b54b09f15f2c1a66368eb43861b4e82573026e04c48a9e20"}, + {file = "mypy-1.11.0-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:cea3d0fb69637944dd321f41bc896e11d0fb0b0aa531d887a6da70f6e7473aba"}, + {file = "mypy-1.11.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.manylinux_2_28_x86_64.whl", hash = "sha256:a83ec98ae12d51c252be61521aa5731f5512231d0b738b4cb2498344f0b840cd"}, + {file = "mypy-1.11.0-cp312-cp312-musllinux_1_1_x86_64.whl", hash = "sha256:c7b73a856522417beb78e0fb6d33ef89474e7a622db2653bc1285af36e2e3e3d"}, + {file = "mypy-1.11.0-cp312-cp312-win_amd64.whl", hash = "sha256:f2268d9fcd9686b61ab64f077be7ffbc6fbcdfb4103e5dd0cc5eaab53a8886c2"}, + {file = "mypy-1.11.0-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:940bfff7283c267ae6522ef926a7887305945f716a7704d3344d6d07f02df850"}, + {file = "mypy-1.11.0-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:14f9294528b5f5cf96c721f231c9f5b2733164e02c1c018ed1a0eff8a18005ac"}, + {file = "mypy-1.11.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.manylinux_2_28_x86_64.whl", hash = "sha256:d7b54c27783991399046837df5c7c9d325d921394757d09dbcbf96aee4649fe9"}, + {file = "mypy-1.11.0-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:65f190a6349dec29c8d1a1cd4aa71284177aee5949e0502e6379b42873eddbe7"}, + {file = "mypy-1.11.0-cp38-cp38-win_amd64.whl", hash = "sha256:dbe286303241fea8c2ea5466f6e0e6a046a135a7e7609167b07fd4e7baf151bf"}, + {file = "mypy-1.11.0-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:104e9c1620c2675420abd1f6c44bab7dd33cc85aea751c985006e83dcd001095"}, + {file = "mypy-1.11.0-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:f006e955718ecd8d159cee9932b64fba8f86ee6f7728ca3ac66c3a54b0062abe"}, + {file = "mypy-1.11.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.manylinux_2_28_x86_64.whl", hash = "sha256:becc9111ca572b04e7e77131bc708480cc88a911adf3d0239f974c034b78085c"}, + {file = "mypy-1.11.0-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:6801319fe76c3f3a3833f2b5af7bd2c17bb93c00026a2a1b924e6762f5b19e13"}, + {file = "mypy-1.11.0-cp39-cp39-win_amd64.whl", hash = "sha256:c1a184c64521dc549324ec6ef7cbaa6b351912be9cb5edb803c2808a0d7e85ac"}, + {file = "mypy-1.11.0-py3-none-any.whl", hash = "sha256:56913ec8c7638b0091ef4da6fcc9136896914a9d60d54670a75880c3e5b99ace"}, + {file = "mypy-1.11.0.tar.gz", hash = "sha256:93743608c7348772fdc717af4aeee1997293a1ad04bc0ea6efa15bf65385c538"}, ] [package.dependencies] mypy-extensions = ">=1.0.0" tomli = {version = ">=1.1.0", markers = "python_version < \"3.11\""} -typing-extensions = ">=4.1.0" +typing-extensions = ">=4.6.0" [package.extras] dmypy = ["psutil (>=4.0)"] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.88" +version = "0.1.89" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.68" +kframework = "7.1.70" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.88" -resolved_reference = "1e51fdbc4bf6f42936f0cef0ccbd3337b82d884b" +reference = "v0.1.89" +resolved_reference = "89bdf389bd49fd4ebab38c48c78e2c3df1927324" subdirectory = "pykwasm" [[package]] @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f5b03ca5c6dc54311d7a927f3b59ebb9eb11619af10c81b787df97f58b7b58fb" +content-hash = "220e28dfc69eb4a0f5d8e595f68a941ba25ed2d29fe3bf21eb1fcf4d68af16f4" diff --git a/pyproject.toml b/pyproject.toml index e44a3e4..b195599 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.88", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.89", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From b5ef5f6a52f169735246db3a004fe33040fff215 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 19 Jul 2024 20:26:45 +0000 Subject: [PATCH 46/69] deps/k_release: sync release file version 7.1.70 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ec35009..71c9167 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.68 +7.1.70 From d68dcf00e80a70aa55ab903ef18ead28dc91057f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 22 Jul 2024 20:26:50 +0000 Subject: [PATCH 47/69] deps/kwasm_release: Set Version 0.1.90 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 5096aa3..591c92d 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.89 +0.1.90 From a7685ca668536b0cd51c6d793fe8b7255ded1b9f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 22 Jul 2024 20:27:02 +0000 Subject: [PATCH 48/69] Set Version: 0.1.8 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 1180819..699c6c6 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.7 +0.1.8 diff --git a/pyproject.toml b/pyproject.toml index b195599..63aae36 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "ksoroban" -version = "0.1.7" +version = "0.1.8" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", From f75a49c122bc4e831dd32e7c6d6dda361270f60a Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 22 Jul 2024 20:27:41 +0000 Subject: [PATCH 49/69] Sync Poetry files 0.1.90 --- poetry.lock | 44 ++++++++++++++++++++++---------------------- pyproject.toml | 2 +- 2 files changed, 23 insertions(+), 23 deletions(-) diff --git a/poetry.lock b/poetry.lock index 1b15746..0bb71f6 100644 --- a/poetry.lock +++ b/poetry.lock @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.108.2" +version = "6.108.4" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.108.2-py3-none-any.whl", hash = "sha256:2341d21d0e956bad8bd6269aa7d4f3233507f3ed52380c60ceb2f8b71f87a8e5"}, - {file = "hypothesis-6.108.2.tar.gz", hash = "sha256:62cf1c16bd98548b6a84007c5fb8cf6d9cb358dad870adb4f236c795ef162fdd"}, + {file = "hypothesis-6.108.4-py3-none-any.whl", hash = "sha256:901b1883b51207c4c3ecbae506bc8b65d66569f9bc34e023df7d8a821eb495c1"}, + {file = "hypothesis-6.108.4.tar.gz", hash = "sha256:bab99a308ea39be53882f1d89ab77db48e0c03b5c37fbedd2f59f9b656ada301"}, ] [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.61)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.7)", "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.63)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.9)", "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.61)", "hypothesis-crosshair (>=0.0.7)"] +crosshair = ["crosshair-tool (>=0.0.63)", "hypothesis-crosshair (>=0.0.9)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.70" +version = "7.1.72" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.70-py3-none-any.whl", hash = "sha256:53eb4e6dbe6c1fc24f51639d40518c2d19090b1c8a0c5fdc2c3a85ff6acfdd66"}, - {file = "kframework-7.1.70.tar.gz", hash = "sha256:a1185cd82b7774a2f7ee147d190ecf9ae0c4434eeb9a3348bbb2ece239d448e6"}, + {file = "kframework-7.1.72-py3-none-any.whl", hash = "sha256:4c3e6e4a8e2fe12307ac487bf141196fdc53c787b0aefe0218e8952b12521bed"}, + {file = "kframework-7.1.72.tar.gz", hash = "sha256:64cd3aa6042e729e7720d82c65a4c26a057608736a362858005850af12498949"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.89" +version = "0.1.90" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.70" +kframework = "7.1.72" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.89" -resolved_reference = "89bdf389bd49fd4ebab38c48c78e2c3df1927324" +reference = "v0.1.90" +resolved_reference = "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783" subdirectory = "pykwasm" [[package]] @@ -998,13 +998,13 @@ files = [ [[package]] name = "pytest" -version = "8.2.2" +version = "8.3.1" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.2.2-py3-none-any.whl", hash = "sha256:c434598117762e2bd304e526244f67bf66bbd7b5d6cf22138be51ff661980343"}, - {file = "pytest-8.2.2.tar.gz", hash = "sha256:de4bb8104e201939ccdc688b27a89a7be2079b22e2bd2b07f806b6ba71117977"}, + {file = "pytest-8.3.1-py3-none-any.whl", hash = "sha256:e9600ccf4f563976e2c99fa02c7624ab938296551f280835ee6516df8bc4ae8c"}, + {file = "pytest-8.3.1.tar.gz", hash = "sha256:7e8e5c5abd6e93cb1cc151f23e57adc31fcf8cfd2a3ff2da63e23f732de35db6"}, ] [package.dependencies] @@ -1012,7 +1012,7 @@ colorama = {version = "*", markers = "sys_platform == \"win32\""} exceptiongroup = {version = ">=1.0.0rc8", markers = "python_version < \"3.11\""} iniconfig = "*" packaging = "*" -pluggy = ">=1.5,<2.0" +pluggy = ">=1.5,<2" tomli = {version = ">=1", markers = "python_version < \"3.11\""} [package.extras] @@ -1107,19 +1107,19 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "71.0.3" +version = "71.1.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-71.0.3-py3-none-any.whl", hash = "sha256:f501b6e6db709818dc76882582d9c516bf3b67b948864c5fa1d1624c09a49207"}, - {file = "setuptools-71.0.3.tar.gz", hash = "sha256:3d8531791a27056f4a38cd3e54084d8b1c4228ff9cf3f2d7dd075ec99f9fd70d"}, + {file = "setuptools-71.1.0-py3-none-any.whl", hash = "sha256:33874fdc59b3188304b2e7c80d9029097ea31627180896fb549c578ceb8a0855"}, + {file = "setuptools-71.1.0.tar.gz", hash = "sha256:032d42ee9fb536e33087fb66cac5f840eb9391ed05637b3f2a76a7c8fb477936"}, ] [package.extras] core = ["importlib-metadata (>=6)", "importlib-resources (>=5.10.2)", "jaraco.text (>=3.7)", "more-itertools (>=8.8)", "ordered-set (>=3.1.1)", "packaging (>=24)", "platformdirs (>=2.6.2)", "tomli (>=2.0.1)", "wheel (>=0.43.0)"] -doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (<7.4)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] -test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (<0.4)", "pytest-ruff (>=0.2.1)", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] +doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] +test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.11.*)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (<0.4)", "pytest-ruff (>=0.2.1)", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] name = "sortedcontainers" @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "220e28dfc69eb4a0f5d8e595f68a941ba25ed2d29fe3bf21eb1fcf4d68af16f4" +content-hash = "057613b06ade20ee4809a426dbfcd3108069fa244a8f28422bbef288cf34a206" diff --git a/pyproject.toml b/pyproject.toml index 63aae36..896a325 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.89", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.90", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From bed9f8b35823a80722822a199c9ab036d89185ba Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 22 Jul 2024 20:27:41 +0000 Subject: [PATCH 50/69] deps/k_release: sync release file version 7.1.72 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 71c9167..058f28c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.70 +7.1.72 From 155af98ddef38fdbb080d5de1c330c44c0f505ce Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 23 Jul 2024 11:24:04 +0000 Subject: [PATCH 51/69] deps/kwasm_release: Set Version 0.1.91 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 591c92d..496a825 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.90 +0.1.91 From c2cf37cdc54fdef31b98938ab6782efdcff2b39e Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 23 Jul 2024 11:24:16 +0000 Subject: [PATCH 52/69] Set Version: 0.1.9 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 699c6c6..1a03094 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.8 +0.1.9 diff --git a/pyproject.toml b/pyproject.toml index 896a325..06ae757 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "ksoroban" -version = "0.1.8" +version = "0.1.9" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", From b24433754b4c6db33900343584facd92a4cd7a71 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 23 Jul 2024 11:24:48 +0000 Subject: [PATCH 53/69] Sync Poetry files 0.1.91 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 0bb71f6..e8c1b9c 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.72" +version = "7.1.76" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.72-py3-none-any.whl", hash = "sha256:4c3e6e4a8e2fe12307ac487bf141196fdc53c787b0aefe0218e8952b12521bed"}, - {file = "kframework-7.1.72.tar.gz", hash = "sha256:64cd3aa6042e729e7720d82c65a4c26a057608736a362858005850af12498949"}, + {file = "kframework-7.1.76-py3-none-any.whl", hash = "sha256:f2864e7f6e96caa8e768205b59c94eb2457ccc8eae98a813a61152e2be19866e"}, + {file = "kframework-7.1.76.tar.gz", hash = "sha256:f78c93b0a36457f6e6c58483bb76aed9186a7a49ba51aabad0e4f33e3e30c493"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.90" +version = "0.1.91" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.72" +kframework = "7.1.76" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.90" -resolved_reference = "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783" +reference = "v0.1.91" +resolved_reference = "7459c5ba7ab16e98edc086e9ba772f52dc7f47ad" subdirectory = "pykwasm" [[package]] @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "057613b06ade20ee4809a426dbfcd3108069fa244a8f28422bbef288cf34a206" +content-hash = "017d5d3e616f2e89aca0ef34eff405378e513a76584df1953484905e5a79f718" diff --git a/pyproject.toml b/pyproject.toml index 06ae757..faf3b06 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.90", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.91", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 9e1922afa9f335589f3d4184eb5a61413f1034a2 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 23 Jul 2024 11:24:48 +0000 Subject: [PATCH 54/69] deps/k_release: sync release file version 7.1.76 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 058f28c..5a9ae25 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.72 +7.1.76 From f79a68dad857839d13b8d252af2229811365ea93 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 25 Jul 2024 14:26:06 +0000 Subject: [PATCH 55/69] deps/kwasm_release: Set Version 0.1.92 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 496a825..8c2abf1 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.91 +0.1.92 From aee69970e6b49d15777e0863732ca070c01d9903 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 25 Jul 2024 14:26:29 +0000 Subject: [PATCH 56/69] Sync Poetry files 0.1.92 --- poetry.lock | 28 ++++++++++++++-------------- pyproject.toml | 2 +- 2 files changed, 15 insertions(+), 15 deletions(-) diff --git a/poetry.lock b/poetry.lock index e8c1b9c..c998d05 100644 --- a/poetry.lock +++ b/poetry.lock @@ -527,13 +527,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "8.0.0" +version = "8.2.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-8.0.0-py3-none-any.whl", hash = "sha256:15584cf2b1bf449d98ff8a6ff1abef57bf20f3ac6454f431736cd3e660921b2f"}, - {file = "importlib_metadata-8.0.0.tar.gz", hash = "sha256:188bd24e4c346d3f0a933f275c2fec67050326a856b9a359881d7c2a697e8812"}, + {file = "importlib_metadata-8.2.0-py3-none-any.whl", hash = "sha256:11901fa0c2f97919b288679932bb64febaeacf289d18ac84dd68cb2e74213369"}, + {file = "importlib_metadata-8.2.0.tar.gz", hash = "sha256:72e8d4399996132204f9a16dcc751af254a48f8d1b20b9ff0f98d4a8f901e73d"}, ] [package.dependencies] @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.76" +version = "7.1.80" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.76-py3-none-any.whl", hash = "sha256:f2864e7f6e96caa8e768205b59c94eb2457ccc8eae98a813a61152e2be19866e"}, - {file = "kframework-7.1.76.tar.gz", hash = "sha256:f78c93b0a36457f6e6c58483bb76aed9186a7a49ba51aabad0e4f33e3e30c493"}, + {file = "kframework-7.1.80-py3-none-any.whl", hash = "sha256:576dcfd403b9de1bbee7d397bfe34b2720348d3947d1f3a5ab0489c1f6c88fd9"}, + {file = "kframework-7.1.80.tar.gz", hash = "sha256:6132f3e5ae0f5de4eca001856b2356c8aebadae056e3754182d54af27451e779"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.91" +version = "0.1.92" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.76" +kframework = "7.1.80" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.91" -resolved_reference = "7459c5ba7ab16e98edc086e9ba772f52dc7f47ad" +reference = "v0.1.92" +resolved_reference = "df9fee5e47f169dbb8778fd5b1ca766905781658" subdirectory = "pykwasm" [[package]] @@ -998,13 +998,13 @@ files = [ [[package]] name = "pytest" -version = "8.3.1" +version = "8.3.2" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.3.1-py3-none-any.whl", hash = "sha256:e9600ccf4f563976e2c99fa02c7624ab938296551f280835ee6516df8bc4ae8c"}, - {file = "pytest-8.3.1.tar.gz", hash = "sha256:7e8e5c5abd6e93cb1cc151f23e57adc31fcf8cfd2a3ff2da63e23f732de35db6"}, + {file = "pytest-8.3.2-py3-none-any.whl", hash = "sha256:4ba08f9ae7dcf84ded419494d229b48d0903ea6407b030eaec46df5e6a73bba5"}, + {file = "pytest-8.3.2.tar.gz", hash = "sha256:c132345d12ce551242c87269de812483f5bcc87cdbb4722e48487ba194f9fdce"}, ] [package.dependencies] @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "017d5d3e616f2e89aca0ef34eff405378e513a76584df1953484905e5a79f718" +content-hash = "8123ba2bec8095dcf0b59df11d48d4e4206a61a331b38390a667ce4a62b711a6" diff --git a/pyproject.toml b/pyproject.toml index faf3b06..d60dafa 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.91", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.92", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 64830e8e321228d7b913b43134f1aecdf62d50f9 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 25 Jul 2024 14:26:30 +0000 Subject: [PATCH 57/69] deps/k_release: sync release file version 7.1.80 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 5a9ae25..a183af2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.76 +7.1.80 From 6a9b1cf8b6d690253cf947813857353f4e28d419 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 07:42:34 +0000 Subject: [PATCH 58/69] deps/kwasm_release: Set Version 0.1.93 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 8c2abf1..7977b63 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.92 +0.1.93 From 848aacb877900e0ec0d955b2999629d459bdf30b Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 07:42:47 +0000 Subject: [PATCH 59/69] Set Version: 0.1.10 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 1a03094..9767cc9 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.9 +0.1.10 diff --git a/pyproject.toml b/pyproject.toml index d60dafa..2da42b8 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "ksoroban" -version = "0.1.9" +version = "0.1.10" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", From b058f72d2c423dd91e0eb64e850386c058a9cad2 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 07:43:09 +0000 Subject: [PATCH 60/69] Sync Poetry files 0.1.93 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index c998d05..9e2f001 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.80" +version = "7.1.81" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.80-py3-none-any.whl", hash = "sha256:576dcfd403b9de1bbee7d397bfe34b2720348d3947d1f3a5ab0489c1f6c88fd9"}, - {file = "kframework-7.1.80.tar.gz", hash = "sha256:6132f3e5ae0f5de4eca001856b2356c8aebadae056e3754182d54af27451e779"}, + {file = "kframework-7.1.81-py3-none-any.whl", hash = "sha256:b10796b7071f54720d71356d04eb51b5a430365965e987f568fa79bcfe921fb2"}, + {file = "kframework-7.1.81.tar.gz", hash = "sha256:5ac043a1b20eefd0439f688d447c989a7eb63d9409e2c052208b58cba5b5f7fa"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.92" +version = "0.1.93" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.80" +kframework = "7.1.81" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.92" -resolved_reference = "df9fee5e47f169dbb8778fd5b1ca766905781658" +reference = "v0.1.93" +resolved_reference = "f3da7209e4a4a84ecce03d34a8a6229b0b7701e2" subdirectory = "pykwasm" [[package]] @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "8123ba2bec8095dcf0b59df11d48d4e4206a61a331b38390a667ce4a62b711a6" +content-hash = "af049b7afe6d0d7600e6a0f4826367f0d5b643a1ca3cd9316d780c3257206625" diff --git a/pyproject.toml b/pyproject.toml index 2da42b8..ab5ba92 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.92", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.93", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 9b16c8c9b2d5f12e61a122b14dad4ed22461a6a2 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 07:43:09 +0000 Subject: [PATCH 61/69] deps/k_release: sync release file version 7.1.81 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a183af2..c6212e6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.80 +7.1.81 From c6e5ef499952d7eabad5d3f1d1a747771a628f30 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 14:26:05 +0000 Subject: [PATCH 62/69] deps/kwasm_release: Set Version 0.1.94 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 7977b63..e982215 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.93 +0.1.94 From ac14d7bdc8c55d12d3f3e865c9059c5dc64f5d67 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 14:26:27 +0000 Subject: [PATCH 63/69] Sync Poetry files 0.1.94 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 9e2f001..18b63a7 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.81" +version = "7.1.83" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.81-py3-none-any.whl", hash = "sha256:b10796b7071f54720d71356d04eb51b5a430365965e987f568fa79bcfe921fb2"}, - {file = "kframework-7.1.81.tar.gz", hash = "sha256:5ac043a1b20eefd0439f688d447c989a7eb63d9409e2c052208b58cba5b5f7fa"}, + {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"}, + {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.93" +version = "0.1.94" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.81" +kframework = "7.1.83" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.93" -resolved_reference = "f3da7209e4a4a84ecce03d34a8a6229b0b7701e2" +reference = "v0.1.94" +resolved_reference = "2344e9c97d259acf810c64497c0e7367bcc058b4" subdirectory = "pykwasm" [[package]] @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "af049b7afe6d0d7600e6a0f4826367f0d5b643a1ca3cd9316d780c3257206625" +content-hash = "97ed0ce376e24aa5084e5930aa6df926c5d2946a8d0977854a1fd5c41f441ee9" diff --git a/pyproject.toml b/pyproject.toml index ab5ba92..6cf9c56 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.93", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.94", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 17853bf166d9ddcf52a8228850966d46eb223318 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 14:26:28 +0000 Subject: [PATCH 64/69] deps/k_release: sync release file version 7.1.83 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c6212e6..a6190e4 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.81 +7.1.83 From b5c8bc682d8af07edd219ae243e4362035ce9ec9 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 17:25:46 +0000 Subject: [PATCH 65/69] deps/kwasm_release: Set Version 0.1.95 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index e982215..9c178d3 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.94 +0.1.95 From 5795989ba29805fb077e96c2c04824c3eff16eba Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 17:26:07 +0000 Subject: [PATCH 66/69] Sync Poetry files 0.1.95 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 18b63a7..b522efe 100644 --- a/poetry.lock +++ b/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.83" +version = "7.1.85" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"}, - {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"}, + {file = "kframework-7.1.85-py3-none-any.whl", hash = "sha256:4c4d7483cc6874337369ffca071df6ed3b46ee05e550ea057f0be8153e7fb76c"}, + {file = "kframework-7.1.85.tar.gz", hash = "sha256:2d7c2e14a7bd561091326e41605f6056eb4da5da00f7b1348272890864971904"}, ] [package.dependencies] @@ -955,7 +955,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.94" +version = "0.1.95" description = "" optional = false python-versions = "^3.10" @@ -964,15 +964,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.83" +kframework = "7.1.85" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.94" -resolved_reference = "2344e9c97d259acf810c64497c0e7367bcc058b4" +reference = "v0.1.95" +resolved_reference = "c8e8bc61eabc3707857af1e022bae21a8f6195ca" subdirectory = "pykwasm" [[package]] @@ -1250,4 +1250,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "97ed0ce376e24aa5084e5930aa6df926c5d2946a8d0977854a1fd5c41f441ee9" +content-hash = "d8e251ea8be5020c91bb7331cd017dec076839d139619b15d422b698c6df70f5" diff --git a/pyproject.toml b/pyproject.toml index 6cf9c56..98d6ad9 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ soroban-semantics = "ksoroban.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.94", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.95", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 8ec4ebdb4d88bc3216835d79c82e6dc28578b9b1 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jul 2024 17:26:08 +0000 Subject: [PATCH 67/69] deps/k_release: sync release file version 7.1.85 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a6190e4..33d6961 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.83 +7.1.85 From 5de7cc665ecb633d07a4e1270830d8561b366e02 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 29 Jul 2024 07:01:10 +0000 Subject: [PATCH 68/69] Set Version: 0.1.11 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 9767cc9..20f4951 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.10 +0.1.11 diff --git a/pyproject.toml b/pyproject.toml index 98d6ad9..558b02a 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "ksoroban" -version = "0.1.10" +version = "0.1.11" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", From 514a1dacd28c525b7d955c82bd5a4edd30b69c35 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 29 Jul 2024 07:01:36 +0000 Subject: [PATCH 69/69] Sync Poetry files 0.1.95 --- poetry.lock | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/poetry.lock b/poetry.lock index b522efe..46567c1 100644 --- a/poetry.lock +++ b/poetry.lock @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.108.4" +version = "6.108.5" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.108.4-py3-none-any.whl", hash = "sha256:901b1883b51207c4c3ecbae506bc8b65d66569f9bc34e023df7d8a821eb495c1"}, - {file = "hypothesis-6.108.4.tar.gz", hash = "sha256:bab99a308ea39be53882f1d89ab77db48e0c03b5c37fbedd2f59f9b656ada301"}, + {file = "hypothesis-6.108.5-py3-none-any.whl", hash = "sha256:46fd0f0d022e812940e19ef24ed0b090cc17cf505e0998960aca20c5091425f5"}, + {file = "hypothesis-6.108.5.tar.gz", hash = "sha256:a009d777542d64691a3d27c87e4b94b2256c0bfb47791100d9e45499c304e1b9"}, ] [package.dependencies] @@ -1075,13 +1075,13 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.16.0" +version = "3.17.0" description = "A tool to automatically upgrade syntax for newer versions." optional = false -python-versions = ">=3.8.1" +python-versions = ">=3.9" files = [ - {file = "pyupgrade-3.16.0-py2.py3-none-any.whl", hash = "sha256:7a54ee28f3024d027048d49d101e5c702e88c85edc3a1d08b636c50ebef2a97d"}, - {file = "pyupgrade-3.16.0.tar.gz", hash = "sha256:237893a05d5b117259b31b423f23cbae4bce0b7eae57ba9a52c06098c2ddd76f"}, + {file = "pyupgrade-3.17.0-py2.py3-none-any.whl", hash = "sha256:cbc8f67a61d3f4e7ca9c2ef57b9aae67f023d3780ce30c99fccec78401723754"}, + {file = "pyupgrade-3.17.0.tar.gz", hash = "sha256:d5dd1dcaf9a016c31508bb9d3d09fd335d736578092f91df52bb26ac30c37919"}, ] [package.dependencies] @@ -1107,13 +1107,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "71.1.0" +version = "72.0.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-71.1.0-py3-none-any.whl", hash = "sha256:33874fdc59b3188304b2e7c80d9029097ea31627180896fb549c578ceb8a0855"}, - {file = "setuptools-71.1.0.tar.gz", hash = "sha256:032d42ee9fb536e33087fb66cac5f840eb9391ed05637b3f2a76a7c8fb477936"}, + {file = "setuptools-72.0.0-py3-none-any.whl", hash = "sha256:98b4d786a12fadd34eabf69e8d014b84e5fc655981e4ff419994700434ace132"}, + {file = "setuptools-72.0.0.tar.gz", hash = "sha256:5a0d9c6a2f332881a0153f629d8000118efd33255cfa802757924c53312c76da"}, ] [package.extras]