diff --git a/deps/k_release b/deps/k_release index 260db422..2fe040f4 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.120 +7.1.8 diff --git a/deps/kwasm_release b/deps/kwasm_release index abf5cfcd..c24b7ee5 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.63 +0.1.66 diff --git a/flake.lock b/flake.lock index b672cfcd..cf5c769e 100644 --- a/flake.lock +++ b/flake.lock @@ -233,17 +233,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1717504162, - "narHash": "sha256-muZL1MfImaMimk+f/SwPj4xrlRvDnSpovDhAx/WqdCw=", + "lastModified": 1718284603, + "narHash": "sha256-fLAY8og1RbE9rVcrEbIATUZIpkcajN8CNxDMq5x9I+s=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "abceb59fcbc47d1bc537ff797f806c8bb8649626", + "rev": "9520aa33a9d770395cdc23cbd4c025876f548a78", "type": "github" }, "original": { "owner": "runtimeverification", + "ref": "v0.1.10", "repo": "haskell-backend", - "rev": "abceb59fcbc47d1bc537ff797f806c8bb8649626", "type": "github" } }, @@ -256,22 +256,22 @@ "rv-utils", "nixpkgs" ], - "rv-utils": "rv-utils_5", + "rv-utils": "rv-utils_6", "stacklock2nix": "stacklock2nix_2", "z3": "z3_2" }, "locked": { - "lastModified": 1717504162, - "narHash": "sha256-muZL1MfImaMimk+f/SwPj4xrlRvDnSpovDhAx/WqdCw=", + "lastModified": 1718284603, + "narHash": "sha256-fLAY8og1RbE9rVcrEbIATUZIpkcajN8CNxDMq5x9I+s=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "abceb59fcbc47d1bc537ff797f806c8bb8649626", + "rev": "9520aa33a9d770395cdc23cbd4c025876f548a78", "type": "github" }, "original": { "owner": "runtimeverification", + "ref": "v0.1.10", "repo": "haskell-backend", - "rev": "abceb59fcbc47d1bc537ff797f806c8bb8649626", "type": "github" } }, @@ -322,16 +322,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1717703773, - "narHash": "sha256-3eIJw8y8COwUCAqGNyv+Q0juud4F/rdIIAAioC/J2f4=", + "lastModified": 1718812979, + "narHash": "sha256-G4Yo48R43EKWyYFkb+MZv1YbM2TRSyNBAJSNn2lKWZI=", "owner": "runtimeverification", "repo": "k", - "rev": "e070a2048b7e6ce45748426c4868d593113af050", + "rev": "4c77ef4276f89d692e80b4d1300202920ee1e466", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.120", + "ref": "v7.1.8", "repo": "k", "type": "github" } @@ -347,19 +347,19 @@ "llvm-backend", "nixpkgs" ], - "rv-utils": "rv-utils_7" + "rv-utils": "rv-utils_8" }, "locked": { - "lastModified": 1717703773, - "narHash": "sha256-3eIJw8y8COwUCAqGNyv+Q0juud4F/rdIIAAioC/J2f4=", + "lastModified": 1718812979, + "narHash": "sha256-G4Yo48R43EKWyYFkb+MZv1YbM2TRSyNBAJSNn2lKWZI=", "owner": "runtimeverification", "repo": "k", - "rev": "e070a2048b7e6ce45748426c4868d593113af050", + "rev": "4c77ef4276f89d692e80b4d1300202920ee1e466", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.0.120", + "ref": "v7.1.8", "repo": "k", "type": "github" } @@ -401,16 +401,16 @@ ] }, "locked": { - "lastModified": 1717613611, - "narHash": "sha256-5rDBlXOfvxYNei+mL949pV6TIE5oAfY6LKxV/AcU3Mo=", + "lastModified": 1718737220, + "narHash": "sha256-0yMDvOr3TQPqpKBKOXAqfrz6FO+rOJ0qG3uNotxXhao=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "744a6150c4e616edcd60faf9786cc27780c364ad", + "rev": "a7e321383372ba625173d4064836ab4f8cebef85", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.44", + "ref": "v0.1.50", "repo": "llvm-backend", "type": "github" } @@ -429,7 +429,7 @@ ], "pybind11-src": "pybind11-src_2", "rapidjson-src": "rapidjson-src_2", - "rv-utils": "rv-utils_6", + "rv-utils": "rv-utils_7", "utils": [ "wasm-semantics", "k-framework", @@ -437,16 +437,16 @@ ] }, "locked": { - "lastModified": 1717613611, - "narHash": "sha256-5rDBlXOfvxYNei+mL949pV6TIE5oAfY6LKxV/AcU3Mo=", + "lastModified": 1718737220, + "narHash": "sha256-0yMDvOr3TQPqpKBKOXAqfrz6FO+rOJ0qG3uNotxXhao=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "744a6150c4e616edcd60faf9786cc27780c364ad", + "rev": "a7e321383372ba625173d4064836ab4f8cebef85", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.44", + "ref": "v0.1.50", "repo": "llvm-backend", "type": "github" } @@ -546,16 +546,17 @@ }, "nixpkgs_4": { "locked": { - "lastModified": 1698675399, - "narHash": "sha256-nj+LNEeVXGP31vxoL3x7HW7+oEiyoLVDqwMg30yFBMA=", - "owner": "NixOS", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "7378978469efa3b2b2f97d645a2a0b0e2447da2b", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { - "owner": "NixOS", + "owner": "nixos", "repo": "nixpkgs", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -625,16 +626,17 @@ }, "nixpkgs_9": { "locked": { - "lastModified": 1698675399, - "narHash": "sha256-nj+LNEeVXGP31vxoL3x7HW7+oEiyoLVDqwMg30yFBMA=", - "owner": "NixOS", + "lastModified": 1716457947, + "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "7378978469efa3b2b2f97d645a2a0b0e2447da2b", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" }, "original": { - "owner": "NixOS", + "owner": "nixos", "repo": "nixpkgs", + "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", "type": "github" } }, @@ -732,22 +734,27 @@ "poetry2nix", "flake-utils" ], - "nixpkgs": "nixpkgs_4", - "poetry2nix": "poetry2nix" + "nixpkgs": [ + "pyk", + "rv-utils", + "nixpkgs" + ], + "poetry2nix": "poetry2nix", + "rv-utils": "rv-utils_4" }, "locked": { "dir": "pyk", - "lastModified": 1717703773, - "narHash": "sha256-3eIJw8y8COwUCAqGNyv+Q0juud4F/rdIIAAioC/J2f4=", + "lastModified": 1718812979, + "narHash": "sha256-G4Yo48R43EKWyYFkb+MZv1YbM2TRSyNBAJSNn2lKWZI=", "owner": "runtimeverification", "repo": "k", - "rev": "e070a2048b7e6ce45748426c4868d593113af050", + "rev": "4c77ef4276f89d692e80b4d1300202920ee1e466", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.120", + "ref": "v7.1.8", "repo": "k", "type": "github" } @@ -760,22 +767,28 @@ "poetry2nix", "flake-utils" ], - "nixpkgs": "nixpkgs_9", - "poetry2nix": "poetry2nix_2" + "nixpkgs": [ + "wasm-semantics", + "pyk", + "rv-utils", + "nixpkgs" + ], + "poetry2nix": "poetry2nix_2", + "rv-utils": "rv-utils_9" }, "locked": { "dir": "pyk", - "lastModified": 1717703773, - "narHash": "sha256-3eIJw8y8COwUCAqGNyv+Q0juud4F/rdIIAAioC/J2f4=", + "lastModified": 1718812979, + "narHash": "sha256-G4Yo48R43EKWyYFkb+MZv1YbM2TRSyNBAJSNn2lKWZI=", "owner": "runtimeverification", "repo": "k", - "rev": "e070a2048b7e6ce45748426c4868d593113af050", + "rev": "4c77ef4276f89d692e80b4d1300202920ee1e466", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.0.120", + "ref": "v7.1.8", "repo": "k", "type": "github" } @@ -835,7 +848,7 @@ "poetry2nix" ], "pyk": "pyk", - "rv-utils": "rv-utils_4", + "rv-utils": "rv-utils_5", "wasm-semantics": "wasm-semantics" } }, @@ -895,7 +908,7 @@ }, "rv-utils_4": { "inputs": { - "nixpkgs": "nixpkgs_5" + "nixpkgs": "nixpkgs_4" }, "locked": { "lastModified": 1716459074, @@ -913,7 +926,7 @@ }, "rv-utils_5": { "inputs": { - "nixpkgs": "nixpkgs_6" + "nixpkgs": "nixpkgs_5" }, "locked": { "lastModified": 1716459074, @@ -931,7 +944,7 @@ }, "rv-utils_6": { "inputs": { - "nixpkgs": "nixpkgs_7" + "nixpkgs": "nixpkgs_6" }, "locked": { "lastModified": 1716459074, @@ -948,6 +961,24 @@ } }, "rv-utils_7": { + "inputs": { + "nixpkgs": "nixpkgs_7" + }, + "locked": { + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", + "owner": "runtimeverification", + "repo": "rv-nix-tools", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "repo": "rv-nix-tools", + "type": "github" + } + }, + "rv-utils_8": { "inputs": { "nixpkgs": "nixpkgs_8" }, @@ -965,6 +996,24 @@ "type": "github" } }, + "rv-utils_9": { + "inputs": { + "nixpkgs": "nixpkgs_9" + }, + "locked": { + "lastModified": 1716459074, + "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", + "owner": "runtimeverification", + "repo": "rv-nix-tools", + "rev": "a65058865cda201de504f5546271b8e997a0be9c", + "type": "github" + }, + "original": { + "owner": "runtimeverification", + "repo": "rv-nix-tools", + "type": "github" + } + }, "stacklock2nix": { "locked": { "lastModified": 1705051190, @@ -1159,16 +1208,16 @@ ] }, "locked": { - "lastModified": 1718292341, - "narHash": "sha256-LBJK7QF4squlT2c5qD+i5gF8mLF7fT7/Ufyefr3CApI=", + "lastModified": 1718971375, + "narHash": "sha256-ccKWrkOex+DcZnBchQnto7aBG0wDIV95zdHzXXroPMc=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "da84992337b4d4cd9b8798722d294c4c12d410e3", + "rev": "b56062830f56aef57e133c3d8f10cab6b874805a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.63", + "ref": "v0.1.66", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index cc6b0b6c..fb6e1d0f 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.63"; - k-framework.url = "github:runtimeverification/k/v7.0.120"; - pyk.url = "github:runtimeverification/k/v7.0.120?dir=pyk"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.66"; + k-framework.url = "github:runtimeverification/k/v7.1.8"; + pyk.url = "github:runtimeverification/k/v7.1.8?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 45699e66..db0c5ad8 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -371,18 +371,18 @@ testing = ["hatch", "pre-commit", "pytest", "tox"] [[package]] name = "filelock" -version = "3.15.1" +version = "3.15.3" description = "A platform independent file lock." optional = false python-versions = ">=3.8" files = [ - {file = "filelock-3.15.1-py3-none-any.whl", hash = "sha256:71b3102950e91dfc1bb4209b64be4dc8854f40e5f534428d8684f953ac847fac"}, - {file = "filelock-3.15.1.tar.gz", hash = "sha256:58a2549afdf9e02e10720eaa4d4470f56386d7a6f72edd7d0596337af8ed7ad8"}, + {file = "filelock-3.15.3-py3-none-any.whl", hash = "sha256:0151273e5b5d6cf753a61ec83b3a9b7d8821c39ae9af9d7ecf2f9e2f17404103"}, + {file = "filelock-3.15.3.tar.gz", hash = "sha256:e1199bf5194a2277273dacd50269f0d87d0682088a3c561c15674ea9005d8635"}, ] [package.extras] docs = ["furo (>=2023.9.10)", "sphinx (>=7.2.6)", "sphinx-autodoc-typehints (>=1.25.2)"] -testing = ["covdefaults (>=2.3)", "coverage (>=7.3.2)", "diff-cover (>=8.0.1)", "pytest (>=7.4.3)", "pytest-asyncio (>=0.21)", "pytest-cov (>=4.1)", "pytest-mock (>=3.12)", "pytest-timeout (>=2.2)"] +testing = ["covdefaults (>=2.3)", "coverage (>=7.3.2)", "diff-cover (>=8.0.1)", "pytest (>=7.4.3)", "pytest-asyncio (>=0.21)", "pytest-cov (>=4.1)", "pytest-mock (>=3.12)", "pytest-timeout (>=2.2)", "virtualenv (>=20.26.2)"] typing = ["typing-extensions (>=4.8)"] [[package]] @@ -527,22 +527,22 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"] [[package]] name = "importlib-metadata" -version = "7.1.0" +version = "7.2.0" description = "Read metadata from Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-7.1.0-py3-none-any.whl", hash = "sha256:30962b96c0c223483ed6cc7280e7f0199feb01a0e40cfae4d4450fc6fab1f570"}, - {file = "importlib_metadata-7.1.0.tar.gz", hash = "sha256:b78938b926ee8d5f020fc4772d487045805a55ddbad2ecf21c6d60938dc7fcd2"}, + {file = "importlib_metadata-7.2.0-py3-none-any.whl", hash = "sha256:04e4aad329b8b948a5711d394fa8759cb80f009225441b4f2a02bd4d8e5f426c"}, + {file = "importlib_metadata-7.2.0.tar.gz", hash = "sha256:3ff4519071ed42740522d494d04819b666541b9752c43012f85afb2cc220fcc6"}, ] [package.dependencies] zipp = ">=0.5" [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] +doc = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] perf = ["ipython"] -testing = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy", "pytest-perf (>=0.9.2)", "pytest-ruff (>=0.2.1)"] +test = ["flufl.flake8", "importlib-resources (>=1.3)", "jaraco.test (>=5.4)", "packaging", "pyfakefs", "pytest (>=6,!=8.1.*)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy", "pytest-perf (>=0.9.2)", "pytest-ruff (>=0.2.1)"] [[package]] name = "iniconfig" @@ -569,6 +569,34 @@ files = [ [package.extras] colors = ["colorama (>=0.4.6)"] +[[package]] +name = "kframework" +version = "7.1.8" +description = "" +optional = false +python-versions = "^3.10" +files = [] +develop = false + +[package.dependencies] +cmd2 = "^2.4.2" +coloredlogs = "^15.0.1" +filelock = "^3.9.0" +graphviz = "^0.20.1" +psutil = "5.9.5" +pybind11 = "^2.10.3" +pytest = "*" +textual = "^0.27.0" +tomli = "^2.0.1" +xdg-base-dirs = "^6.0.1" + +[package.source] +type = "git" +url = "https://github.com/runtimeverification/k.git" +reference = "v7.1.8" +resolved_reference = "4c77ef4276f89d692e80b4d1300202920ee1e466" +subdirectory = "pyk" + [[package]] name = "linkify-it-py" version = "2.0.3" @@ -970,37 +998,9 @@ files = [ [package.extras] windows-terminal = ["colorama (>=0.4.6)"] -[[package]] -name = "pyk" -version = "7.0.120" -description = "" -optional = false -python-versions = "^3.10" -files = [] -develop = false - -[package.dependencies] -cmd2 = "^2.4.2" -coloredlogs = "^15.0.1" -filelock = "^3.9.0" -graphviz = "^0.20.1" -psutil = "5.9.5" -pybind11 = "^2.10.3" -pytest = "*" -textual = "^0.27.0" -tomli = "^2.0.1" -xdg-base-dirs = "^6.0.1" - -[package.source] -type = "git" -url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.120" -resolved_reference = "e070a2048b7e6ce45748426c4868d593113af050" -subdirectory = "pyk" - [[package]] name = "pykwasm" -version = "0.1.63" +version = "0.1.66" description = "" optional = false python-versions = "^3.10" @@ -1009,25 +1009,25 @@ develop = false [package.dependencies] cytoolz = "^0.12.1" +kframework = {git = "https://github.com/runtimeverification/k.git", tag = "v7.1.8", subdirectory = "pyk"} numpy = "^1.24.2" py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0.2.1"} -pyk = {git = "https://github.com/runtimeverification/k.git", tag = "v7.0.120", subdirectory = "pyk"} [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.63" -resolved_reference = "da84992337b4d4cd9b8798722d294c4c12d410e3" +reference = "v0.1.66" +resolved_reference = "b56062830f56aef57e133c3d8f10cab6b874805a" subdirectory = "pykwasm" [[package]] name = "pyperclip" -version = "1.8.2" +version = "1.9.0" description = "A cross-platform clipboard module for Python. (Only handles plain text for now.)" optional = false python-versions = "*" files = [ - {file = "pyperclip-1.8.2.tar.gz", hash = "sha256:105254a8b04934f0bc84e9c24eb360a591aaf6535c9def5f29d92af107a9bf57"}, + {file = "pyperclip-1.9.0.tar.gz", hash = "sha256:b7de0142ddc81bfc5c7507eea19da920b92252b548b96186caf94a5e2527d310"}, ] [[package]] @@ -1152,18 +1152,18 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "70.0.0" +version = "70.1.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-70.0.0-py3-none-any.whl", hash = "sha256:54faa7f2e8d2d11bcd2c07bed282eef1046b5c080d1c32add737d7b5817b1ad4"}, - {file = "setuptools-70.0.0.tar.gz", hash = "sha256:f211a66637b8fa059bb28183da127d4e86396c991a942b028c6650d4319c3fd0"}, + {file = "setuptools-70.1.0-py3-none-any.whl", hash = "sha256:d9b8b771455a97c8a9f3ab3448ebe0b29b5e105f1228bba41028be116985a267"}, + {file = "setuptools-70.1.0.tar.gz", hash = "sha256:01a1e793faa5bd89abc851fa15d0a0db26f160890c7102cd8dce643e886b47f5"}, ] [package.extras] docs = ["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"] -testing = ["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)", "mypy (==1.9)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.2.1)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] +testing = ["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.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "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" @@ -1294,4 +1294,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b718bab1de1bee850d5bfbddf3e6b69c796f6eef541d123dd6fbca9d024abbb3" +content-hash = "279d6b82de40a9398eddbbb16ae0cd5664b544be9710b2266f194137e601d1e9" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 126673a1..803f361d 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.83" +version = "0.1.84" 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.63", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.66", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" diff --git a/package/version b/package/version index 660b5ae0..2d6e50c6 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.83 +0.1.84