From a7371e5d242436ac7b6dacc49968abaa48325bcf Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 26 Jul 2024 09:02:19 -0600 Subject: [PATCH] Update dependency: deps/kwasm_release (#310) * deps/kwasm_release: Set Version 0.1.91 * Set Version: 0.1.101 * kmultiversx/: sync poetry files 0.1.91 * deps/k_release: sync release file version 7.1.76 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.92 * Set Version: 0.1.102 * kmultiversx/: sync poetry files 0.1.92 * deps/k_release: sync release file version 7.1.80 * flake.{nix,lock}: update Nix derivations * deps/kwasm_release: Set Version 0.1.93 * kmultiversx/: sync poetry files 0.1.93 * deps/k_release: sync release file version 7.1.81 * flake.{nix,lock}: update Nix derivations * Set Version: 0.1.103 * deps/kwasm_release: Set Version 0.1.94 * kmultiversx/: sync poetry files 0.1.94 * deps/k_release: sync release file version 7.1.83 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kwasm_release | 2 +- flake.lock | 64 +++++++++++++++++++------------------- flake.nix | 6 ++-- kmultiversx/poetry.lock | 22 ++++++------- kmultiversx/pyproject.toml | 4 +-- package/version | 2 +- 7 files changed, 51 insertions(+), 51 deletions(-) diff --git a/deps/k_release b/deps/k_release index 058f28c2..a6190e48 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.72 +7.1.83 diff --git a/deps/kwasm_release b/deps/kwasm_release index 591c92d2..e9822155 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.90 +0.1.94 diff --git a/flake.lock b/flake.lock index 66801dfb..a0422763 100644 --- a/flake.lock +++ b/flake.lock @@ -218,16 +218,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1721316629, - "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", + "lastModified": 1721890597, + "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", + "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.46", + "ref": "v0.1.48", "repo": "haskell-backend", "type": "github" } @@ -250,16 +250,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1721316629, - "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", + "lastModified": 1721890597, + "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", + "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.46", + "ref": "v0.1.48", "repo": "haskell-backend", "type": "github" } @@ -320,16 +320,16 @@ ] }, "locked": { - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -359,16 +359,16 @@ ] }, "locked": { - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -407,16 +407,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721505758, - "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", + "rev": "79011fff66455dd451d39821534bd58f5468227b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.60", + "ref": "v0.1.64", "repo": "llvm-backend", "type": "github" } @@ -439,16 +439,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1721505758, - "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", + "lastModified": 1721983376, + "narHash": "sha256-pP56X9zoqV+x6QdjIHWH7gcXcwhz+Q08yD8RwBqiIRQ=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", + "rev": "79011fff66455dd451d39821534bd58f5468227b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.60", + "ref": "v0.1.64", "repo": "llvm-backend", "type": "github" } @@ -716,17 +716,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721644933, - "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", + "lastModified": 1721994129, + "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=", "owner": "runtimeverification", "repo": "k", - "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", + "rev": "698b7841eed570f20ece3de01a2cb1c47933df16", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.72", + "ref": "v7.1.83", "repo": "k", "type": "github" } @@ -1137,16 +1137,16 @@ ] }, "locked": { - "lastModified": 1721679966, - "narHash": "sha256-7edxmlZgr2BORHeRKRe9NVIbq4yhFc6SDV5qGY0ClU8=", + "lastModified": 1722003932, + "narHash": "sha256-NmAEThTFqPHV4H2O00ze2ii2I8gAGU3JQK9x6qSK8HY=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783", + "rev": "2344e9c97d259acf810c64497c0e7367bcc058b4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.90", + "ref": "v0.1.94", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 62bcead8..bf4cbcb3 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.90"; - k-framework.url = "github:runtimeverification/k/v7.1.72"; - pyk.url = "github:runtimeverification/k/v7.1.72?dir=pyk"; + 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"; 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 0c029338..02c61847 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.72" +version = "7.1.83" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.72-py3-none-any.whl", hash = "sha256:4c3e6e4a8e2fe12307ac487bf141196fdc53c787b0aefe0218e8952b12521bed"}, - {file = "kframework-7.1.72.tar.gz", hash = "sha256:64cd3aa6042e729e7720d82c65a4c26a057608736a362858005850af12498949"}, + {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"}, + {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"}, ] [package.dependencies] @@ -996,7 +996,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.90" +version = "0.1.94" description = "" optional = false python-versions = "^3.10" @@ -1005,15 +1005,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.72" +kframework = "7.1.83" 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.90" -resolved_reference = "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783" +reference = "v0.1.94" +resolved_reference = "2344e9c97d259acf810c64497c0e7367bcc058b4" subdirectory = "pykwasm" [[package]] @@ -1039,13 +1039,13 @@ files = [ [[package]] name = "pytest" -version = "8.3.1" +version = "8.3.2" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.3.1-py3-none-any.whl", hash = "sha256:e9600ccf4f563976e2c99fa02c7624ab938296551f280835ee6516df8bc4ae8c"}, - {file = "pytest-8.3.1.tar.gz", hash = "sha256:7e8e5c5abd6e93cb1cc151f23e57adc31fcf8cfd2a3ff2da63e23f732de35db6"}, + {file = "pytest-8.3.2-py3-none-any.whl", hash = "sha256:4ba08f9ae7dcf84ded419494d229b48d0903ea6407b030eaec46df5e6a73bba5"}, + {file = "pytest-8.3.2.tar.gz", hash = "sha256:c132345d12ce551242c87269de812483f5bcc87cdbb4722e48487ba194f9fdce"}, ] [package.dependencies] @@ -1291,4 +1291,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "daac7f024e7c256266bfb56cbcd71529d676244f96200db467350bbafab44308" +content-hash = "fc136106d85a5d9bf3076ab241e96094d93d98b4085608e6a1ff7deff9897d0b" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 2114b598..0f676033 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.102" +version = "0.1.103" 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.90", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.94", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" exceptiongroup = "==1.2.1" diff --git a/package/version b/package/version index 91c96fdf..5950146b 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.102 +0.1.103