From bc88604447924758f8d7ab73634678972c04f68a Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 4 Dec 2024 00:42:57 -0700 Subject: [PATCH] Update dependency: deps/k_release (#709) * deps/k_release: Set Version 7.1.181 * Set Version: 0.1.116 * pykwasm/: sync poetry files 7.1.181 * flake.{nix,lock}: update Nix derivations * deps/k_release: Set Version 7.1.182 * pykwasm/: sync poetry files 7.1.182 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 2 +- package/version | 2 +- pykwasm/poetry.lock | 24 ++++++++++++------------ pykwasm/pyproject.toml | 4 ++-- 6 files changed, 25 insertions(+), 25 deletions(-) diff --git a/deps/k_release b/deps/k_release index 5b7f57a99..bfa03b7f6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.180 +7.1.182 diff --git a/flake.lock b/flake.lock index 62e2ee3db..5028c1b14 100644 --- a/flake.lock +++ b/flake.lock @@ -67,16 +67,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1732696861, - "narHash": "sha256-gL/m08eSp07XvdTBG4+IniP3ciB4MPiyuNkl/4Cs1/U=", + "lastModified": 1733283993, + "narHash": "sha256-CK126KzmZQfPqqn0SFba1vg4DL/V/13dsjcFareE8Lo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0a9f66963ea3e13bcec32f5d2c4f480bf0acf65e", + "rev": "1b6cacb3eab29c7e449b2d255321c3ed348f4229", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.101", + "ref": "v0.1.104", "repo": "haskell-backend", "type": "github" } @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1732784580, - "narHash": "sha256-2e5gPnT2C1dImYSK9GMctKfYcFy1MaUh4HaXiID/cPU=", + "lastModified": 1733288602, + "narHash": "sha256-OwXSvDPLpIaL2IpijEdz9DPGWXjvY5ng8/vzcWXAqgI=", "owner": "runtimeverification", "repo": "k", - "rev": "1095542f14bb9c963812926fd44c170f11297a7e", + "rev": "cd8dd090f391762158b6765c84fae7864f86edde", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.180", + "ref": "v7.1.182", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 8a7a466cc..42d1a2312 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.180"; + k-framework.url = "github:runtimeverification/k/v7.1.182"; 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 72400828d..793d0e319 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.115 +0.1.116 diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock index 2529b0e11..191104675 100644 --- a/pykwasm/poetry.lock +++ b/pykwasm/poetry.lock @@ -545,13 +545,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.121.0" +version = "6.122.1" description = "A library for property-based testing" optional = false python-versions = ">=3.9" files = [ - {file = "hypothesis-6.121.0-py3-none-any.whl", hash = "sha256:7f62ec69a217e06adc6791eda4464fafd2f8d95b7bfe89a7120700cfac604adb"}, - {file = "hypothesis-6.121.0.tar.gz", hash = "sha256:99f6b38eacefbd7e10ddd3a716f242f4cfaabb3a332ff6b286f8314084d0be84"}, + {file = "hypothesis-6.122.1-py3-none-any.whl", hash = "sha256:59e52da0f2529b40f0b7bd0c3c61d8b3fe3337102800bf3534c53d4a8bdf8a6d"}, + {file = "hypothesis-6.122.1.tar.gz", hash = "sha256:23280e802eef88316b02cb32205d74b5bf2e3de4a378e2579a8974117c512b83"}, ] [package.dependencies] @@ -560,10 +560,10 @@ exceptiongroup = {version = ">=1.0.0", markers = "python_version < \"3.11\""} sortedcontainers = ">=2.1.0,<3.0.0" [package.extras] -all = ["black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.77)", "django (>=4.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.18)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.19.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.2)"] +all = ["black (>=19.10b0)", "click (>=7.0)", "crosshair-tool (>=0.0.78)", "django (>=4.2)", "dpcontracts (>=0.4)", "hypothesis-crosshair (>=0.0.18)", "lark (>=0.10.1)", "libcst (>=0.3.16)", "numpy (>=1.19.3)", "pandas (>=1.1)", "pytest (>=4.6)", "python-dateutil (>=1.4)", "pytz (>=2014.1)", "redis (>=3.0.0)", "rich (>=9.0.0)", "tzdata (>=2024.2)"] cli = ["black (>=19.10b0)", "click (>=7.0)", "rich (>=9.0.0)"] codemods = ["libcst (>=0.3.16)"] -crosshair = ["crosshair-tool (>=0.0.77)", "hypothesis-crosshair (>=0.0.18)"] +crosshair = ["crosshair-tool (>=0.0.78)", "hypothesis-crosshair (>=0.0.18)"] dateutil = ["python-dateutil (>=1.4)"] django = ["django (>=4.2)"] dpcontracts = ["dpcontracts (>=0.4)"] @@ -626,13 +626,13 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.180" +version = "7.1.182" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.180-py3-none-any.whl", hash = "sha256:9eaa81cc42c71efdee2edf5c6687410c732d489ebb5481f0a9c79484f0779ba0"}, - {file = "kframework-7.1.180.tar.gz", hash = "sha256:e6e55d057d89c26a2760ee68d6be8836607d99f81847e456ba1d72bc6e9744e2"}, + {file = "kframework-7.1.182-py3-none-any.whl", hash = "sha256:7d3267fa7c5d3c6601eca9bd84bc9cf931251c69a3366b49626b94fd945ab7a8"}, + {file = "kframework-7.1.182.tar.gz", hash = "sha256:d0c53f44496c4f48488c021b8d41dd2c6374cc0314c9084f48b1e5b768849d53"}, ] [package.dependencies] @@ -1042,13 +1042,13 @@ dev = ["build", "flake8", "mypy", "pytest", "twine"] [[package]] name = "pytest" -version = "8.3.3" +version = "8.3.4" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.3.3-py3-none-any.whl", hash = "sha256:a6853c7375b2663155079443d2e45de913a911a11d669df02a50814944db57b2"}, - {file = "pytest-8.3.3.tar.gz", hash = "sha256:70b98107bd648308a7952b06e6ca9a50bc660be218d53c257cc1fc94fda10181"}, + {file = "pytest-8.3.4-py3-none-any.whl", hash = "sha256:50e16d954148559c9a74109af1eaf0c945ba2d8f30f0a3d3335edde19788b6f6"}, + {file = "pytest-8.3.4.tar.gz", hash = "sha256:965370d062bce11e73868e0335abac31b4d3de0e82f4007408d242b4f8610761"}, ] [package.dependencies] @@ -1333,4 +1333,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "1ee0ea0641ef6787e7dd22dcf1939567f271752be20fd5ce2a6811485104e686" +content-hash = "cddce16c5976ad65e00e8b83fcd2c3e4a867f0af97bb00ec819b20f83ac529a5" diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml index 6a26f05d7..cc5b1abf7 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.115" +version = "0.1.116" 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.180" +kframework = "7.1.182" py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" } [tool.poetry.group.dev.dependencies]