From fa244551ef4e1b8ab5e34e8f824c6364f497a3fa Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Sun, 28 Jul 2024 21:01:47 -0600 Subject: [PATCH] Update dependency: deps/mx-semantics_release (#178) * deps/mx-semantics_release: Set Version 0.1.106 * Set Version: 0.1.79 * kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/mx-semantics_release | 2 +- flake.lock | 14 +++++++------- flake.nix | 2 +- kmxwasm/poetry.lock | 14 +++++++------- kmxwasm/pyproject.toml | 4 ++-- package/version | 2 +- 6 files changed, 19 insertions(+), 19 deletions(-) diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index 23175873..9e3db2aa 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.105 +0.1.106 diff --git a/flake.lock b/flake.lock index a18cca20..1bd314d6 100644 --- a/flake.lock +++ b/flake.lock @@ -1043,16 +1043,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1722027728, - "narHash": "sha256-hhjsiCFEIgti0R0dSwhThr9XMT14sk8Jwuda4QUlKNw=", + "lastModified": 1722217246, + "narHash": "sha256-XZBDFZguHEAmI0PhBzcj7052q6Obfau2CJ49v1qxA5c=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "be77871e85535dd2fa2bc53b82b1ebf9f9412ef6", + "rev": "a973a08e5ff85c5bfc5c8343212f3b438e41490b", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.105", + "ref": "v0.1.106", "repo": "mx-semantics", "type": "github" } @@ -1812,11 +1812,11 @@ ] }, "locked": { - "lastModified": 1721960387, - "narHash": "sha256-o21ax+745ETGXrcgc/yUuLw1SI77ymp3xEpJt+w/kks=", + "lastModified": 1722133294, + "narHash": "sha256-XKSVN+lmjVEFPjMa5Ui0VTay2Uvqa74h0MQT0HU1pqw=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "9cbf831c5b20a53354fc12758abd05966f9f1699", + "rev": "9803f6e04ca37a2c072783e8297d2080f8d0e739", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index 47dd2aff..06b17146 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ pyk.url = "github:runtimeverification/k/v7.1.85?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.105"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.106"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; diff --git a/kmxwasm/poetry.lock b/kmxwasm/poetry.lock index ce3387f7..ec5f6a9d 100644 --- a/kmxwasm/poetry.lock +++ b/kmxwasm/poetry.lock @@ -468,13 +468,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.108.4" +version = "6.108.5" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.108.4-py3-none-any.whl", hash = "sha256:901b1883b51207c4c3ecbae506bc8b65d66569f9bc34e023df7d8a821eb495c1"}, - {file = "hypothesis-6.108.4.tar.gz", hash = "sha256:bab99a308ea39be53882f1d89ab77db48e0c03b5c37fbedd2f59f9b656ada301"}, + {file = "hypothesis-6.108.5-py3-none-any.whl", hash = "sha256:46fd0f0d022e812940e19ef24ed0b090cc17cf505e0998960aca20c5091425f5"}, + {file = "hypothesis-6.108.5.tar.gz", hash = "sha256:a009d777542d64691a3d27c87e4b94b2256c0bfb47791100d9e45499c304e1b9"}, ] [package.dependencies] @@ -569,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.105" +version = "0.1.106" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -585,8 +585,8 @@ pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", ta [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.105" -resolved_reference = "be77871e85535dd2fa2bc53b82b1ebf9f9412ef6" +reference = "v0.1.106" +resolved_reference = "a973a08e5ff85c5bfc5c8343212f3b438e41490b" subdirectory = "kmultiversx" [[package]] @@ -1262,4 +1262,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "6605c3adad9c958b32312cd57f379ad9c6bca58bfadbf64e72224715e5c44d0c" +content-hash = "432b6f489c434e2c00c6fbc8244e952c0990a7ac122c37045fd4e61213823e4c" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index c58b42b3..654aa483 100644 --- a/kmxwasm/pyproject.toml +++ b/kmxwasm/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmxwasm" -version = "0.1.78" +version = "0.1.79" description = "Symbolic execution for the MultiversX blockchain with the Wasm semantics, using pyk." authors = [ "Runtime Verification, Inc. ", @@ -22,7 +22,7 @@ pytest-kmxwasm = "kmxwasm.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.105", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.106", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" diff --git a/package/version b/package/version index 59057fc2..b9dbcf61 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.78 +0.1.79