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/kwasm_release b/deps/kwasm_release index 72052e2d..f0768f09 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.68 +0.1.70 diff --git a/flake.lock b/flake.lock index 7c1dd607..e026bda7 100644 --- a/flake.lock +++ b/flake.lock @@ -233,16 +233,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" } @@ -261,16 +261,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" } @@ -322,16 +322,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" } @@ -350,16 +350,16 @@ "rv-utils": "rv-utils_8" }, "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" } @@ -401,16 +401,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" } @@ -437,16 +437,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" } @@ -744,17 +744,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" } @@ -778,17 +778,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" } @@ -1208,16 +1208,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 4079fde5..e8cbc90c 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.68"; - k-framework.url = "github:runtimeverification/k/v7.1.21"; - pyk.url = "github:runtimeverification/k/v7.1.21?dir=pyk"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.70"; + k-framework.url = "github:runtimeverification/k/v7.1.30"; + pyk.url = "github:runtimeverification/k/v7.1.30?dir=pyk"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.url = "github:runtimeverification/rv-nix-tools"; @@ -112,14 +112,19 @@ }; overrides = poetry2nix.overrides.withDefaults (finalPython: prevPython: { - pyk = nixpkgs-pyk.pyk-python310; - pykwasm = wasm-semantics.packages.${prev.system}.kwasm-pyk; - hypothesis = prevPython.hypothesis.overridePythonAttrs (old: { + kframework = nixpkgs-pyk.pyk-python310.overridePythonAttrs + (old: { propagatedBuildInputs = prev.lib.filter - (x: !(prev.lib.strings.hasInfix "attrs" x.name || prev.lib.strings.hasInfix "exceptiongroup" x.name)) - old.propagatedBuildInputs; - buildInputs = (old.buildInputs or []) ++ [ finalPython.attrs finalPython.exceptiongroup ]; - }); + (x: !(prev.lib.strings.hasInfix "hypothesis" x.name)) + old.propagatedBuildInputs ++ [ finalPython.hypothesis ]; + }); + pykwasm = + wasm-semantics.packages.${prev.system}.kwasm-pyk.overridePythonAttrs + (old: { + propagatedBuildInputs = prev.lib.filter + (x: !(prev.lib.strings.hasInfix "kframework" x.name)) + old.propagatedBuildInputs ++ [ finalPython.kframework ]; + }); }); groups = [ ]; checkGroups = [ ]; diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 0fbfb4e9..86c8a8ce 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -494,13 +494,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] @@ -527,13 +527,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] @@ -571,13 +571,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] @@ -585,6 +585,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 = "*" @@ -681,38 +682,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] @@ -904,17 +905,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" @@ -995,7 +996,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" @@ -1004,15 +1005,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]] @@ -1147,13 +1148,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] @@ -1289,4 +1290,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "02d456d988a2005af26c18d0ab76812a770f86b69d784da64b8ea80da9587dd0" +content-hash = "631a4708382f7224cb0cbffe3349e6fef35c4f5b67f73d6534824c459f75b815" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 7ed81a66..d95851bd 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.87" +version = "0.1.88" 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.68", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.70", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" diff --git a/package/version b/package/version index ef2f8c81..6667b8e5 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.87 +0.1.88