From 3795e63f62742bda594d8095915fb4e2cda4b32e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 19 Jun 2024 20:25:33 +0000 Subject: [PATCH 01/13] deps/kwasm_release: Set Version 0.1.64 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index abf5cfcd..9810a3b1 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.63 +0.1.64 From 3f05dd0c7aa4ca58e60315efcb90c23e7706acad Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 19 Jun 2024 20:25:48 +0000 Subject: [PATCH 02/13] Set Version: 0.1.82 --- kmultiversx/pyproject.toml | 2 +- package/version | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index f254f355..73650168 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.81" +version = "0.1.82" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", diff --git a/package/version b/package/version index 962d1c10..59e55c1f 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.81 +0.1.82 From 62c2cbef145af0b253c2e735727796c72e4227a6 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 19 Jun 2024 20:29:30 +0000 Subject: [PATCH 03/13] kmultiversx/: sync poetry files 0.1.64 --- kmultiversx/poetry.lock | 86 +++++++++++++++++++------------------- kmultiversx/pyproject.toml | 2 +- 2 files changed, 44 insertions(+), 44 deletions(-) diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 45699e66..cf45e1dc 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]] @@ -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.64" 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.64" +resolved_reference = "3341874d21982cf5b87a9903a642475429684930" 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 = "31d0522cba01fe0f8f5fec9f240feaa92e10fbd718e1c18430198b4565fa0594" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 73650168..320fe1a5 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -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.64", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" From ff6c72dc82ed61b685021d01e2f5b49aeaa3622e Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 19 Jun 2024 20:29:31 +0000 Subject: [PATCH 04/13] deps/k_release: sync release file version 7.1.8 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From 5de11cedc45f2e7c0ac7268b3e8c035958170448 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 19 Jun 2024 20:29:59 +0000 Subject: [PATCH 05/13] flake.{nix,lock}: update Nix derivations --- flake.lock | 163 ++++++++++++++++++++++++++++++++++------------------- flake.nix | 6 +- 2 files changed, 109 insertions(+), 60 deletions(-) diff --git a/flake.lock b/flake.lock index b672cfcd..08583725 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": 1718828672, + "narHash": "sha256-CGo/tL7UMz9LZFPKHpqWicYY16cUAqg4ZVwGCIL5iH8=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "da84992337b4d4cd9b8798722d294c4c12d410e3", + "rev": "3341874d21982cf5b87a9903a642475429684930", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.63", + "ref": "v0.1.64", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index cc6b0b6c..13244bf6 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.64"; + 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"; From 7f4569aca2807e57afa16cae64727c4ec5f65283 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 20 Jun 2024 21:25:30 +0000 Subject: [PATCH 06/13] deps/kwasm_release: Set Version 0.1.65 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index 9810a3b1..c472eaf6 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.64 +0.1.65 From 83aae30fbc4cacfe1896121f7a51d34d7004a7e5 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 20 Jun 2024 21:25:46 +0000 Subject: [PATCH 07/13] Set Version: 0.1.83 --- kmultiversx/pyproject.toml | 2 +- package/version | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 320fe1a5..247bee1d 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.82" +version = "0.1.83" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", diff --git a/package/version b/package/version index 59e55c1f..660b5ae0 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.82 +0.1.83 From 8390a43fc4e23a6c535f243ccf473b5e64d31e91 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 20 Jun 2024 21:29:15 +0000 Subject: [PATCH 08/13] kmultiversx/: sync poetry files 0.1.65 --- kmultiversx/poetry.lock | 18 +++++++++--------- kmultiversx/pyproject.toml | 2 +- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index cf45e1dc..09a98d34 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -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" @@ -1000,7 +1000,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.64" +version = "0.1.65" description = "" optional = false python-versions = "^3.10" @@ -1016,8 +1016,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.64" -resolved_reference = "3341874d21982cf5b87a9903a642475429684930" +reference = "v0.1.65" +resolved_reference = "e563935b07673d3c7a3c5b9d4d397e67c3da30a4" subdirectory = "pykwasm" [[package]] @@ -1294,4 +1294,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "31d0522cba01fe0f8f5fec9f240feaa92e10fbd718e1c18430198b4565fa0594" +content-hash = "7414c31867c19ac171aa76fc3e1980c6bce72bc4985af8b9e9f5aaeed38b665b" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 247bee1d..64dc4138 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -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.64", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.65", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" From b6811fbf2c7564135f64e5e65307669836723e03 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 20 Jun 2024 21:29:44 +0000 Subject: [PATCH 09/13] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 08583725..3a618d27 100644 --- a/flake.lock +++ b/flake.lock @@ -1208,16 +1208,16 @@ ] }, "locked": { - "lastModified": 1718828672, - "narHash": "sha256-CGo/tL7UMz9LZFPKHpqWicYY16cUAqg4ZVwGCIL5iH8=", + "lastModified": 1718918664, + "narHash": "sha256-UGyR8utOw0QuqVtOdwP3M1svmWrg3PPcucltGXpTjwM=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "3341874d21982cf5b87a9903a642475429684930", + "rev": "e563935b07673d3c7a3c5b9d4d397e67c3da30a4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.64", + "ref": "v0.1.65", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 13244bf6..5c73ea91 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of MultiversX"; inputs = { - wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.64"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.65"; k-framework.url = "github:runtimeverification/k/v7.1.8"; pyk.url = "github:runtimeverification/k/v7.1.8?dir=pyk"; nixpkgs.follows = "k-framework/nixpkgs"; From 7f3bbeb68613f5874a4c8383cdca3250cd860d8d Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 21 Jun 2024 12:04:12 +0000 Subject: [PATCH 10/13] deps/kwasm_release: Set Version 0.1.66 --- deps/kwasm_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/kwasm_release b/deps/kwasm_release index c472eaf6..c24b7ee5 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.65 +0.1.66 From 702c651c3245082e1b5532fa70d6d907553c6c85 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 21 Jun 2024 12:07:40 +0000 Subject: [PATCH 11/13] kmultiversx/: sync poetry files 0.1.66 --- kmultiversx/poetry.lock | 8 ++++---- kmultiversx/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 09a98d34..db0c5ad8 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -1000,7 +1000,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pykwasm" -version = "0.1.65" +version = "0.1.66" description = "" optional = false python-versions = "^3.10" @@ -1016,8 +1016,8 @@ py-wasm = {git = "https://github.com/runtimeverification/py-wasm.git", tag = "0. [package.source] type = "git" url = "https://github.com/runtimeverification/wasm-semantics.git" -reference = "v0.1.65" -resolved_reference = "e563935b07673d3c7a3c5b9d4d397e67c3da30a4" +reference = "v0.1.66" +resolved_reference = "b56062830f56aef57e133c3d8f10cab6b874805a" subdirectory = "pykwasm" [[package]] @@ -1294,4 +1294,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "7414c31867c19ac171aa76fc3e1980c6bce72bc4985af8b9e9f5aaeed38b665b" +content-hash = "279d6b82de40a9398eddbbb16ae0cd5664b544be9710b2266f194137e601d1e9" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 64dc4138..2b27e576 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -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.65", 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" From 4a8b4121df2f800360bfc95bed51a6686144d8c7 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 21 Jun 2024 12:08:08 +0000 Subject: [PATCH 12/13] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 3a618d27..cf5c769e 100644 --- a/flake.lock +++ b/flake.lock @@ -1208,16 +1208,16 @@ ] }, "locked": { - "lastModified": 1718918664, - "narHash": "sha256-UGyR8utOw0QuqVtOdwP3M1svmWrg3PPcucltGXpTjwM=", + "lastModified": 1718971375, + "narHash": "sha256-ccKWrkOex+DcZnBchQnto7aBG0wDIV95zdHzXXroPMc=", "owner": "runtimeverification", "repo": "wasm-semantics", - "rev": "e563935b07673d3c7a3c5b9d4d397e67c3da30a4", + "rev": "b56062830f56aef57e133c3d8f10cab6b874805a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.65", + "ref": "v0.1.66", "repo": "wasm-semantics", "type": "github" } diff --git a/flake.nix b/flake.nix index 5c73ea91..fb6e1d0f 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of MultiversX"; inputs = { - wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.65"; + 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"; From d4ddc3650462eecccf19f1b1fc34be927a8080f4 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 21 Jun 2024 14:58:34 +0000 Subject: [PATCH 13/13] Set Version: 0.1.84 --- kmultiversx/pyproject.toml | 2 +- package/version | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 2b27e576..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. ", 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