From e7cca9fd0b63d53aaa48533cc5e3b48491b7e165 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Dec 2024 05:20:09 +0000 Subject: [PATCH 1/5] deps/k_release: Set Version 7.1.190 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index b84d2573b..c8f95abe8 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.187 +7.1.190 From b91370446cf11018df5b2b52a7a8fc06a9555d30 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Dec 2024 05:20:21 +0000 Subject: [PATCH 2/5] Set Version: 0.3.59 --- kmir/pyproject.toml | 2 +- kmir/src/kmir/__init__.py | 2 +- package/version | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 46cf25afe..31380bbd4 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.3.58" +version = "0.3.59" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 5d1816fc4..5eb385864 100644 --- a/kmir/src/kmir/__init__.py +++ b/kmir/src/kmir/__init__.py @@ -1,3 +1,3 @@ from typing import Final -VERSION: Final = '0.3.58' +VERSION: Final = '0.3.59' diff --git a/package/version b/package/version index 6d716d908..a6d5224cc 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.3.58 +0.3.59 From 42bfe48f2a288da3c9c6a1461bef073aad8c9d25 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Dec 2024 14:32:01 +0000 Subject: [PATCH 3/5] deps/k_release: Set Version 7.1.191 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c8f95abe8..d40142978 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.190 +7.1.191 From e69f43e9d0ff3bdd9254d0a88fb8c99be01cc22f Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Dec 2024 14:33:56 +0000 Subject: [PATCH 4/5] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 30 +++++++++++++++--------------- kmir/pyproject.toml | 2 +- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index ecbe71642..3bd7ad250 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -2,20 +2,20 @@ [[package]] name = "attrs" -version = "24.2.0" +version = "24.3.0" description = "Classes Without Boilerplate" category = "main" optional = false -python-versions = ">=3.7" +python-versions = ">=3.8" files = [ - {file = "attrs-24.2.0-py3-none-any.whl", hash = "sha256:81921eb96de3191c8258c199618104dd27ac608d9366f5e35d011eae1867ede2"}, - {file = "attrs-24.2.0.tar.gz", hash = "sha256:5cfb1b9148b5b086569baec03f20d7b6bf3bcacc9a42bebf87ffaaca362f6346"}, + {file = "attrs-24.3.0-py3-none-any.whl", hash = "sha256:ac96cd038792094f438ad1f6ff80837353805ac950cd2aa0e0625ef19850c308"}, + {file = "attrs-24.3.0.tar.gz", hash = "sha256:8f5c07333d543103541ba7be0e2ce16eeee8130cb0b3f9238ab904ce1e85baff"}, ] [package.extras] benchmark = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pympler", "pytest (>=4.3.0)", "pytest-codspeed", "pytest-mypy-plugins", "pytest-xdist[psutil]"] cov = ["cloudpickle", "coverage[toml] (>=5.3)", "hypothesis", "mypy (>=1.11.1)", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] -dev = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pre-commit", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] +dev = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pre-commit-uv", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] docs = ["cogapp", "furo", "myst-parser", "sphinx", "sphinx-notfound-page", "sphinxcontrib-towncrier", "towncrier (<24.7)"] tests = ["cloudpickle", "hypothesis", "mypy (>=1.11.1)", "pympler", "pytest (>=4.3.0)", "pytest-mypy-plugins", "pytest-xdist[psutil]"] tests-mypy = ["mypy (>=1.11.1)", "pytest-mypy-plugins"] @@ -309,14 +309,14 @@ pyflakes = ">=3.2.0,<3.3.0" [[package]] name = "flake8-bugbear" -version = "24.10.31" +version = "24.12.12" description = "A plugin for flake8 finding likely bugs and design problems in your program. Contains warnings that don't belong in pyflakes and pycodestyle." category = "dev" optional = false python-versions = ">=3.8.1" files = [ - {file = "flake8_bugbear-24.10.31-py3-none-any.whl", hash = "sha256:cccf786ccf9b2e1052b1ecfa80fb8f80832d0880425bcbd4cd45d3c8128c2683"}, - {file = "flake8_bugbear-24.10.31.tar.gz", hash = "sha256:435b531c72b27f8eff8d990419697956b9fd25c6463c5ba98b3991591de439db"}, + {file = "flake8_bugbear-24.12.12-py3-none-any.whl", hash = "sha256:1b6967436f65ca22a42e5373aaa6f2d87966ade9aa38d4baf2a1be550767545e"}, + {file = "flake8_bugbear-24.12.12.tar.gz", hash = "sha256:46273cef0a6b6ff48ca2d69e472f41420a42a46e24b2a8972e4f0d6733d12a64"}, ] [package.dependencies] @@ -531,14 +531,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.187" +version = "7.1.191" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.187-py3-none-any.whl", hash = "sha256:3f646b1bfb2e3ad48c76ec4751a0d767a1ccd8d3f3d603bb839c5b869f7d3043"}, - {file = "kframework-7.1.187.tar.gz", hash = "sha256:fa2ecff8728f3ff229bbfdfb02dd437609c9c45c6174477ace318bf5daa6947f"}, + {file = "kframework-7.1.191-py3-none-any.whl", hash = "sha256:b12d60a8a178fabdd6b12caa0041f4af64655a199f08e569c50170d5e8a74cde"}, + {file = "kframework-7.1.191.tar.gz", hash = "sha256:f2bc40c5ab5ba81140f61e34bdc8b93c4296d456b9a59dfd478a220232926b8e"}, ] [package.dependencies] @@ -976,14 +976,14 @@ testing = ["filelock"] [[package]] name = "pyupgrade" -version = "3.19.0" +version = "3.19.1" description = "A tool to automatically upgrade syntax for newer versions." category = "dev" optional = false python-versions = ">=3.9" files = [ - {file = "pyupgrade-3.19.0-py2.py3-none-any.whl", hash = "sha256:1364fcae4436a6a236a85960587390ec8a939ad0f65f429346f70a5f201c1489"}, - {file = "pyupgrade-3.19.0.tar.gz", hash = "sha256:7ed4b7d972ed2788c43994f4a24f949d5bf044342992f3b48e1bed0092ddaa01"}, + {file = "pyupgrade-3.19.1-py2.py3-none-any.whl", hash = "sha256:8c5b0bfacae5ff30fa136a53eb7f22c34ba007450d4099e9da8089dabb9e67c9"}, + {file = "pyupgrade-3.19.1.tar.gz", hash = "sha256:d10e8c5f54b8327211828769e98d95d95e4715de632a3414f1eef3f51357b9e2"}, ] [package.dependencies] @@ -1191,4 +1191,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "69993407b2765fb752a944e06a6439eed7b689f9fbd674cb8150b785af1ae5d1" +content-hash = "0cab7f45ed675d191b727f175e7aafab593d9a9a7ae88d4fae5fbca343ee4fa7" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 31380bbd4..4322f68a4 100644 --- a/kmir/pyproject.toml +++ b/kmir/pyproject.toml @@ -23,7 +23,7 @@ pytest-kmir = "kmir.testing.fixtures" [tool.poetry.dependencies] python = "^3.10" -kframework = "7.1.187" +kframework = "7.1.191" [tool.poetry.group.dev.dependencies] autoflake = "*" From 3b7e437eff7a42f21738fabe7dcf42872af75c79 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 17 Dec 2024 14:34:46 +0000 Subject: [PATCH 5/5] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/flake.lock b/flake.lock index aee470c12..76846844b 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1733906779, - "narHash": "sha256-7EHntkwnhYa8xTiMC6s0OzUcqxP+fKaNB/Ed98gf+io=", + "lastModified": 1734443427, + "narHash": "sha256-IVE4m5PzItHrzJrEh5JOaP3WEzkXCmCj4FzclvkkTi0=", "owner": "runtimeverification", "repo": "k", - "rev": "ca93ca476a73abfbff358a6911fcb0e260371d58", + "rev": "06a03e825b9ca8ef030e4b9014c2a0767cccdf5a", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.187", + "ref": "v7.1.191", "repo": "k", "type": "github" } @@ -151,16 +151,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1733763903, - "narHash": "sha256-wvkNjv30PWyswJA2+1XnNSydCX+jXAiaaGovz2z/5Lw=", + "lastModified": 1730229432, + "narHash": "sha256-2Y4U7TCmSf9NAZCBmvXiHLOXrHxpiRgIpw5ERYDdNSM=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "b16e56c905b7dc4db70ac7c0ec00abc18831500d", + "rev": "d5eab4b0f0e610bc60843ebb482f79c043b92702", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.113", + "ref": "v0.1.103", "repo": "llvm-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index f1ac76bfc..293cd49fd 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "mir-semantics - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.187"; + k-framework.url = "github:runtimeverification/k/v7.1.191"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils";