From f0734bc8c1a7beb3efd8ebc678c7b2e33c1af783 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 22 Jul 2024 14:26:06 -0600 Subject: [PATCH] Update dependency: deps/k_release (#682) * deps/k_release: Set Version 7.1.72 * Set Version: 0.1.90 * pykwasm/: sync poetry files 7.1.72 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- package/version | 2 +- pykwasm/poetry.lock | 36 ++++++++++++++++++------------------ pykwasm/pyproject.toml | 4 ++-- 6 files changed, 35 insertions(+), 35 deletions(-) diff --git a/deps/k_release b/deps/k_release index 71c91675f..058f28c28 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.70 +7.1.72 diff --git a/flake.lock b/flake.lock index 4fe0d56e3..0379280a4 100644 --- a/flake.lock +++ b/flake.lock @@ -67,16 +67,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" } @@ -120,16 +120,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" } @@ -151,16 +151,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" } diff --git a/flake.nix b/flake.nix index 8295393a2..b0be3951d 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "K Semantics of WebAssembly"; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.70"; + k-framework.url = "github:runtimeverification/k/v7.1.72"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; diff --git a/package/version b/package/version index 5096aa31f..591c92d22 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.89 +0.1.90 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 9f1e57cfa..846fa049c 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/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.3" 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.3-py3-none-any.whl", hash = "sha256:fcc6864881d6ceab6924d77d81e3ed43fb820452293e4e07a2c81e0a95a65185"}, + {file = "hypothesis-6.108.3.tar.gz", hash = "sha256:095f2b049fba33f7920889e513b675dbf112bb740bc8d1ea433fdf7fd23cf37e"}, ] [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] @@ -976,13 +976,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] @@ -990,7 +990,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] @@ -1085,19 +1085,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" @@ -1228,4 +1228,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "48aa9a7bd7c69b151f400a49ec1dc5e411e7248ebcedc896715a2ed82f521795" +content-hash = "2b6b54fdf17de356a5fb3f759e0887a9fc80461e6c6cb8b2860d629b0d7f9ca2" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 1e023ff11..cd8ca1a8c 100644 --- a/pykwasm/pyproject.toml +++ b/pykwasm/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pykwasm" -version = "0.1.89" +version = "0.1.90" description = "" authors = [ "Runtime Verification, Inc. ", @@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin" python = "^3.10" cytoolz = "^0.12.1" numpy = "^1.24.2" -kframework = "7.1.70" +kframework = "7.1.72" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]