diff --git a/deps/k_release b/deps/k_release index f4791f968..d38368efb 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.30 +7.1.38 diff --git a/flake.lock b/flake.lock index 45afdae8c..9585ee36c 100644 --- a/flake.lock +++ b/flake.lock @@ -82,16 +82,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1719218678, - "narHash": "sha256-7FVcMNEGulpwvzwrlPwqgd+qhArW3mE6TA/e6oSF0m4=", + "lastModified": 1719489268, + "narHash": "sha256-J480ZO5k/WjMbwCIfrhy+Kg4p+r5qgbIbCunkn1DhnA=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a6f5646a160c277e6e252552eee86563309a9776", + "rev": "e82bc74a95ce6a78c6f8fec7cb255a36aa99e0c6", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.19", + "ref": "v0.1.25", "repo": "haskell-backend", "type": "github" } @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719331365, - "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", + "lastModified": 1719540040, + "narHash": "sha256-C0PHWixU6vzsV57MmUQALpPq15dEjst3KDiO/UDyl2k=", "owner": "runtimeverification", "repo": "k", - "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", + "rev": "c0fca4528a346b8486cb6789692f045cc2997681", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.30", + "ref": "v7.1.38", "repo": "k", "type": "github" } @@ -160,16 +160,16 @@ ] }, "locked": { - "lastModified": 1718910118, - "narHash": "sha256-E2utS5SGK3B7IjHRBlyKSB6TR/gLli14m+7d8AAmp0I=", + "lastModified": 1719488252, + "narHash": "sha256-f6ppPl1kYpFX8MY3Jji6ky6BDpY6QrvQJ4wy0PCjqp4=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "6671fe4b8de164ac2d141dcce869a06b628ed560", + "rev": "9dfc379039bfa3a257d92feac6323eb246a8e995", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.51", + "ref": "v0.1.52", "repo": "llvm-backend", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719331365, - "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", + "lastModified": 1719540040, + "narHash": "sha256-C0PHWixU6vzsV57MmUQALpPq15dEjst3KDiO/UDyl2k=", "owner": "runtimeverification", "repo": "k", - "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", + "rev": "c0fca4528a346b8486cb6789692f045cc2997681", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.30", + "ref": "v7.1.38", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index ffb1dfdf3..8288c3959 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.30"; + k-framework.url = "github:runtimeverification/k/v7.1.38"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.30?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.38?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; diff --git a/package/version b/package/version index 7c3ae4e02..8076b7dca 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.71 +0.1.72 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 2666fae6b..49f2af4af 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -494,13 +494,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.104.0" +version = "6.104.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.104.0-py3-none-any.whl", hash = "sha256:4aaa38b57625abae0d377b2460b80a5847504dcce22985e3381e4373079d45d0"}, - {file = "hypothesis-6.104.0.tar.gz", hash = "sha256:f3f376491380aab841d706c562034c0118616dca7ce23e07b1a744c99f38d26b"}, + {file = "hypothesis-6.104.1-py3-none-any.whl", hash = "sha256:a0a898fa78ecaefe76ad248901dc274e598f29198c6015b3053f7f7827670e0e"}, + {file = "hypothesis-6.104.1.tar.gz", hash = "sha256:4033898019a6149823d2feeb8d214921b4ac2d342a05d6b02e40a3ca4be07eea"}, ] [package.dependencies] @@ -527,13 +527,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "7.2.1" +version = "8.0.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-7.2.1-py3-none-any.whl", hash = "sha256:ffef94b0b66046dd8ea2d619b701fe978d9264d38f3998bc4c27ec3b146a87c8"}, - {file = "importlib_metadata-7.2.1.tar.gz", hash = "sha256:509ecb2ab77071db5137c655e24ceb3eee66e7bbc6574165d0d114d9fc4bbe68"}, + {file = "importlib_metadata-8.0.0-py3-none-any.whl", hash = "sha256:15584cf2b1bf449d98ff8a6ff1abef57bf20f3ac6454f431736cd3e660921b2f"}, + {file = "importlib_metadata-8.0.0.tar.gz", hash = "sha256:188bd24e4c346d3f0a933f275c2fec67050326a856b9a359881d7c2a697e8812"}, ] [package.dependencies] @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.30" +version = "7.1.38" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.30-py3-none-any.whl", hash = "sha256:7f8de5d3b797593145aa69d92d89ce169e46a1254bb0d48354f1faedaeb1dcdd"}, - {file = "kframework-7.1.30.tar.gz", hash = "sha256:d3a07d7dd8b8af7e3e336254035ec3e08f12002e94d927a5bde2cef2c2b3225a"}, + {file = "kframework-7.1.38-py3-none-any.whl", hash = "sha256:02392990d05ae5080cab5059c4f9a048b12ca9e6d960a4ecf90ae9e0fcc03366"}, + {file = "kframework-7.1.38.tar.gz", hash = "sha256:ce11064a15d1713f54a2b53d305f54cc2f1bedd21f26fc3581a89e4dda532d1b"}, ] [package.dependencies] @@ -905,17 +905,17 @@ resolved_reference = "e5fb6ed5b1aebf1c0d67087397b3c1240ff412da" [[package]] name = "pybind11" -version = "2.12.0" +version = "2.13.1" description = "Seamless operability between C++11 and Python" optional = false -python-versions = ">=3.6" +python-versions = ">=3.7" files = [ - {file = "pybind11-2.12.0-py3-none-any.whl", hash = "sha256:df8d60b94f9e714d81013db233393d430ebf9f3551642b82291cf1b14d1afdbd"}, - {file = "pybind11-2.12.0.tar.gz", hash = "sha256:5e3c557a84b06b969247630407fc4d985bed157b4253b13153b8e8e165e0c3dc"}, + {file = "pybind11-2.13.1-py3-none-any.whl", hash = "sha256:97881536abe0cd4260a9ccc5bf6d1cf3113318f08af1feb82d4b9f95e93f0aa4"}, + {file = "pybind11-2.13.1.tar.gz", hash = "sha256:65be498b1cac516161add1508e65375674916bebf2570d057dc9c3c7bcbbc7b0"}, ] [package.extras] -global = ["pybind11-global (==2.12.0)"] +global = ["pybind11-global (==2.13.1)"] [[package]] name = "pycodestyle" @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "179f114c65c725f22aa54cf2abbe0621be3c8c0d49de9c846679af3180169957" +content-hash = "6b675488d128ed113f25b698792c3e13e937473b7f2b02c6dfacf739b0acf363" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 372bce5d2..2c90b5d0f 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.71" +version = "0.1.72" 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.30" +kframework = "7.1.38" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]