diff --git a/deps/k_release b/deps/k_release index c6212e6d8..a6190e483 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.81 +7.1.83 diff --git a/flake.lock b/flake.lock index f6b86442b..88a28cd0b 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1721975341, - "narHash": "sha256-qCuz6dWVeTF0kG2dHF5qTzTtyuoRiZTIcVrVejfgTik=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "790ec864fae210612ad438ec435349d248545bff", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.81", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -151,16 +151,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721760167, - "narHash": "sha256-WLW4i4vsdAMVjUZBXH2y0tsIlpKV8hH/ejk7HQq5anI=", + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "9b505eafb2b47848f3b7ca16dc88f011651f5e2c", + "rev": "79011fff66455dd451d39821534bd58f5468227b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.62", + "ref": "v0.1.64", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index bc1379e7c..b3ec945e9 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.81"; + k-framework.url = "github:runtimeverification/k/v7.1.83"; 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 7977b63f7..e98221550 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.93 +0.1.94 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 0d9fb68c2..cc0f65bbc 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.81" +version = "7.1.83" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.81-py3-none-any.whl", hash = "sha256:b10796b7071f54720d71356d04eb51b5a430365965e987f568fa79bcfe921fb2"}, - {file = "kframework-7.1.81.tar.gz", hash = "sha256:5ac043a1b20eefd0439f688d447c989a7eb63d9409e2c052208b58cba5b5f7fa"}, + {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"}, + {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"}, ] [package.dependencies] @@ -1228,4 +1228,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "ffaafa0e5232b3e3d51efd3b6d599eb47bcefcc4d22563ad5469379d799d1086" +content-hash = "cecddbd270036d930b71766401c7e4eed8c2f479859e5c561a03e7a9a24bbf79" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 92ad1271b..d85cc7643 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.93" +version = "0.1.94" 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.81" +kframework = "7.1.83" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]