From be78362547dbfdd7573a55bc3204cd011ae9f155 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 22 Jul 2024 15:23:52 -0600 Subject: [PATCH] Update dependency: deps/kwasm_release (#309) * deps/kwasm_release: Set Version 0.1.90 * Set Version: 0.1.100 * kmultiversx/: sync poetry files 0.1.90 * deps/k_release: sync release file version 7.1.72 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/kwasm_release | 2 +- flake.lock | 64 +++++++++++++++++++------------------- flake.nix | 6 ++-- kmultiversx/poetry.lock | 44 +++++++++++++------------- kmultiversx/pyproject.toml | 4 +-- package/version | 2 +- 7 files changed, 62 insertions(+), 62 deletions(-) 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/kwasm_release b/deps/kwasm_release index 5096aa31..591c92d2 100644 --- a/deps/kwasm_release +++ b/deps/kwasm_release @@ -1 +1 @@ -0.1.89 +0.1.90 diff --git a/flake.lock b/flake.lock index de13c6b4..32570f28 100644 --- a/flake.lock +++ b/flake.lock @@ -218,16 +218,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" } @@ -250,16 +250,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" } @@ -320,16 +320,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" } @@ -359,16 +359,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" } @@ -407,16 +407,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" } @@ -439,16 +439,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" } @@ -716,17 +716,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" } @@ -1137,16 +1137,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 b8a35ebe..35644c34 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.89"; - k-framework.url = "github:runtimeverification/k/v7.1.70"; - pyk.url = "github:runtimeverification/k/v7.1.70?dir=pyk"; + wasm-semantics.url = "github:runtimeverification/wasm-semantics/v0.1.90"; + k-framework.url = "github:runtimeverification/k/v7.1.72"; + pyk.url = "github:runtimeverification/k/v7.1.72?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 d5d82a68..120fea5d 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.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] @@ -509,10 +509,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)"] @@ -571,13 +571,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] @@ -996,7 +996,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" @@ -1005,15 +1005,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]] @@ -1039,13 +1039,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] @@ -1053,7 +1053,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] @@ -1148,19 +1148,19 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "71.0.3" +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.3-py3-none-any.whl", hash = "sha256:f501b6e6db709818dc76882582d9c516bf3b67b948864c5fa1d1624c09a49207"}, - {file = "setuptools-71.0.3.tar.gz", hash = "sha256:3d8531791a27056f4a38cd3e54084d8b1c4228ff9cf3f2d7dd075ec99f9fd70d"}, + {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 (<7.4)", "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"] +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.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" @@ -1291,4 +1291,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "37917cf8c5513058d633af1513d4ba18c37a190e0d6a20ea3ad38d36a5191d12" +content-hash = "daac7f024e7c256266bfb56cbcd71529d676244f96200db467350bbafab44308" diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 4463dcf9..0a64fd59 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.99" +version = "0.1.100" 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.89", subdirectory = "pykwasm" } +pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.90", subdirectory = "pykwasm" } pycryptodomex = "^3.18.0" hypothesis = "^6.82.6" exceptiongroup = "==1.2.1" diff --git a/package/version b/package/version index 5c5330a6..71fb8a1c 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.99 +0.1.100