From 1467b50af98fb11521201c28a9375bb7771d1c6b Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 18 Jul 2024 07:26:32 -0600 Subject: [PATCH] Update dependency: deps/kwasm_release (#307) * deps/kwasm_release: Set Version 0.1.86 * Set Version: 0.1.98 * kmultiversx/: sync poetry files 0.1.86 * deps/k_release: sync release file version 7.1.65 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kwasm_release | 2 +- flake.lock | 32 ++++++++++++++++---------------- flake.nix | 6 +++--- kmultiversx/poetry.lock | 16 ++++++++-------- kmultiversx/pyproject.toml | 4 ++-- package/version | 2 +- 7 files changed, 32 insertions(+), 32 deletions(-) diff --git a/deps/k_release b/deps/k_release index 4c895acd..9b5ac991 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.59 +7.1.65 diff --git a/deps/kwasm_release b/deps/kwasm_release index c0c68bab..93c6c476 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.85 +0.1.86 diff --git a/flake.lock b/flake.lock index aaa6a14e..f04e70e1 100644 --- a/flake.lock +++ b/flake.lock @@ -320,16 +320,16 @@ ] }, "locked": { - "lastModified": 1721005256, - "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", + "lastModified": 1721190883, + "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=", "owner": "runtimeverification", "repo": "k", - "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", + "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.59", + "ref": "v7.1.65", "repo": "k", "type": "github" } @@ -359,16 +359,16 @@ ] }, "locked": { - "lastModified": 1721005256, - "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", + "lastModified": 1721190883, + "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=", "owner": "runtimeverification", "repo": "k", - "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", + "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.59", + "ref": "v7.1.65", "repo": "k", "type": "github" } @@ -716,17 +716,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721005256, - "narHash": "sha256-E232/nvE39EmRINjFhgDvKiBwWXHr/Ks1krvBB8nE78=", + "lastModified": 1721190883, + "narHash": "sha256-N0aW3R9V/9D52DyNKBtkSbJ6GwoDF06rFKzQFHSJ8z0=", "owner": "runtimeverification", "repo": "k", - "rev": "3f0c6c7b2f65d2b3e0349aad12002dfcd6912fc3", + "rev": "c539eff0fcaa7ce1520121e5af610abcbaca83ab", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.59", + "ref": "v7.1.65", "repo": "k", "type": "github" } @@ -1137,16 +1137,16 @@ ] }, "locked": { - "lastModified": 1721035560, - "narHash": "sha256-5Ul3LRRAxFFQJnmaWxR5KWQd1FjGiMrGIB1321a0wPU=", + "lastModified": 1721223754, + "narHash": "sha256-40GPQBt+jzwjC/dHquDjek3b4tqEQA13mpXMXXqcaHg=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "ad238ca2f73ea866b54b31308326ac2a56e64159", + "rev": "1b0adc068c3038adce4c5b5a3863a4476d251ec1", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.85", + "ref": "v0.1.86", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 449966cb..8d3272da 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.85"; - k-framework.url = "github:runtimeverification/k/v7.1.59"; - pyk.url = "github:runtimeverification/k/v7.1.59?dir=pyk"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.86"; + k-framework.url = "github:runtimeverification/k/v7.1.65"; + pyk.url = "github:runtimeverification/k/v7.1.65?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 9584a5d1..0c8f91fc 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.59" +version = "7.1.65" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.59-py3-none-any.whl", hash = "sha256:341101f04c5809126c4fadc5334ab725fdfedcb39dc3026d0c8edf698a749136"}, - {file = "kframework-7.1.59.tar.gz", hash = "sha256:80f5697be50ffc916db54fa25a0452c117bf32208da1918695bb4f734d2c7bcb"}, + {file = "kframework-7.1.65-py3-none-any.whl", hash = "sha256:8d067b5f31aeec589a45c3c3af2658cbf13d9912a52b14a4db2d995e1249e70f"}, + {file = "kframework-7.1.65.tar.gz", hash = "sha256:8a903c80e2ff3d381592987ff66e504768ac83f8b24b2f53a48d3f5ff3779729"}, ] [package.dependencies] @@ -996,7 +996,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.85" +version = "0.1.86" description = "" optional = false python-versions = "^3.10" @@ -1005,15 +1005,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.59" +kframework = "7.1.65" 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.85" -resolved_reference = "ad238ca2f73ea866b54b31308326ac2a56e64159" +reference = "v0.1.86" +resolved_reference = "1b0adc068c3038adce4c5b5a3863a4476d251ec1" subdirectory = "pykwasm" [[package]] @@ -1290,4 +1290,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "c0334b0a2b00377dddf31024ed3982e1f632cecc8c9e142a627112446ca1cb9f" +content-hash = "b6c2afe59c0b2872787b08e2f0de9f8f144806f1da3137a27d0c813f55e366df" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index d7de7da2..3dee5266 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.97" +version = "0.1.98" 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.85", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.86", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" exceptiongroup = "==1.2.1" diff --git a/package/version b/package/version index 7cd2918a..5d5322df 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.97 +0.1.98