diff --git a/deps/k_release b/deps/k_release index 466cdc88f..36c444d82 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.44 +7.1.49 diff --git a/flake.lock b/flake.lock index 36576eb9e..2fe545a39 100644 --- a/flake.lock +++ b/flake.lock @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1720086145, - "narHash": "sha256-tCHf9gbsFHZH9PM0r65CgmqHQsNfGJCuD7kib7KLELs=", + "lastModified": 1720612141, + "narHash": "sha256-7xIKn3oTiVT7ChAF/6vPXyihf343PFpr9J1kxGA0lHk=", "owner": "runtimeverification", "repo": "k", - "rev": "e6d4f896d7c51efd68f11c77141d457625472c43", + "rev": "5b0b531a39f1c0b0da22508bada826327b2f7bef", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.44", + "ref": "v7.1.49", "repo": "k", "type": "github" } @@ -320,17 +320,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1720086145, - "narHash": "sha256-tCHf9gbsFHZH9PM0r65CgmqHQsNfGJCuD7kib7KLELs=", + "lastModified": 1720612141, + "narHash": "sha256-7xIKn3oTiVT7ChAF/6vPXyihf343PFpr9J1kxGA0lHk=", "owner": "runtimeverification", "repo": "k", - "rev": "e6d4f896d7c51efd68f11c77141d457625472c43", + "rev": "5b0b531a39f1c0b0da22508bada826327b2f7bef", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.44", + "ref": "v7.1.49", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 17fdb6ff2..83c210234 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.44"; + k-framework.url = "github:runtimeverification/k/v7.1.49"; 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.44?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.49?dir=pyk"; poetry2nix.follows = "pyk/poetry2nix"; }; diff --git a/package/version b/package/version index 59057fc2c..b9dbcf613 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.78 +0.1.79 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 81b5f9e37..c85c5fa4b 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.2" +version = "6.105.1" 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.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.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.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.55)", "hypothesis-crosshair (>=0.0.4)"] +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] @@ -1085,13 +1085,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] @@ -1227,4 +1227,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "5734af9a50eed783985751597dde8aa20d4c3bb1936e40f6b7421a77f7b28e38" +content-hash = "2ca17fe97e3dc85c583e986b8216b5287198e1b5977b9e27f3fe9eb96bf815fa" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index e9e33a9a7..f30fc4b60 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.78" +version = "0.1.79" 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.44" +kframework = "7.1.49" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]