From 7c1a33be47eb1e61ebc0cbe8f2d3d1e655afeb60 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 13 Sep 2024 06:29:17 -0600 Subject: [PATCH] Update dependency: deps/kwasm_release (#37) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * deps/kwasm_release: Set Version 0.1.105 * Set Version: 0.1.30 * Sync Poetry files 0.1.105 * Set Version: 0.1.33 * Sync Poetry files 0.1.105 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops Co-authored-by: Burak Bilge Yalçınkaya --- deps/kwasm_release | 2 +- flake.lock | 30 +++++++++++++------------- flake.nix | 2 +- package/version | 2 +- poetry.lock | 52 +++++++++++++++++++++++++--------------------- pyproject.toml | 4 ++-- 6 files changed, 48 insertions(+), 44 deletions(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 7c6c565..2317587 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.104 +0.1.105 diff --git a/flake.lock b/flake.lock index fbe2cb1..9f15062 100644 --- a/flake.lock +++ b/flake.lock @@ -125,16 +125,16 @@ ] }, "locked": { - "lastModified": 1724878946, - "narHash": "sha256-DpjtnJB9FwosPKntuh+DTkWQJu9vsGfVL3eJA7J/QHs=", + "lastModified": 1725849280, + "narHash": "sha256-/S6N6u996rxx5xjc8nGPXoDhSlwS/y8xtgcGCLjSCAY=", "owner": "runtimeverification", "repo": "k", - "rev": "2f19e1a50a81bc466bba7a0fb4af85ebfae6f765", + "rev": "80310780c3a65102b86692184ff7761e447efa40", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.124", + "ref": "v7.1.137", "repo": "k", "type": "github" } @@ -240,17 +240,17 @@ "treefmt-nix": "treefmt-nix" }, "locked": { - "lastModified": 1698640399, - "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=", + "lastModified": 1725253878, + "narHash": "sha256-HwXut4WbOUAjmybhui2eNSE6+Wb0nigYgDzBBOZaPG4=", "owner": "nix-community", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", + "rev": "0d3fad5740d892487805cd2d60d8e4ed828486e9", "type": "github" }, "original": { "owner": "nix-community", + "ref": "2024.9.219347", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", "type": "github" } }, @@ -319,11 +319,11 @@ "nixpkgs": "nixpkgs" }, "locked": { - "lastModified": 1724293269, - "narHash": "sha256-x/XhOAszT/ejditCHUtGOjQcVg2AQhrC/QVew3i7kTI=", + "lastModified": 1726194362, + "narHash": "sha256-cM7zFscFqdsA5KohUUYndzIp20kUqjj39qnj6Voj+f8=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "6dc6d34a3a217457d7044dcce32b6d537480a6a1", + "rev": "a71b1240e29f1ec68612ed5306c328086bed91f9", "type": "github" }, "original": { @@ -475,16 +475,16 @@ ] }, "locked": { - "lastModified": 1724922157, - "narHash": "sha256-+7uFgpWBIFT/6TMhX8HbU6qly8O4ZPi9OKNgffGiCzc=", + "lastModified": 1725879389, + "narHash": "sha256-6GKLI19xRflzVFhM9M0RPQovHOetmoHnEmK2hPAE6Rc=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "9d4027348d24121e493f642df28ed62b7b3b84fd", + "rev": "fd23f082451d010971ec2127a0c0019bb75e8922", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.102", + "ref": "v0.1.105", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index bde4c3d..f2e715e 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "komet - K tooling for the Soroban platform"; inputs = { - wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.102"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.105"; k-framework.follows = "wasm-semantics/k-framework"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; diff --git a/package/version b/package/version index 28d0075..50140e3 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.32 +0.1.33 diff --git a/poetry.lock b/poetry.lock index a6dff1e..78515ab 100644 --- a/poetry.lock +++ b/poetry.lock @@ -514,13 +514,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.112.0" +version = "6.112.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.112.0-py3-none-any.whl", hash = "sha256:1e6adbd9534c0d691690b5006904327ea37c851d4e15262a22094aa77879e84d"}, - {file = "hypothesis-6.112.0.tar.gz", hash = "sha256:06ea8857e1e711a1a6f24154a3c8c4eab04b041993206aaa267f98b859fd6ef5"}, + {file = "hypothesis-6.112.1-py3-none-any.whl", hash = "sha256:93631b1498b20d2c205ed304cbd41d50e9c069d78a9c773c1324ca094c5e30ce"}, + {file = "hypothesis-6.112.1.tar.gz", hash = "sha256:b070d7a1bb9bd84706c31885c9aeddc138e2b36a9c112a91984f49501c567856"}, ] [package.dependencies] @@ -547,22 +547,26 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "8.4.0" +version = "8.5.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-8.4.0-py3-none-any.whl", hash = "sha256:66f342cc6ac9818fc6ff340576acd24d65ba0b3efabb2b4ac08b598965a4a2f1"}, - {file = "importlib_metadata-8.4.0.tar.gz", hash = "sha256:9a547d3bc3608b025f93d403fdd1aae741c24fbb8314df4b155675742ce303c5"}, + {file = "importlib_metadata-8.5.0-py3-none-any.whl", hash = "sha256:45e54197d28b7a7f1559e60b95e7c567032b602131fbd588f1497f47880aa68b"}, + {file = "importlib_metadata-8.5.0.tar.gz", hash = "sha256:71522656f0abace1d072b9e5481a48f07c138e00f079c38c8f883823f9c26bd7"}, ] [package.dependencies] -zipp = ">=0.5" +zipp = ">=3.20" [package.extras] +check = ["pytest-checkdocs (>=2.4)", "pytest-ruff (>=0.2.1)"] +cover = ["pytest-cov"] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] +enabler = ["pytest-enabler (>=2.2)"] perf = ["ipython"] -test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy", "pytest-perf (>=0.9.2)", "pytest-ruff (>=0.2.1)"] +test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-perf (>=0.9.2)"] +type = ["pytest-mypy"] [[package]] name = "iniconfig" @@ -672,13 +676,13 @@ files = [ [[package]] name = "mdit-py-plugins" -version = "0.4.1" +version = "0.4.2" description = "Collection of plugins for markdown-it-py" optional = false python-versions = ">=3.8" files = [ - {file = "mdit_py_plugins-0.4.1-py3-none-any.whl", hash = "sha256:1020dfe4e6bfc2c79fb49ae4e3f5b297f5ccd20f010187acc52af2921e27dc6a"}, - {file = "mdit_py_plugins-0.4.1.tar.gz", hash = "sha256:834b8ac23d1cd60cec703646ffd22ae97b7955a6d596eb1d304be1e251ae499c"}, + {file = "mdit_py_plugins-0.4.2-py3-none-any.whl", hash = "sha256:0c673c3f889399a33b95e88d2f0d111b4447bdfea7f237dab2d488f459835636"}, + {file = "mdit_py_plugins-0.4.2.tar.gz", hash = "sha256:5f2cd1fdb606ddf152d37ec30e46101a60512bc0e5fa1a7002c36647b09e26b5"}, ] [package.dependencies] @@ -977,7 +981,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.104" +version = "0.1.105" description = "" optional = false python-versions = "^3.10" @@ -993,8 +997,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.104" -resolved_reference = "296ae4a3fcb464bd76e01d0db8d95e2500d664f9" +reference = "v0.1.105" +resolved_reference = "fd23f082451d010971ec2127a0c0019bb75e8922" subdirectory = "pykwasm" [[package]] @@ -1009,24 +1013,24 @@ files = [ [[package]] name = "pyreadline3" -version = "3.4.1" +version = "3.4.3" description = "A python implementation of GNU readline." optional = false python-versions = "*" files = [ - {file = "pyreadline3-3.4.1-py3-none-any.whl", hash = "sha256:b0efb6516fd4fb07b45949053826a62fa4cb353db5be2bbb4a7aa1fdd1e345fb"}, - {file = "pyreadline3-3.4.1.tar.gz", hash = "sha256:6f3d1f7b8a31ba32b73917cefc1f28cc660562f39aea8646d30bd6eff21f7bae"}, + {file = "pyreadline3-3.4.3-py3-none-any.whl", hash = "sha256:f832c5898f4f9a0f81d48a8c499b39d0179de1a465ea3def1a7e7231840b4ed6"}, + {file = "pyreadline3-3.4.3.tar.gz", hash = "sha256:ebab0baca37f50e2faa1dd99a6da1c75de60e0d68a3b229c134bbd12786250e2"}, ] [[package]] name = "pytest" -version = "8.3.2" +version = "8.3.3" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.3.2-py3-none-any.whl", hash = "sha256:4ba08f9ae7dcf84ded419494d229b48d0903ea6407b030eaec46df5e6a73bba5"}, - {file = "pytest-8.3.2.tar.gz", hash = "sha256:c132345d12ce551242c87269de812483f5bcc87cdbb4722e48487ba194f9fdce"}, + {file = "pytest-8.3.3-py3-none-any.whl", hash = "sha256:a6853c7375b2663155079443d2e45de913a911a11d669df02a50814944db57b2"}, + {file = "pytest-8.3.3.tar.gz", hash = "sha256:70b98107bd648308a7952b06e6ca9a50bc660be218d53c257cc1fc94fda10181"}, ] [package.dependencies] @@ -1111,13 +1115,13 @@ tokenize-rt = ">=5.2.0" [[package]] name = "rich" -version = "13.8.0" +version = "13.8.1" description = "Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal" optional = false python-versions = ">=3.7.0" files = [ - {file = "rich-13.8.0-py3-none-any.whl", hash = "sha256:2e85306a063b9492dffc86278197a60cbece75bcb766022f3436f567cae11bdc"}, - {file = "rich-13.8.0.tar.gz", hash = "sha256:a5ac1f1cd448ade0d59cc3356f7db7a7ccda2c8cbae9c7a90c28ff463d3e91f4"}, + {file = "rich-13.8.1-py3-none-any.whl", hash = "sha256:1760a3c0848469b97b558fc61c85233e3dafb69c7a071b4d60c38099d3cd4c06"}, + {file = "rich-13.8.1.tar.gz", hash = "sha256:8260cda28e3db6bf04d2d1ef4dbc03ba80a824c88b0e7668a0f23126a424844a"}, ] [package.dependencies] @@ -1280,4 +1284,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "583b9cfdf9d01a18d6ddf4919bc0faad3dd20ee53a474553a463c91475b27f13" +content-hash = "7c61374d191ea17f9178f96781fc1c43ee5021499600b2ab63aca11d7fe6ddad" diff --git a/pyproject.toml b/pyproject.toml index fee36f2..dc2c133 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "komet" -version = "0.1.32" +version = "0.1.33" description = "K tooling for the Soroban platform" authors = [ "Runtime Verification, Inc. ", @@ -18,7 +18,7 @@ soroban-semantics = "komet.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.104", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.105", subdirectory = "pykwasm" } [tool.poetry.group.dev.dependencies] autoflake = "*"