From 0982247ffcce5100d46c7eafdcfba19ca49038e1 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 28 Jun 2024 12:27:50 -0600 Subject: [PATCH] Update dependency: deps/mx-semantics_release (#165) * deps/mx-semantics_release: Set Version 0.1.88 * Set Version: 0.1.71 * kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 7.1.30 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/mx-semantics_release | 2 +- flake.lock | 118 +++++++++++++++++++------------------- flake.nix | 6 +- kmxwasm/poetry.lock | 109 ++++++++++++++++++----------------- kmxwasm/pyproject.toml | 4 +- package/version | 2 +- 7 files changed, 122 insertions(+), 121 deletions(-) diff --git a/deps/k_release b/deps/k_release index a8c48e2d..f4791f96 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.21 +7.1.30 diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index ef2f8c81..6667b8e5 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.87 +0.1.88 diff --git a/flake.lock b/flake.lock index 6f1830e2..b3e15d38 100644 --- a/flake.lock +++ b/flake.lock @@ -395,16 +395,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1718711620, - "narHash": "sha256-HipdmxMVwN0c7DXyc5VZgMFyZV+RC9+weGVroqByGeo=", + "lastModified": 1719218678, + "narHash": "sha256-7FVcMNEGulpwvzwrlPwqgd+qhArW3mE6TA/e6oSF0m4=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8102c7dd2ad5b69cc1c8daa87e6bc7227d9dbed5", + "rev": "a6f5646a160c277e6e252552eee86563309a9776", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.14", + "ref": "v0.1.19", "repo": "haskell-backend", "type": "github" } @@ -423,16 +423,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1718711620, - "narHash": "sha256-HipdmxMVwN0c7DXyc5VZgMFyZV+RC9+weGVroqByGeo=", + "lastModified": 1719218678, + "narHash": "sha256-7FVcMNEGulpwvzwrlPwqgd+qhArW3mE6TA/e6oSF0m4=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8102c7dd2ad5b69cc1c8daa87e6bc7227d9dbed5", + "rev": "a6f5646a160c277e6e252552eee86563309a9776", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.14", + "ref": "v0.1.19", "repo": "haskell-backend", "type": "github" } @@ -452,16 +452,16 @@ "z3": "z3_3" }, "locked": { - "lastModified": 1718711620, - "narHash": "sha256-HipdmxMVwN0c7DXyc5VZgMFyZV+RC9+weGVroqByGeo=", + "lastModified": 1719218678, + "narHash": "sha256-7FVcMNEGulpwvzwrlPwqgd+qhArW3mE6TA/e6oSF0m4=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8102c7dd2ad5b69cc1c8daa87e6bc7227d9dbed5", + "rev": "a6f5646a160c277e6e252552eee86563309a9776", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.14", + "ref": "v0.1.19", "repo": "haskell-backend", "type": "github" } @@ -530,16 +530,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1719007326, - "narHash": "sha256-lxPSiio6ZqT9jlSkb9Tjzzd5VCgQXSUz1/Rbs+vODWA=", + "lastModified": 1719331365, + "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", "owner": "runtimeverification", "repo": "k", - "rev": "f6e4789c8d5cc6bcb348651440276cfa794df586", + "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.21", + "ref": "v7.1.30", "repo": "k", "type": "github" } @@ -558,16 +558,16 @@ "rv-utils": "rv-utils_7" }, "locked": { - "lastModified": 1719007326, - "narHash": "sha256-lxPSiio6ZqT9jlSkb9Tjzzd5VCgQXSUz1/Rbs+vODWA=", + "lastModified": 1719331365, + "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", "owner": "runtimeverification", "repo": "k", - "rev": "f6e4789c8d5cc6bcb348651440276cfa794df586", + "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.21", + "ref": "v7.1.30", "repo": "k", "type": "github" } @@ -587,16 +587,16 @@ "rv-utils": "rv-utils_12" }, "locked": { - "lastModified": 1719007326, - "narHash": "sha256-lxPSiio6ZqT9jlSkb9Tjzzd5VCgQXSUz1/Rbs+vODWA=", + "lastModified": 1719331365, + "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", "owner": "runtimeverification", "repo": "k", - "rev": "f6e4789c8d5cc6bcb348651440276cfa794df586", + "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.21", + "ref": "v7.1.30", "repo": "k", "type": "github" } @@ -638,16 +638,16 @@ ] }, "locked": { - "lastModified": 1718737220, - "narHash": "sha256-0yMDvOr3TQPqpKBKOXAqfrz6FO+rOJ0qG3uNotxXhao=", + "lastModified": 1718910118, + "narHash": "sha256-E2utS5SGK3B7IjHRBlyKSB6TR/gLli14m+7d8AAmp0I=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "a7e321383372ba625173d4064836ab4f8cebef85", + "rev": "6671fe4b8de164ac2d141dcce869a06b628ed560", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.50", + "ref": "v0.1.51", "repo": "llvm-backend", "type": "github" } @@ -674,16 +674,16 @@ ] }, "locked": { - "lastModified": 1718737220, - "narHash": "sha256-0yMDvOr3TQPqpKBKOXAqfrz6FO+rOJ0qG3uNotxXhao=", + "lastModified": 1718910118, + "narHash": "sha256-E2utS5SGK3B7IjHRBlyKSB6TR/gLli14m+7d8AAmp0I=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "a7e321383372ba625173d4064836ab4f8cebef85", + "rev": "6671fe4b8de164ac2d141dcce869a06b628ed560", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.50", + "ref": "v0.1.51", "repo": "llvm-backend", "type": "github" } @@ -712,16 +712,16 @@ ] }, "locked": { - "lastModified": 1718737220, - "narHash": "sha256-0yMDvOr3TQPqpKBKOXAqfrz6FO+rOJ0qG3uNotxXhao=", + "lastModified": 1718910118, + "narHash": "sha256-E2utS5SGK3B7IjHRBlyKSB6TR/gLli14m+7d8AAmp0I=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "a7e321383372ba625173d4064836ab4f8cebef85", + "rev": "6671fe4b8de164ac2d141dcce869a06b628ed560", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.50", + "ref": "v0.1.51", "repo": "llvm-backend", "type": "github" } @@ -838,16 +838,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1719246394, - "narHash": "sha256-1ALEhirbY6vIFPneV5SPyAyJbv0Ncyn+KM8viFYxK/8=", + "lastModified": 1719488556, + "narHash": "sha256-cWz6HZ/NeVWIv0/8Ss++KpbkZo6q92FsgqNanaJMNYI=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "3b0736add04fc35e667050bf26b2f65a7fa1dbd0", + "rev": "8ee34fe7ba406cd4d6ee88abff65bdc47140e54f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.87", + "ref": "v0.1.88", "repo": "mx-semantics", "type": "github" } @@ -1328,17 +1328,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719007326, - "narHash": "sha256-lxPSiio6ZqT9jlSkb9Tjzzd5VCgQXSUz1/Rbs+vODWA=", + "lastModified": 1719331365, + "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", "owner": "runtimeverification", "repo": "k", - "rev": "f6e4789c8d5cc6bcb348651440276cfa794df586", + "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.21", + "ref": "v7.1.30", "repo": "k", "type": "github" } @@ -1364,17 +1364,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719007326, - "narHash": "sha256-lxPSiio6ZqT9jlSkb9Tjzzd5VCgQXSUz1/Rbs+vODWA=", + "lastModified": 1719331365, + "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", "owner": "runtimeverification", "repo": "k", - "rev": "f6e4789c8d5cc6bcb348651440276cfa794df586", + "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.21", + "ref": "v7.1.30", "repo": "k", "type": "github" } @@ -1396,17 +1396,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1719007326, - "narHash": "sha256-lxPSiio6ZqT9jlSkb9Tjzzd5VCgQXSUz1/Rbs+vODWA=", + "lastModified": 1719331365, + "narHash": "sha256-2J/lEgLQNbJlmygMzwRkGDLJNBTTHiCtfFxckGTm6Ec=", "owner": "runtimeverification", "repo": "k", - "rev": "f6e4789c8d5cc6bcb348651440276cfa794df586", + "rev": "0cfdcda602d13ef43f8fbc508c0e405dd0a5784e", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.21", + "ref": "v7.1.30", "repo": "k", "type": "github" } @@ -1551,11 +1551,11 @@ ] }, "locked": { - "lastModified": 1719195554, - "narHash": "sha256-bFXHMjpYlEERexzXa1gLGJO/1l8dxaAtSNE56YALuTg=", + "lastModified": 1719454714, + "narHash": "sha256-MojqG0lyUINkEk0b3kM2drsU5vyaF8DFZe/FAlZVOGs=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "577ee84c69ba89894ac622d71a678a14d746b2f7", + "rev": "d1c527659cf076ecc4b96a91c702d080b213801e", "type": "github" }, "original": { @@ -2146,16 +2146,16 @@ ] }, "locked": { - "lastModified": 1719222124, - "narHash": "sha256-PpS7ZX/m0as+vROrmhYPLAxe8DDr3vw6EGGzZXl8afE=", + "lastModified": 1719338542, + "narHash": "sha256-fo237IvA7+qUOnzES4XM1afSZ3honH35M0yFHfVLZnk=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "ffb03f95c69fb40f7f1f4014b7d75e9721296878", + "rev": "91f83ca3248fc85f64a46e31d31940d5442f8ba8", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.68", + "ref": "v0.1.70", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index c4802de6..50708f78 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = "kmxwasm - Symbolic execution for the MulitversX blockchain with the Wasm semantics, using pyk."; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.21"; - pyk.url = "github:runtimeverification/k/v7.1.21?dir=pyk"; + k-framework.url = "github:runtimeverification/k/v7.1.30"; + pyk.url = "github:runtimeverification/k/v7.1.30?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.87"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.88"; 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 e036f043..a2d2bf39 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.103.5" +version = "6.104.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.103.5-py3-none-any.whl", hash = "sha256:8eea4ef1542081592f43ae0aeefdf088780cdd40cfc108e7adf5ff3ef00952e2"}, - {file = "hypothesis-6.103.5.tar.gz", hash = "sha256:9c455baa7bf0a40538e9afeb2ab21d91bc1d2a5a8db1a3536df868cfc605f307"}, + {file = "hypothesis-6.104.1-py3-none-any.whl", hash = "sha256:a0a898fa78ecaefe76ad248901dc274e598f29198c6015b3053f7f7827670e0e"}, + {file = "hypothesis-6.104.1.tar.gz", hash = "sha256:4033898019a6149823d2feeb8d214921b4ac2d342a05d6b02e40a3ca4be07eea"}, ] [package.dependencies] @@ -501,13 +501,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "7.2.1" +version = "8.0.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-7.2.1-py3-none-any.whl", hash = "sha256:ffef94b0b66046dd8ea2d619b701fe978d9264d38f3998bc4c27ec3b146a87c8"}, - {file = "importlib_metadata-7.2.1.tar.gz", hash = "sha256:509ecb2ab77071db5137c655e24ceb3eee66e7bbc6574165d0d114d9fc4bbe68"}, + {file = "importlib_metadata-8.0.0-py3-none-any.whl", hash = "sha256:15584cf2b1bf449d98ff8a6ff1abef57bf20f3ac6454f431736cd3e660921b2f"}, + {file = "importlib_metadata-8.0.0.tar.gz", hash = "sha256:188bd24e4c346d3f0a933f275c2fec67050326a856b9a359881d7c2a697e8812"}, ] [package.dependencies] @@ -545,13 +545,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.21" +version = "7.1.30" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.21-py3-none-any.whl", hash = "sha256:f5f0e8c25e23a85b50bbe5eceec236697b031f4d9a21fdd87145c9d223b99db2"}, - {file = "kframework-7.1.21.tar.gz", hash = "sha256:c78a3434cbd3c4cfdffdae608d3efe8991871b66bd1504b2453aa5595d378d9c"}, + {file = "kframework-7.1.30-py3-none-any.whl", hash = "sha256:7f8de5d3b797593145aa69d92d89ce169e46a1254bb0d48354f1faedaeb1dcdd"}, + {file = "kframework-7.1.30.tar.gz", hash = "sha256:d3a07d7dd8b8af7e3e336254035ec3e08f12002e94d927a5bde2cef2c2b3225a"}, ] [package.dependencies] @@ -559,6 +559,7 @@ cmd2 = ">=2.4.2,<3.0.0" coloredlogs = ">=15.0.1,<16.0.0" filelock = ">=3.9.0,<4.0.0" graphviz = ">=0.20.1,<0.21.0" +hypothesis = ">=6.103.1,<7.0.0" psutil = "5.9.5" pybind11 = ">=2.10.3,<3.0.0" pytest = "*" @@ -568,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.87" +version = "0.1.88" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -578,13 +579,13 @@ develop = false [package.dependencies] hypothesis = "^6.82.6" pycryptodomex = "^3.18.0" -pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.68", subdirectory = "pykwasm"} +pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.70", subdirectory = "pykwasm"} [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.87" -resolved_reference = "3b0736add04fc35e667050bf26b2f65a7fa1dbd0" +reference = "v0.1.88" +resolved_reference = "8ee34fe7ba406cd4d6ee88abff65bdc47140e54f" subdirectory = "kmultiversx" [[package]] @@ -676,38 +677,38 @@ files = [ [[package]] name = "mypy" -version = "1.10.0" +version = "1.10.1" description = "Optional static typing for Python" optional = false python-versions = ">=3.8" files = [ - {file = "mypy-1.10.0-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:da1cbf08fb3b851ab3b9523a884c232774008267b1f83371ace57f412fe308c2"}, - {file = "mypy-1.10.0-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:12b6bfc1b1a66095ab413160a6e520e1dc076a28f3e22f7fb25ba3b000b4ef99"}, - {file = "mypy-1.10.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:9e36fb078cce9904c7989b9693e41cb9711e0600139ce3970c6ef814b6ebc2b2"}, - {file = "mypy-1.10.0-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:2b0695d605ddcd3eb2f736cd8b4e388288c21e7de85001e9f85df9187f2b50f9"}, - {file = "mypy-1.10.0-cp310-cp310-win_amd64.whl", hash = "sha256:cd777b780312ddb135bceb9bc8722a73ec95e042f911cc279e2ec3c667076051"}, - {file = "mypy-1.10.0-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:3be66771aa5c97602f382230165b856c231d1277c511c9a8dd058be4784472e1"}, - {file = "mypy-1.10.0-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:8b2cbaca148d0754a54d44121b5825ae71868c7592a53b7292eeb0f3fdae95ee"}, - {file = "mypy-1.10.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:1ec404a7cbe9fc0e92cb0e67f55ce0c025014e26d33e54d9e506a0f2d07fe5de"}, - {file = "mypy-1.10.0-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:e22e1527dc3d4aa94311d246b59e47f6455b8729f4968765ac1eacf9a4760bc7"}, - {file = "mypy-1.10.0-cp311-cp311-win_amd64.whl", hash = "sha256:a87dbfa85971e8d59c9cc1fcf534efe664d8949e4c0b6b44e8ca548e746a8d53"}, - {file = "mypy-1.10.0-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:a781f6ad4bab20eef8b65174a57e5203f4be627b46291f4589879bf4e257b97b"}, - {file = "mypy-1.10.0-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:b808e12113505b97d9023b0b5e0c0705a90571c6feefc6f215c1df9381256e30"}, - {file = "mypy-1.10.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:8f55583b12156c399dce2df7d16f8a5095291354f1e839c252ec6c0611e86e2e"}, - {file = "mypy-1.10.0-cp312-cp312-musllinux_1_1_x86_64.whl", hash = "sha256:4cf18f9d0efa1b16478c4c129eabec36148032575391095f73cae2e722fcf9d5"}, - {file = "mypy-1.10.0-cp312-cp312-win_amd64.whl", hash = "sha256:bc6ac273b23c6b82da3bb25f4136c4fd42665f17f2cd850771cb600bdd2ebeda"}, - {file = "mypy-1.10.0-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:9fd50226364cd2737351c79807775136b0abe084433b55b2e29181a4c3c878c0"}, - {file = "mypy-1.10.0-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:f90cff89eea89273727d8783fef5d4a934be2fdca11b47def50cf5d311aff727"}, - {file = "mypy-1.10.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:fcfc70599efde5c67862a07a1aaf50e55bce629ace26bb19dc17cece5dd31ca4"}, - {file = "mypy-1.10.0-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:075cbf81f3e134eadaf247de187bd604748171d6b79736fa9b6c9685b4083061"}, - {file = "mypy-1.10.0-cp38-cp38-win_amd64.whl", hash = "sha256:3f298531bca95ff615b6e9f2fc0333aae27fa48052903a0ac90215021cdcfa4f"}, - {file = "mypy-1.10.0-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:fa7ef5244615a2523b56c034becde4e9e3f9b034854c93639adb667ec9ec2976"}, - {file = "mypy-1.10.0-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:3236a4c8f535a0631f85f5fcdffba71c7feeef76a6002fcba7c1a8e57c8be1ec"}, - {file = "mypy-1.10.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:4a2b5cdbb5dd35aa08ea9114436e0d79aceb2f38e32c21684dcf8e24e1e92821"}, - {file = "mypy-1.10.0-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:92f93b21c0fe73dc00abf91022234c79d793318b8a96faac147cd579c1671746"}, - {file = "mypy-1.10.0-cp39-cp39-win_amd64.whl", hash = "sha256:28d0e038361b45f099cc086d9dd99c15ff14d0188f44ac883010e172ce86c38a"}, - {file = "mypy-1.10.0-py3-none-any.whl", hash = "sha256:f8c083976eb530019175aabadb60921e73b4f45736760826aa1689dda8208aee"}, - {file = "mypy-1.10.0.tar.gz", hash = "sha256:3d087fcbec056c4ee34974da493a826ce316947485cef3901f511848e687c131"}, + {file = "mypy-1.10.1-cp310-cp310-macosx_10_9_x86_64.whl", hash = "sha256:e36f229acfe250dc660790840916eb49726c928e8ce10fbdf90715090fe4ae02"}, + {file = "mypy-1.10.1-cp310-cp310-macosx_11_0_arm64.whl", hash = "sha256:51a46974340baaa4145363b9e051812a2446cf583dfaeba124af966fa44593f7"}, + {file = "mypy-1.10.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:901c89c2d67bba57aaaca91ccdb659aa3a312de67f23b9dfb059727cce2e2e0a"}, + {file = "mypy-1.10.1-cp310-cp310-musllinux_1_1_x86_64.whl", hash = "sha256:0cd62192a4a32b77ceb31272d9e74d23cd88c8060c34d1d3622db3267679a5d9"}, + {file = "mypy-1.10.1-cp310-cp310-win_amd64.whl", hash = "sha256:a2cbc68cb9e943ac0814c13e2452d2046c2f2b23ff0278e26599224cf164e78d"}, + {file = "mypy-1.10.1-cp311-cp311-macosx_10_9_x86_64.whl", hash = "sha256:bd6f629b67bb43dc0d9211ee98b96d8dabc97b1ad38b9b25f5e4c4d7569a0c6a"}, + {file = "mypy-1.10.1-cp311-cp311-macosx_11_0_arm64.whl", hash = "sha256:a1bbb3a6f5ff319d2b9d40b4080d46cd639abe3516d5a62c070cf0114a457d84"}, + {file = "mypy-1.10.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:b8edd4e9bbbc9d7b79502eb9592cab808585516ae1bcc1446eb9122656c6066f"}, + {file = "mypy-1.10.1-cp311-cp311-musllinux_1_1_x86_64.whl", hash = "sha256:6166a88b15f1759f94a46fa474c7b1b05d134b1b61fca627dd7335454cc9aa6b"}, + {file = "mypy-1.10.1-cp311-cp311-win_amd64.whl", hash = "sha256:5bb9cd11c01c8606a9d0b83ffa91d0b236a0e91bc4126d9ba9ce62906ada868e"}, + {file = "mypy-1.10.1-cp312-cp312-macosx_10_9_x86_64.whl", hash = "sha256:d8681909f7b44d0b7b86e653ca152d6dff0eb5eb41694e163c6092124f8246d7"}, + {file = "mypy-1.10.1-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:378c03f53f10bbdd55ca94e46ec3ba255279706a6aacaecac52ad248f98205d3"}, + {file = "mypy-1.10.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:6bacf8f3a3d7d849f40ca6caea5c055122efe70e81480c8328ad29c55c69e93e"}, + {file = "mypy-1.10.1-cp312-cp312-musllinux_1_1_x86_64.whl", hash = "sha256:701b5f71413f1e9855566a34d6e9d12624e9e0a8818a5704d74d6b0402e66c04"}, + {file = "mypy-1.10.1-cp312-cp312-win_amd64.whl", hash = "sha256:3c4c2992f6ea46ff7fce0072642cfb62af7a2484efe69017ed8b095f7b39ef31"}, + {file = "mypy-1.10.1-cp38-cp38-macosx_10_9_x86_64.whl", hash = "sha256:604282c886497645ffb87b8f35a57ec773a4a2721161e709a4422c1636ddde5c"}, + {file = "mypy-1.10.1-cp38-cp38-macosx_11_0_arm64.whl", hash = "sha256:37fd87cab83f09842653f08de066ee68f1182b9b5282e4634cdb4b407266bade"}, + {file = "mypy-1.10.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:8addf6313777dbb92e9564c5d32ec122bf2c6c39d683ea64de6a1fd98b90fe37"}, + {file = "mypy-1.10.1-cp38-cp38-musllinux_1_1_x86_64.whl", hash = "sha256:5cc3ca0a244eb9a5249c7c583ad9a7e881aa5d7b73c35652296ddcdb33b2b9c7"}, + {file = "mypy-1.10.1-cp38-cp38-win_amd64.whl", hash = "sha256:1b3a2ffce52cc4dbaeee4df762f20a2905aa171ef157b82192f2e2f368eec05d"}, + {file = "mypy-1.10.1-cp39-cp39-macosx_10_9_x86_64.whl", hash = "sha256:fe85ed6836165d52ae8b88f99527d3d1b2362e0cb90b005409b8bed90e9059b3"}, + {file = "mypy-1.10.1-cp39-cp39-macosx_11_0_arm64.whl", hash = "sha256:c2ae450d60d7d020d67ab440c6e3fae375809988119817214440033f26ddf7bf"}, + {file = "mypy-1.10.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:6be84c06e6abd72f960ba9a71561c14137a583093ffcf9bbfaf5e613d63fa531"}, + {file = "mypy-1.10.1-cp39-cp39-musllinux_1_1_x86_64.whl", hash = "sha256:2189ff1e39db399f08205e22a797383613ce1cb0cb3b13d8bcf0170e45b96cc3"}, + {file = "mypy-1.10.1-cp39-cp39-win_amd64.whl", hash = "sha256:97a131ee36ac37ce9581f4220311247ab6cba896b4395b9c87af0675a13a755f"}, + {file = "mypy-1.10.1-py3-none-any.whl", hash = "sha256:71d8ac0b906354ebda8ef1673e5fde785936ac1f29ff6987c7483cfbd5a4235a"}, + {file = "mypy-1.10.1.tar.gz", hash = "sha256:1f8f492d7db9e3593ef42d4f115f04e556130f2819ad33ab84551403e97dd4c0"}, ] [package.dependencies] @@ -899,17 +900,17 @@ resolved_reference = "e5fb6ed5b1aebf1c0d67087397b3c1240ff412da" [[package]] name = "pybind11" -version = "2.12.0" +version = "2.13.1" description = "Seamless operability between C++11 and Python" optional = false -python-versions = ">=3.6" +python-versions = ">=3.7" files = [ - {file = "pybind11-2.12.0-py3-none-any.whl", hash = "sha256:df8d60b94f9e714d81013db233393d430ebf9f3551642b82291cf1b14d1afdbd"}, - {file = "pybind11-2.12.0.tar.gz", hash = "sha256:5e3c557a84b06b969247630407fc4d985bed157b4253b13153b8e8e165e0c3dc"}, + {file = "pybind11-2.13.1-py3-none-any.whl", hash = "sha256:97881536abe0cd4260a9ccc5bf6d1cf3113318f08af1feb82d4b9f95e93f0aa4"}, + {file = "pybind11-2.13.1.tar.gz", hash = "sha256:65be498b1cac516161add1508e65375674916bebf2570d057dc9c3c7bcbbc7b0"}, ] [package.extras] -global = ["pybind11-global (==2.12.0)"] +global = ["pybind11-global (==2.13.1)"] [[package]] name = "pycodestyle" @@ -990,7 +991,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.68" +version = "0.1.70" description = "" optional = false python-versions = "^3.10" @@ -999,15 +1000,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.21" +kframework = "7.1.30" 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.68" -resolved_reference = "ffb03f95c69fb40f7f1f4014b7d75e9721296878" +reference = "v0.1.70" +resolved_reference = "91f83ca3248fc85f64a46e31d31940d5442f8ba8" subdirectory = "pykwasm" [[package]] @@ -1128,13 +1129,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "70.1.0" +version = "70.1.1" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-70.1.0-py3-none-any.whl", hash = "sha256:d9b8b771455a97c8a9f3ab3448ebe0b29b5e105f1228bba41028be116985a267"}, - {file = "setuptools-70.1.0.tar.gz", hash = "sha256:01a1e793faa5bd89abc851fa15d0a0db26f160890c7102cd8dce643e886b47f5"}, + {file = "setuptools-70.1.1-py3-none-any.whl", hash = "sha256:a58a8fde0541dab0419750bcc521fbdf8585f6e5cb41909df3a472ef7b81ca95"}, + {file = "setuptools-70.1.1.tar.gz", hash = "sha256:937a48c7cdb7a21eb53cd7f9b59e525503aa8abaf3584c730dc5f7a5bec3a650"}, ] [package.extras] @@ -1259,4 +1260,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "556dc5d294105f880e58d40a4d286a4d0124e4bdf6ac89050b493f84c0382ac9" +content-hash = "1dd3af04a89f846eb0891f3ab59d44c2a1d8a3875536d3a7a7d69ac9703867b7" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index 2017df8d..529ce8f4 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.70" +version = "0.1.71" 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.87", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.88", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" diff --git a/package/version b/package/version index f0768f09..7c3ae4e0 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.70 +0.1.71