diff --git a/deps/k_release b/deps/k_release index 71c91675..058f28c2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.70 +7.1.72 diff --git a/deps/mx-semantics_release b/deps/mx-semantics_release index 5c5330a6..71fb8a1c 100644 --- a/deps/mx-semantics_release +++ b/deps/mx-semantics_release @@ -1 +1 @@ -0.1.99 +0.1.100 diff --git a/flake.lock b/flake.lock index 9d2d8ca7..f583dd97 100644 --- a/flake.lock +++ b/flake.lock @@ -380,16 +380,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1720572621, - "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=", + "lastModified": 1721316629, + "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7", + "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.32", + "ref": "v0.1.46", "repo": "haskell-backend", "type": "github" } @@ -412,16 +412,16 @@ "z3": "z3_2" }, "locked": { - "lastModified": 1720572621, - "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=", + "lastModified": 1721316629, + "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7", + "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.32", + "ref": "v0.1.46", "repo": "haskell-backend", "type": "github" } @@ -446,16 +446,16 @@ "z3": "z3_3" }, "locked": { - "lastModified": 1720572621, - "narHash": "sha256-/j0swzk75vBmtYE62t044W7tCRULxwYfygb+C01Ar9A=", + "lastModified": 1721316629, + "narHash": "sha256-Iq161QQX78LtJnDyOm2zv0c+leGBb/bo0laKsk86pUo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "3ecef6a3bf991a95ac3dba2900a721bbcd5f5ce7", + "rev": "8d61e69a3cc73ae15306775bb2e97ec31247690a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.32", + "ref": "v0.1.46", "repo": "haskell-backend", "type": "github" } @@ -533,16 +533,16 @@ ] }, "locked": { - "lastModified": 1721415807, - "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=", + "lastModified": 1721644933, + "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", "owner": "runtimeverification", "repo": "k", - "rev": "4ddedd23e89c659c6219589178031ff69e6f8843", + "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.70", + "ref": "v7.1.72", "repo": "k", "type": "github" } @@ -572,16 +572,16 @@ ] }, "locked": { - "lastModified": 1721415807, - "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=", + "lastModified": 1721644933, + "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", "owner": "runtimeverification", "repo": "k", - "rev": "4ddedd23e89c659c6219589178031ff69e6f8843", + "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.70", + "ref": "v7.1.72", "repo": "k", "type": "github" } @@ -614,16 +614,16 @@ ] }, "locked": { - "lastModified": 1721415807, - "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=", + "lastModified": 1721644933, + "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", "owner": "runtimeverification", "repo": "k", - "rev": "4ddedd23e89c659c6219589178031ff69e6f8843", + "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.70", + "ref": "v7.1.72", "repo": "k", "type": "github" } @@ -662,16 +662,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721409969, - "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=", + "lastModified": 1721505758, + "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663", + "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.59", + "ref": "v0.1.60", "repo": "llvm-backend", "type": "github" } @@ -694,16 +694,16 @@ "utils": "utils_2" }, "locked": { - "lastModified": 1721409969, - "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=", + "lastModified": 1721505758, + "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663", + "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.59", + "ref": "v0.1.60", "repo": "llvm-backend", "type": "github" } @@ -727,16 +727,16 @@ "utils": "utils_3" }, "locked": { - "lastModified": 1721409969, - "narHash": "sha256-D9F6JhSsDOwGx6/ysi4O7d+A3aGNliEXOKgXvViRD00=", + "lastModified": 1721505758, + "narHash": "sha256-eZak/AaPOGTeiihbDWRCe4SeQfC9br1GCynx1neIL/Q=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "ed79b7ead98fff940ef683e61653d4d30a47b663", + "rev": "548a54ccb12c9f3fff37914d46f0879a88f41590", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.59", + "ref": "v0.1.60", "repo": "llvm-backend", "type": "github" } @@ -853,16 +853,16 @@ "wasm-semantics": "wasm-semantics" }, "locked": { - "lastModified": 1721426538, - "narHash": "sha256-rWqirsKqZvsS7iOO2aMwzcAhdFc3bVnrtHfwr83lilQ=", + "lastModified": 1721683432, + "narHash": "sha256-/CY/2F8mWA6O7n7GZw2Rk6i8ccqve4NQYkvBBau/BKQ=", "owner": "runtimeverification", "repo": "mx-semantics", - "rev": "52dc83d06c967c5377bdda1caa3a6f212da0fef0", + "rev": "be78362547dbfdd7573a55bc3204cd011ae9f155", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.99", + "ref": "v0.1.100", "repo": "mx-semantics", "type": "github" } @@ -1332,17 +1332,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721415807, - "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=", + "lastModified": 1721644933, + "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", "owner": "runtimeverification", "repo": "k", - "rev": "4ddedd23e89c659c6219589178031ff69e6f8843", + "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.70", + "ref": "v7.1.72", "repo": "k", "type": "github" } @@ -1364,17 +1364,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1721415807, - "narHash": "sha256-t40w+kcFV1UjjJkfUlm4faknV2V8ITTPLhwElBvPyKY=", + "lastModified": 1721644933, + "narHash": "sha256-8ku/32NalM5lBBrjZx/bCMdeUqK007vPFj0CA0wKsRM=", "owner": "runtimeverification", "repo": "k", - "rev": "4ddedd23e89c659c6219589178031ff69e6f8843", + "rev": "de70d79a0ffa6813d0ec9b6268e4eff3b7ca988f", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.70", + "ref": "v7.1.72", "repo": "k", "type": "github" } @@ -1519,11 +1519,11 @@ ] }, "locked": { - "lastModified": 1721355572, - "narHash": "sha256-I4TQ2guV9jTmZsXeWt5HMojcaqNZHII4zu0xIKZEovM=", + "lastModified": 1721614891, + "narHash": "sha256-1yGOh8w/yhWAZ2NJR9N/shQ1tx2n9fmGe0XrDE00i9U=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "d5bc7b1b21cf937fb8ff108ae006f6776bdb163d", + "rev": "424a759557ed4c01cf9dbbf79a714150d64a90ad", "type": "github" }, "original": { @@ -2138,16 +2138,16 @@ ] }, "locked": { - "lastModified": 1721420747, - "narHash": "sha256-CPBRvLT9ygl4IxzZyyc5A6ZrIFiZxQF9nAbmTwbsRRU=", + "lastModified": 1721679966, + "narHash": "sha256-7edxmlZgr2BORHeRKRe9NVIbq4yhFc6SDV5qGY0ClU8=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "89bdf389bd49fd4ebab38c48c78e2c3df1927324", + "rev": "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.89", + "ref": "v0.1.90", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index f0877f02..d04c55a0 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.70"; - pyk.url = "github:runtimeverification/k/v7.1.70?dir=pyk"; + k-framework.url = "github:runtimeverification/k/v7.1.72"; + pyk.url = "github:runtimeverification/k/v7.1.72?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; - mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.99"; + mx-semantics.url = "github:runtimeverification/mx-semantics/v0.1.100"; 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 403112af..7b930592 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.2" +version = "6.108.4" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.108.2-py3-none-any.whl", hash = "sha256:2341d21d0e956bad8bd6269aa7d4f3233507f3ed52380c60ceb2f8b71f87a8e5"}, - {file = "hypothesis-6.108.2.tar.gz", hash = "sha256:62cf1c16bd98548b6a84007c5fb8cf6d9cb358dad870adb4f236c795ef162fdd"}, + {file = "hypothesis-6.108.4-py3-none-any.whl", hash = "sha256:901b1883b51207c4c3ecbae506bc8b65d66569f9bc34e023df7d8a821eb495c1"}, + {file = "hypothesis-6.108.4.tar.gz", hash = "sha256:bab99a308ea39be53882f1d89ab77db48e0c03b5c37fbedd2f59f9b656ada301"}, ] [package.dependencies] @@ -483,10 +483,10 @@ exceptiongroup = {version = ">=1.0.0", markers = "python_version < \"3.11\""} sortedcontainers = ">=2.1.0,<3.0.0" [package.extras] -all = ["backports.zoneinfo (>=0.2.1)", "black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.61)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.7)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.17.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.1)"] +all = ["backports.zoneinfo (>=0.2.1)", "black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.63)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.9)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.17.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.1)"] cli = ["black (>=19.10b0)", "click (>=7.0)", "rich (>=9.0.0)"] codemods = ["libcst (>=0.3.16)"] -crosshair = ["crosshair-tool (>=0.0.61)", "hypothesis-crosshair (>=0.0.7)"] +crosshair = ["crosshair-tool (>=0.0.63)", "hypothesis-crosshair (>=0.0.9)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -545,13 +545,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.70" +version = "7.1.72" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.70-py3-none-any.whl", hash = "sha256:53eb4e6dbe6c1fc24f51639d40518c2d19090b1c8a0c5fdc2c3a85ff6acfdd66"}, - {file = "kframework-7.1.70.tar.gz", hash = "sha256:a1185cd82b7774a2f7ee147d190ecf9ae0c4434eeb9a3348bbb2ece239d448e6"}, + {file = "kframework-7.1.72-py3-none-any.whl", hash = "sha256:4c3e6e4a8e2fe12307ac487bf141196fdc53c787b0aefe0218e8952b12521bed"}, + {file = "kframework-7.1.72.tar.gz", hash = "sha256:64cd3aa6042e729e7720d82c65a4c26a057608736a362858005850af12498949"}, ] [package.dependencies] @@ -569,7 +569,7 @@ xdg-base-dirs = ">=6.0.1,<7.0.0" [[package]] name = "kmultiversx" -version = "0.1.99" +version = "0.1.100" description = "Python tools for Elrond semantics" optional = false python-versions = "^3.10" @@ -580,13 +580,13 @@ develop = false exceptiongroup = "==1.2.1" hypothesis = "^6.82.6" pycryptodomex = "^3.18.0" -pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.89", subdirectory = "pykwasm"} +pykwasm = {git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.90", subdirectory = "pykwasm"} [package.source] type = "git" url = "https://github.com/runtimeverification/mx-semantics.git" -reference = "v0.1.99" -resolved_reference = "52dc83d06c967c5377bdda1caa3a6f212da0fef0" +reference = "v0.1.100" +resolved_reference = "be78362547dbfdd7573a55bc3204cd011ae9f155" subdirectory = "kmultiversx" [[package]] @@ -992,7 +992,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.89" +version = "0.1.90" description = "" optional = false python-versions = "^3.10" @@ -1001,15 +1001,15 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" -kframework = "7.1.70" +kframework = "7.1.72" 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.89" -resolved_reference = "89bdf389bd49fd4ebab38c48c78e2c3df1927324" +reference = "v0.1.90" +resolved_reference = "f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783" subdirectory = "pykwasm" [[package]] @@ -1035,13 +1035,13 @@ files = [ [[package]] name = "pytest" -version = "8.2.2" +version = "8.3.1" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.2.2-py3-none-any.whl", hash = "sha256:c434598117762e2bd304e526244f67bf66bbd7b5d6cf22138be51ff661980343"}, - {file = "pytest-8.2.2.tar.gz", hash = "sha256:de4bb8104e201939ccdc688b27a89a7be2079b22e2bd2b07f806b6ba71117977"}, + {file = "pytest-8.3.1-py3-none-any.whl", hash = "sha256:e9600ccf4f563976e2c99fa02c7624ab938296551f280835ee6516df8bc4ae8c"}, + {file = "pytest-8.3.1.tar.gz", hash = "sha256:7e8e5c5abd6e93cb1cc151f23e57adc31fcf8cfd2a3ff2da63e23f732de35db6"}, ] [package.dependencies] @@ -1049,7 +1049,7 @@ colorama = {version = "*", markers = "sys_platform == \"win32\""} exceptiongroup = {version = ">=1.0.0rc8", markers = "python_version < \"3.11\""} iniconfig = "*" packaging = "*" -pluggy = ">=1.5,<2.0" +pluggy = ">=1.5,<2" tomli = {version = ">=1", markers = "python_version < \"3.11\""} [package.extras] @@ -1130,19 +1130,19 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "71.0.4" +version = "71.1.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-71.0.4-py3-none-any.whl", hash = "sha256:ed2feca703be3bdbd94e6bb17365d91c6935c6b2a8d0bb09b66a2c435ba0b1a5"}, - {file = "setuptools-71.0.4.tar.gz", hash = "sha256:48297e5d393a62b7cb2a10b8f76c63a73af933bd809c9e0d0d6352a1a0135dd8"}, + {file = "setuptools-71.1.0-py3-none-any.whl", hash = "sha256:33874fdc59b3188304b2e7c80d9029097ea31627180896fb549c578ceb8a0855"}, + {file = "setuptools-71.1.0.tar.gz", hash = "sha256:032d42ee9fb536e33087fb66cac5f840eb9391ed05637b3f2a76a7c8fb477936"}, ] [package.extras] core = ["importlib-metadata (>=6)", "importlib-resources (>=5.10.2)", "jaraco.text (>=3.7)", "more-itertools (>=8.8)", "ordered-set (>=3.1.1)", "packaging (>=24)", "platformdirs (>=2.6.2)", "tomli (>=2.0.1)", "wheel (>=0.43.0)"] doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] -test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.10.0)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (<0.4)", "pytest-ruff (>=0.2.1)", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] +test = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "jaraco.test", "mypy (==1.11.*)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (<0.4)", "pytest-ruff (>=0.2.1)", "pytest-ruff (>=0.3.2)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] name = "sortedcontainers" @@ -1262,4 +1262,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b51e20829821dc1cbcedc8b0e2e5eb237b517fd071e7a49d7cbf473a9525ed60" +content-hash = "9d30c0807d362f9de084769f765518e0960e4cb34abaff1bde67c7059562e243" diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml index 0e7be8f5..008882bf 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.76" +version = "0.1.77" 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.99", subdirectory = "kmultiversx" } +kmultiversx = { git = "https://github.com/runtimeverification/mx-semantics.git", tag = "v0.1.100", subdirectory = "kmultiversx" } [tool.poetry.group.dev.dependencies] autoflake = "*" diff --git a/package/version b/package/version index ad069db6..1f7a170d 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.76 +0.1.77