diff --git a/deps/k_release b/deps/k_release index 96f9e6a44..d40142978 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.186 +7.1.191 diff --git a/flake.lock b/flake.lock index ea40886fb..76846844b 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1733859752, - "narHash": "sha256-wRfMUdf8hQWLEbtwTihnGvlUssU55NVm30LOrAXS7jU=", + "lastModified": 1734443427, + "narHash": "sha256-IVE4m5PzItHrzJrEh5JOaP3WEzkXCmCj4FzclvkkTi0=", "owner": "runtimeverification", "repo": "k", - "rev": "c8d0bee9b64f0e83a4db805575699bae040abbf1", + "rev": "06a03e825b9ca8ef030e4b9014c2a0767cccdf5a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.186", + "ref": "v7.1.191", "repo": "k", "type": "github" } @@ -151,16 +151,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1733763903, - "narHash": "sha256-wvkNjv30PWyswJA2+1XnNSydCX+jXAiaaGovz2z/5Lw=", + "lastModified": 1730229432, + "narHash": "sha256-2Y4U7TCmSf9NAZCBmvXiHLOXrHxpiRgIpw5ERYDdNSM=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b16e56c905b7dc4db70ac7c0ec00abc18831500d", + "rev": "d5eab4b0f0e610bc60843ebb482f79c043b92702", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.113", + "ref": "v0.1.103", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 7cdbcae90..1eb6fc60a 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.186"; + k-framework.url = "github:runtimeverification/k/v7.1.191"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; diff --git a/package/version b/package/version index 8b0606885..1fcba8fa1 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.117 +0.1.118 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 48fff4bea..923e634c6 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -2,19 +2,19 @@ [[package]] name = "attrs" -version = "24.2.0" +version = "24.3.0" description = "Classes Without Boilerplate" optional = false -python-versions = ">=3.7" +python-versions = ">=3.8" files = [ - {file = "attrs-24.2.0-py3-none-any.whl", hash = "sha256:81921eb96de3191c8258c199618104dd27ac608d9366f5e35d011eae1867ede2"}, - {file = "attrs-24.2.0.tar.gz", hash = "sha256:5cfb1b9148b5b086569baec03f20d7b6bf3bcacc9a42bebf87ffaaca362f6346"}, + {file = "attrs-24.3.0-py3-none-any.whl", hash = "sha256:ac96cd038792094f438ad1f6ff80837353805ac950cd2aa0e0625ef19850c308"}, + {file = "attrs-24.3.0.tar.gz", hash = "sha256:8f5c07333d543103541ba7be0e2ce16eeee8130cb0b3f9238ab904ce1e85baff"}, ] [package.extras] benchmark = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pympler", "pytest (>=4.3.0)", "pytest-codspeed", "pytest-mypy-plugins", "pytest-xdist[psutil]"] cov = ["cloudpickle", "coverage[toml] (>=5.3)", "hypothesis", "mypy (>=1.11.1)", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] -dev = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pre-commit", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] +dev = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pre-commit-uv", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] docs = ["cogapp", "furo", "myst-parser", "sphinx", "sphinx-notfound-page", "sphinxcontrib-towncrier", "towncrier (<24.7)"] tests = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] tests-mypy = ["mypy (>=1.11.1)", "pytest-mypy-plugins"] @@ -415,13 +415,13 @@ pyflakes = ">=3.2.0,<3.3.0" [[package]] name = "flake8-bugbear" -version = "24.10.31" +version = "24.12.12" description = "A plugin for flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle." optional = false python-versions = ">=3.8.1" files = [ - {file = "flake8_bugbear-24.10.31-py3-none-any.whl", hash = "sha256:cccf786ccf9b2e1052b1ecfa80fb8f80832d0880425bcbd4cd45d3c8128c2683"}, - {file = "flake8_bugbear-24.10.31.tar.gz", hash = "sha256:435b531c72b27f8eff8d990419697956b9fd25c6463c5ba98b3991591de439db"}, + {file = "flake8_bugbear-24.12.12-py3-none-any.whl", hash = "sha256:1b6967436f65ca22a42e5373aaa6f2d87966ade9aa38d4baf2a1be550767545e"}, + {file = "flake8_bugbear-24.12.12.tar.gz", hash = "sha256:46273cef0a6b6ff48ca2d69e472f41420a42a46e24b2a8972e4f0d6733d12a64"}, ] [package.dependencies] @@ -626,13 +626,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.186" +version = "7.1.191" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.186-py3-none-any.whl", hash = "sha256:de89b8c98c23d7b8d9f13f16729e266a160ba139a82cf3c57811c9befebc3617"}, - {file = "kframework-7.1.186.tar.gz", hash = "sha256:121320cf841c2a767bdffd9cadba49876f429e69cef886f825c792ef3721035b"}, + {file = "kframework-7.1.191-py3-none-any.whl", hash = "sha256:b12d60a8a178fabdd6b12caa0041f4af64655a199f08e569c50170d5e8a74cde"}, + {file = "kframework-7.1.191.tar.gz", hash = "sha256:f2bc40c5ab5ba81140f61e34bdc8b93c4296d456b9a59dfd478a220232926b8e"}, ] [package.dependencies] @@ -1119,13 +1119,13 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.19.0" +version = "3.19.1" description = "A tool to automatically upgrade syntax for newer versions." optional = false python-versions = ">=3.9" files = [ - {file = "pyupgrade-3.19.0-py2.py3-none-any.whl", hash = "sha256:1364fcae4436a6a236a85960587390ec8a939ad0f65f429346f70a5f201c1489"}, - {file = "pyupgrade-3.19.0.tar.gz", hash = "sha256:7ed4b7d972ed2788c43994f4a24f949d5bf044342992f3b48e1bed0092ddaa01"}, + {file = "pyupgrade-3.19.1-py2.py3-none-any.whl", hash = "sha256:8c5b0bfacae5ff30fa136a53eb7f22c34ba007450d4099e9da8089dabb9e67c9"}, + {file = "pyupgrade-3.19.1.tar.gz", hash = "sha256:d10e8c5f54b8327211828769e98d95d95e4715de632a3414f1eef3f51357b9e2"}, ] [package.dependencies] @@ -1333,4 +1333,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "dc6b89eb81dfe03539dc8612af20075ebd1143b4d4a71acf5652bec2763411a0" +content-hash = "a63e155c94be1b4ed3fbbd4ebff4ce9d0a5562d63abeb76c485c6bb95ee837d4" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 11fe2bfa9..9756040c9 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pykwasm" -version = "0.1.117" +version = "0.1.118" description = "" authors = [ "Runtime Verification, Inc. ", @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin" python = "^3.10" cytoolz = "^0.12.1" numpy = "^1.24.2" -kframework = "7.1.186" +kframework = "7.1.191" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]