From be77871e85535dd2fa2bc53b82b1ebf9f9412ef6 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 26 Jul 2024 15:02:08 -0600 Subject: [PATCH] Update dependency: deps/kwasm_release (#315) * deps/kwasm_release: Set Version 0.1.95 * Set Version: 0.1.104 * kmultiversx/: sync poetry files 0.1.95 * deps/k_release: sync release file version 7.1.85 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.105 --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kwasm_release | 2 +- flake.lock | 48 +++++++++++++++++++------------------- flake.nix | 6 ++--- kmultiversx/poetry.lock | 16 ++++++------- kmultiversx/pyproject.toml | 4 ++-- package/version | 2 +- 7 files changed, 40 insertions(+), 40 deletions(-) diff --git a/deps/k_release b/deps/k_release index a6190e48..33d69618 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.83 +7.1.85 diff --git a/deps/kwasm_release b/deps/kwasm_release index e9822155..9c178d3b 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.94 +0.1.95 diff --git a/flake.lock b/flake.lock index c221c679..22e574b1 100644 --- a/flake.lock +++ b/flake.lock @@ -312,16 +312,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1721890597, - "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", + "lastModified": 1721894065, + "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", + "rev": "2792e92b66d762c955a5f65e813521d508ab43b2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.48", + "ref": "v0.1.49", "repo": "haskell-backend", "type": "github" } @@ -344,16 +344,16 @@ "z3": "z3_3" }, "locked": { - "lastModified": 1721890597, - "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", + "lastModified": 1721894065, + "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", + "rev": "2792e92b66d762c955a5f65e813521d508ab43b2", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.48", + "ref": "v0.1.49", "repo": "haskell-backend", "type": "github" } @@ -470,16 +470,16 @@ ] }, "locked": { - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -509,16 +509,16 @@ ] }, "locked": { - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -982,17 +982,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721994129, - "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", + "lastModified": 1722008542, + "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=", "owner": "runtimeverification", "repo": "k", - "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", + "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.83", + "ref": "v7.1.85", "repo": "k", "type": "github" } @@ -1538,16 +1538,16 @@ ] }, "locked": { - "lastModified": 1722003932, - "narHash": "sha256-NmAEThTFqPHV4H2O00ze2ii2I8gAGU3JQK9x6qSK8HY=", + "lastModified": 1722014702, + "narHash": "sha256-oa088+qcmMPry4hfzamJEGktzkn/Rv3YWyBTFMn7GTI=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "2344e9c97d259acf810c64497c0e7367bcc058b4", + "rev": "c8e8bc61eabc3707857af1e022bae21a8f6195ca", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.94", + "ref": "v0.1.95", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index fb27a1db..274f86ba 100644 --- a/flake.nix +++ b/flake.nix @@ -2,9 +2,9 @@ description = "K Semantics of MultiversX"; inputs = { - wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.94"; - k-framework.url = "github:runtimeverification/k/v7.1.83"; - pyk.url = "github:runtimeverification/k/v7.1.83?dir=pyk"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.95"; + k-framework.url = "github:runtimeverification/k/v7.1.85"; + pyk.url = "github:runtimeverification/k/v7.1.85?dir=pyk"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 02c61847..dd645a10 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.83" +version = "7.1.85" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"}, - {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"}, + {file = "kframework-7.1.85-py3-none-any.whl", hash = "sha256:4c4d7483cc6874337369ffca071df6ed3b46ee05e550ea057f0be8153e7fb76c"}, + {file = "kframework-7.1.85.tar.gz", hash = "sha256:2d7c2e14a7bd561091326e41605f6056eb4da5da00f7b1348272890864971904"}, ] [package.dependencies] @@ -996,7 +996,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.94" +version = "0.1.95" description = "" optional = false python-versions = "^3.10" @@ -1005,15 +1005,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.83" +kframework = "7.1.85" numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.94" -resolved_reference = "2344e9c97d259acf810c64497c0e7367bcc058b4" +reference = "v0.1.95" +resolved_reference = "c8e8bc61eabc3707857af1e022bae21a8f6195ca" subdirectory = "pykwasm" [[package]] @@ -1291,4 +1291,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "fc136106d85a5d9bf3076ab241e96094d93d98b4085608e6a1ff7deff9897d0b" +content-hash = "952f2fbe2acb41be847c5dc632dea9d1cb719c392e20eb51528c9b1c02594f7c" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 9912a3f5..47238412 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmultiversx" -version = "0.1.104" +version = "0.1.105" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", @@ -20,7 +20,7 @@ mx-semantics = "kmultiversx.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.94", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.95", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" exceptiongroup = "==1.2.1" diff --git a/package/version b/package/version index 7c6c565c..23175873 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.104 +0.1.105