From c60f74024852e193632d9275f8ca5ad4ca763d8c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 20 Aug 2024 09:42:05 -0600 Subject: [PATCH] Update dependency: deps/k_release (#691) * deps/k_release: Set Version 7.1.104 * Set Version: 0.1.99 * pykwasm/: sync poetry files 7.1.104 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.106 * pykwasm/: sync poetry files 7.1.106 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.107 * pykwasm/: sync poetry files 7.1.107 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.108 * pykwasm/: sync poetry files 7.1.108 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.109 * pykwasm/: sync poetry files 7.1.109 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.110 * pykwasm/: sync poetry files 7.1.110 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.111 * pykwasm/: sync poetry files 7.1.111 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.112 * pykwasm/: sync poetry files 7.1.112 * 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 | 40 ++++++++++++++++++++-------------------- pykwasm/pyproject.toml | 4 ++-- 6 files changed, 37 insertions(+), 37 deletions(-) diff --git a/deps/k_release b/deps/k_release index 847656efa..d349d5568 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.103 +7.1.112 diff --git a/flake.lock b/flake.lock index b4025a070..36ed7c49f 100644 --- a/flake.lock +++ b/flake.lock @@ -67,16 +67,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1722860063, - "narHash": "sha256-5K3BIIbwkMpN4idvAHRrw0JzHRL6Au4ui+7NqkX+c3w=", + "lastModified": 1723630441, + "narHash": "sha256-BbJwGKi2kwbSIegUZTuZvzOoA9g/NRn7mwsgOhKpFvg=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "7047b0964349727e54425c2c81478caf3dad757c", + "rev": "8d4aafc4bc2cb6ab9d992030c6482b712309608f", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.58", + "ref": "v0.1.67", "repo": "haskell-backend", "type": "github" } @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1723222636, - "narHash": "sha256-V4rRuc7QN7rbtFS6d76kM0AZJJJp8vsXqXYz5nQebIk=", + "lastModified": 1724075892, + "narHash": "sha256-/xlvUynh4jO1Tq24mYQj3++tman37uXSAWECUIZD6pA=", "owner": "runtimeverification", "repo": "k", - "rev": "0643095937a08f26e94d58cd8c2651ab1b0b4a07", + "rev": "d8abc6b62823435eae5a2a8df2ae1e8256ae2c43", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.103", + "ref": "v7.1.112", "repo": "k", "type": "github" } @@ -405,16 +405,16 @@ "z3": { "flake": false, "locked": { - "lastModified": 1674011426, - "narHash": "sha256-7cuUf29TMpX62PwO1ab3ZuzmzlcrRjTKB1CyXnYgYus=", + "lastModified": 1709835916, + "narHash": "sha256-MIbP3QgKIGF/qUMTupaO7xD46LbmH69kF/394Sajhkg=", "owner": "Z3Prover", "repo": "z3", - "rev": "3012293c35eadbfd73e5b94adbe50b0cc44ffb83", + "rev": "3049f578a8f98a0b0992eca193afe57a73b30ca3", "type": "github" }, "original": { "owner": "Z3Prover", - "ref": "z3-4.12.1", + "ref": "z3-4.13.0", "repo": "z3", "type": "github" } diff --git a/flake.nix b/flake.nix index d817b293d..1a45ffb5c 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.103"; + k-framework.url = "github:runtimeverification/k/v7.1.112"; 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 5d5322df6..5c5330a6e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.98 +0.1.99 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 47d04dae7..5e024609a 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -514,13 +514,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.110.1" +version = "6.111.1" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.110.1-py3-none-any.whl", hash = "sha256:4b54a4ed3385c53b247b99e7b3c9630e7b665ef3cfdb2c557dd1c0b34d090481"}, - {file = "hypothesis-6.110.1.tar.gz", hash = "sha256:a138bfaea11aba6daadf8effd9065251a6fec1549f25b7d72ac9881a413f76b0"}, + {file = "hypothesis-6.111.1-py3-none-any.whl", hash = "sha256:9422adbac4b2104f6cf92dc6604b5c9df975efc08ffc7145ecc39bc617243835"}, + {file = "hypothesis-6.111.1.tar.gz", hash = "sha256:6ab6185a858fa692bf125c0d0a936134edc318bee01c05e407c71c9ead0b61c5"}, ] [package.dependencies] @@ -529,10 +529,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.65)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.11)", "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.66)", "django (>=3.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.12)", "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.65)", "hypothesis-crosshair (>=0.0.11)"] +crosshair = ["crosshair-tool (>=0.0.66)", "hypothesis-crosshair (>=0.0.12)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=3.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -591,13 +591,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.103" +version = "7.1.112" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.103-py3-none-any.whl", hash = "sha256:a148f763fd1a65a67511cc72f737ecd3d53897597c72fc56be3bbd0579fe4b22"}, - {file = "kframework-7.1.103.tar.gz", hash = "sha256:b62571985cbe6a1654c2420703c0df9e2528bb474f68e9ea7a2b437e6f6de10d"}, + {file = "kframework-7.1.112-py3-none-any.whl", hash = "sha256:bf0eae34aa35b67d831c91f314bd94a80c5a88a59cda77fc7399bafb0c2c8fe5"}, + {file = "kframework-7.1.112.tar.gz", hash = "sha256:d171197791d794e58a0e5b813e8ccde010bcc8d022e247cb1d2c71b8326ed15a"}, ] [package.dependencies] @@ -925,17 +925,17 @@ resolved_reference = "e5fb6ed5b1aebf1c0d67087397b3c1240ff412da" [[package]] name = "pybind11" -version = "2.13.1" +version = "2.13.4" description = "Seamless operability between C++11 and Python" optional = false python-versions = ">=3.7" files = [ - {file = "pybind11-2.13.1-py3-none-any.whl", hash = "sha256:97881536abe0cd4260a9ccc5bf6d1cf3113318f08af1feb82d4b9f95e93f0aa4"}, - {file = "pybind11-2.13.1.tar.gz", hash = "sha256:65be498b1cac516161add1508e65375674916bebf2570d057dc9c3c7bcbbc7b0"}, + {file = "pybind11-2.13.4-py3-none-any.whl", hash = "sha256:5932d63d570b3a12ece2f6678adb3846cc1c229dc1f8518a46d5b540f240f959"}, + {file = "pybind11-2.13.4.tar.gz", hash = "sha256:75a9e1f967d3cd3fd59f981eb39406f9de05e33a4dd8f5f18b8e29cae023e1d5"}, ] [package.extras] -global = ["pybind11-global (==2.13.1)"] +global = ["pybind11-global (==2.13.4)"] [[package]] name = "pycodestyle" @@ -1105,18 +1105,18 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "72.1.0" +version = "72.2.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-72.1.0-py3-none-any.whl", hash = "sha256:5a03e1860cf56bb6ef48ce186b0e557fdba433237481a9a625176c2831be15d1"}, - {file = "setuptools-72.1.0.tar.gz", hash = "sha256:8d243eff56d095e5817f796ede6ae32941278f542e0f941867cc05ae52b162ec"}, + {file = "setuptools-72.2.0-py3-none-any.whl", hash = "sha256:f11dd94b7bae3a156a95ec151f24e4637fb4fa19c878e4d191bfb8b2d82728c4"}, + {file = "setuptools-72.2.0.tar.gz", hash = "sha256:80aacbf633704e9c8bfa1d99fa5dd4dc59573efcf9e4042c13d3bcef91ac2ef9"}, ] [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"] +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", "towncrier (<24.7)"] 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]] @@ -1232,13 +1232,13 @@ files = [ [[package]] name = "zipp" -version = "3.19.2" +version = "3.20.0" description = "Backport of pathlib-compatible object wrapper for zip files" optional = false python-versions = ">=3.8" files = [ - {file = "zipp-3.19.2-py3-none-any.whl", hash = "sha256:f091755f667055f2d02b32c53771a7a6c8b47e1fdbc4b72a8b9072b3eef8015c"}, - {file = "zipp-3.19.2.tar.gz", hash = "sha256:bf1dcf6450f873a13e952a29504887c89e6de7506209e5b1bcc3460135d4de19"}, + {file = "zipp-3.20.0-py3-none-any.whl", hash = "sha256:58da6168be89f0be59beb194da1250516fdaa062ccebd30127ac65d30045e10d"}, + {file = "zipp-3.20.0.tar.gz", hash = "sha256:0145e43d89664cfe1a2e533adc75adafed82fe2da404b4bbb6b026c0157bdb31"}, ] [package.extras] @@ -1248,4 +1248,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "439d50ca74a781da40e6694027dad1e672f59d7f7c57e49a71c51cf3dcd05d32" +content-hash = "027dda16687b0dc1e12bd870f7713502637f890589c9d01e12077cbae9962f70" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index f317169c2..fc5e716f5 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.98" +version = "0.1.99" 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.103" +kframework = "7.1.112" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]