From 5e88bee61b08c47a5c204a03ee7579f0fd840523 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 8 Mar 2024 08:03:12 -0700 Subject: [PATCH] Update dependency: deps/pyk_release (#339) * deps/pyk_release: Set Version v0.1.691 * Set Version: 0.2.37 * kmir/{pyproject.toml,poetry.lock}: sync Poetry files * deps/k_release: sync release file version 6.3.29 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/k_release | 2 +- deps/pyk_release | 2 +- flake.lock | 32 ++++++++++++++++---------------- flake.nix | 4 ++-- kmir/poetry.lock | 18 +++++++++--------- kmir/pyproject.toml | 4 ++-- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 8 files changed, 33 insertions(+), 33 deletions(-) diff --git a/deps/k_release b/deps/k_release index c73b21b80..c6acbd069 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.25 +6.3.29 diff --git a/deps/pyk_release b/deps/pyk_release index c25df638b..2ad1b69eb 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.685 +v0.1.691 diff --git a/flake.lock b/flake.lock index 20ffea723..a90c6433a 100644 --- a/flake.lock +++ b/flake.lock @@ -18,17 +18,17 @@ ] }, "locked": { - "lastModified": 1709250127, - "narHash": "sha256-FQt90pGfL9rfEvPpME5JLg/1HMsObNZRTo1F7CrCpK4=", + "lastModified": 1709307733, + "narHash": "sha256-ys1ajyEhjC9iV9FSG/PsG/PEEWoerdhvLAPmlDRBVVc=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1f693f02af6f706bcb061b573f1ac50d41e5233e", + "rev": "fd230760909a00c0d0dc591c7fcd20ef072592bc", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "1f693f02af6f706bcb061b573f1ac50d41e5233e", + "rev": "fd230760909a00c0d0dc591c7fcd20ef072592bc", "type": "github" } }, @@ -115,17 +115,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1709046454, - "narHash": "sha256-ZCuQ7Mi99OkUocDJ+FKZQI5NZQjyEKPks7lg7b/rTKc=", + "lastModified": 1709251475, + "narHash": "sha256-1F5e9DGmS2YeWirHkc5PsG3xFH4EsNRGYbagUv2EP2I=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "62a3e13dc5c681a536271b834b11098aae9bce35", + "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "62a3e13dc5c681a536271b834b11098aae9bce35", + "rev": "0dcecfab68794c3b47d32404145dac0f9690f65d", "type": "github" } }, @@ -160,16 +160,16 @@ "rv-utils": "rv-utils_3" }, "locked": { - "lastModified": 1709554158, - "narHash": "sha256-OnVgXOsw6JFtkg8RDnRgtmBP6VGLfB+bmkDjt9S7NKA=", + "lastModified": 1709827372, + "narHash": "sha256-/olarrcbIhIhcRlwRSMuAv7DyyO2YhtbSkucKN52nB0=", "owner": "runtimeverification", "repo": "k", - "rev": "aceff4aac9bdd69b4443cce5fb5c96ca6c15c761", + "rev": "bea8cf38cf5963aa47bef31250edcfcadf2905c5", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v6.3.25", + "ref": "v6.3.29", "repo": "k", "type": "github" } @@ -395,16 +395,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1709746007, - "narHash": "sha256-PLrAz6xjASwjyXcvd+ooNAyhJTI+ORRf3ZZhUU2U7A4=", + "lastModified": 1709859653, + "narHash": "sha256-p8DZ6hJkhdxu79YNp1wwzcrtt3fIC1aD5g4J+OviW4Y=", "owner": "runtimeverification", "repo": "pyk", - "rev": "03a8ca03c8f93dcc78aecc335a262c4f1524edb2", + "rev": "e8537c085944d51c35fdd2ea50de46375c3b9d59", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.685", + "ref": "v0.1.691", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 1a48f8be3..34d0975d0 100644 --- a/flake.nix +++ b/flake.nix @@ -2,11 +2,11 @@ description = " A flake for KMIR Semantics"; inputs = { - k-framework.url = "github:runtimeverification/k/v6.3.25"; + k-framework.url = "github:runtimeverification/k/v6.3.29"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/pyk/v0.1.685"; + pyk.url = "github:runtimeverification/pyk/v0.1.691"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 48d6c4fd3..37f13147c 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -297,23 +297,23 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "importlib-metadata" -version = "7.0.1" +version = "7.0.2" description = "Read metadata from Python packages" category = "main" optional = false python-versions = ">=3.8" files = [ - {file = "importlib_metadata-7.0.1-py3-none-any.whl", hash = "sha256:4805911c3a4ec7c3966410053e9ec6a1fecd629117df5adee56dfc9432a1081e"}, - {file = "importlib_metadata-7.0.1.tar.gz", hash = "sha256:f238736bb06590ae52ac1fab06a3a9ef1d8dce2b7a35b5ab329371d6c8f5d2cc"}, + {file = "importlib_metadata-7.0.2-py3-none-any.whl", hash = "sha256:f4bc4c0c070c490abf4ce96d715f68e95923320370efb66143df00199bb6c100"}, + {file = "importlib_metadata-7.0.2.tar.gz", hash = "sha256:198f568f3230878cb1b44fbd7975f87906c22336dba2e4a7f05278c281fbd792"}, ] [package.dependencies] zipp = ">=0.5" [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (<7.2.5)", "sphinx (>=3.5)", "sphinx-lint"] +docs = ["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)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-black (>=0.3.7)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy (>=0.9.1)", "pytest-perf (>=0.9.2)", "pytest-ruff"] +testing = ["flufl.flake8", "importlib-resources (>=1.3)", "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)"] [[package]] name = "iniconfig" @@ -649,7 +649,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "0.1.685" +version = "0.1.691" description = "" category = "main" optional = false @@ -671,8 +671,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.685" -resolved_reference = "03a8ca03c8f93dcc78aecc335a262c4f1524edb2" +reference = "v0.1.691" +resolved_reference = "e8537c085944d51c35fdd2ea50de46375c3b9d59" [[package]] name = "pyperclip" @@ -913,4 +913,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "2c74c128f6971ec3f05b9880ba5006c2a6f72546910ff60b03eedc2711469924" +content-hash = "750f0c7887188c833bdd7a518c792b2b40f92078576f863b8f5c7c7867895ea2" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 970e03488..2a9b38b72 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmir" -version = "0.2.36" +version = "0.2.37" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" filelock = "3.9.0" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.685" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.691" } pytest-timeout = "2.1.0" [tool.poetry.group.dev.dependencies] diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 59042923b..aa66404d2 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -5,4 +5,4 @@ from .prove import prove, show_proof, view_proof from .run import run -VERSION: Final = '0.2.36' +VERSION: Final = '0.2.37' diff --git a/package/version b/package/version index d4ca806c1..aa0499977 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.2.36 +0.2.37