diff --git a/deps/k_release b/deps/k_release index 05677817f..38bd41890 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.88 +7.0.91 diff --git a/flake.lock b/flake.lock index d053680c6..713f05512 100644 --- a/flake.lock +++ b/flake.lock @@ -82,17 +82,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1716384169, - "narHash": "sha256-38gjUPxqG3unkeReIP3zQZ8OTVbjNtzLqagaV2ShjKo=", + "lastModified": 1716472952, + "narHash": "sha256-po4boMu90ofZW7sEpjltscPAIqMKok8teKjic/nd7Wk=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "e62fba2f0f774cd1ee68a41df3d648d7fe2e72e6", + "rev": "6e195d1cdd2e3f56389521a23d28125edc607c6e", "type": "github" } }, @@ -126,16 +126,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1716471750, - "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", + "lastModified": 1716548560, + "narHash": "sha256-hfWWqs4RMFeoNgvV8lAZSAF9lQ0HduLNbPqoXKBdVcc=", "owner": "runtimeverification", "repo": "k", - "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", + "rev": "8c7d1e1e7332f39a8a7acdb92b9d9658e2bd31c4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.88", + "ref": "v7.0.91", "repo": "k", "type": "github" } @@ -160,16 +160,16 @@ ] }, "locked": { - "lastModified": 1716400974, - "narHash": "sha256-BwZAoBwz8v/43gHT1ILHVJVX88yGLZREt8VRhs0BRtg=", + "lastModified": 1716543761, + "narHash": "sha256-YQIrz7KjDiwLtHMzRYxzt1+rcCUdeGDmBQl+zWOq5us=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "0f10a29b03061cff9389051da487d485afc67679", + "rev": "0b0bdaeaf5acfed9034c40bec68b285dc5fac4dc", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.26", + "ref": "v0.1.31", "repo": "llvm-backend", "type": "github" } @@ -198,33 +198,33 @@ }, "nixpkgs": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, "nixpkgs_2": { "locked": { - "lastModified": 1707163378, - "narHash": "sha256-oz+BzUDwtyircjjxv9aPYOS5gobxLCjD2il+gb/bCRo=", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "e2ffefe304d941bb98989847944f3b58e0adcdd5", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -314,17 +314,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1716471750, - "narHash": "sha256-hICyh0/tYJf5mdd6macXJ4uriRakCogdIMNNqUgyu3A=", + "lastModified": 1716548560, + "narHash": "sha256-hfWWqs4RMFeoNgvV8lAZSAF9lQ0HduLNbPqoXKBdVcc=", "owner": "runtimeverification", "repo": "k", - "rev": "f96245d1fe97055ce76ce55bac50a8841e2655e6", + "rev": "8c7d1e1e7332f39a8a7acdb92b9d9658e2bd31c4", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.88", + "ref": "v7.0.91", "repo": "k", "type": "github" } @@ -377,11 +377,11 @@ "nixpkgs": "nixpkgs" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { @@ -395,11 +395,11 @@ "nixpkgs": "nixpkgs_2" }, "locked": { - "lastModified": 1707492220, - "narHash": "sha256-KRndaUPzUumDlNcKF7KzA8F/EZKLYCvurh7Z13sw2PI=", + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", "owner": "runtimeverification", "repo": "rv-nix-tools", - "rev": "abf86805a623948c941e603e2fc4c26a06ea6eb6", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 0d4c4716e..382a8a885 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.0.88"; + k-framework.url = "github:runtimeverification/k/v7.0.91"; 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.0.88?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.0.91?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; diff --git a/package/version b/package/version index 7b300677b..8893a8e14 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.54 +0.1.55 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 397e8709f..596619052 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -898,7 +898,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.88" +version = "7.0.91" description = "" optional = false python-versions = "^3.10" @@ -919,8 +919,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.88" -resolved_reference = "f96245d1fe97055ce76ce55bac50a8841e2655e6" +reference = "v7.0.91" +resolved_reference = "8c7d1e1e7332f39a8a7acdb92b9d9658e2bd31c4" subdirectory = "pyk" [[package]] @@ -1123,13 +1123,13 @@ files = [ [[package]] name = "typing-extensions" -version = "4.11.0" +version = "4.12.0" description = "Backported and Experimental Type Hints for Python 3.8+" optional = false python-versions = ">=3.8" files = [ - {file = "typing_extensions-4.11.0-py3-none-any.whl", hash = "sha256:c1f94d72897edaf4ce775bb7558d5b79d8126906a14ea5ed1635921406c0387a"}, - {file = "typing_extensions-4.11.0.tar.gz", hash = "sha256:83f085bd5ca59c80295fc2a82ab5dac679cbe02b9f33f7d83af68e241bea51b0"}, + {file = "typing_extensions-4.12.0-py3-none-any.whl", hash = "sha256:b349c66bea9016ac22978d800cfff206d5f9816951f12a7d0ec5578b0a819594"}, + {file = "typing_extensions-4.12.0.tar.gz", hash = "sha256:8cbcdc8606ebcb0d95453ad7dc5065e6237b6aa230a31e81d0f440c30fed5fd8"}, ] [[package]] @@ -1186,4 +1186,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f208dbef8fcf6b5a8faadf30deff15a6b5cff8ba7f7ed5085dfbc2447209adcc" +content-hash = "a1cf8a32b78e96c64dbf40d6bfbd35fc1fe4168ca5984dee2afabef430568146" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index ee8afb414..ddae3fe59 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.54" +version = "0.1.55" 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" -pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.88", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.91", subdirectory = "pyk" } py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]