From cc0a1e2330a7e61069750366d54af8710b259a24 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Aug 2024 21:43:02 +0000 Subject: [PATCH 01/27] deps/k_release: Set Version 7.1.124 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index e85246a8e..9255de696 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.123 +7.1.124 From b9f7618da83bcd6a4dcb03d3760bc2419ec17041 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Aug 2024 21:43:15 +0000 Subject: [PATCH 02/27] Set Version: 0.3.42 --- 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 8da32fa8f..13cdbadb3 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.41" +version = "0.3.42" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index 9bb1651e7..fe0e05aa6 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.41' +VERSION: Final = '0.3.42' diff --git a/package/version b/package/version index b463c010a..0bdfd66f8 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.3.41 +0.3.42 From fe0b0737a3894c2209ae664284c109eb8ac04a75 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Aug 2024 21:43:41 +0000 Subject: [PATCH 03/27] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 8 ++++---- kmir/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 752d168d4..48190efc1 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -495,14 +495,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.123" +version = "7.1.124" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.123-py3-none-any.whl", hash = "sha256:b98081331a8f1d2902df61911726c3fb80b95f7da1d330102a58dd6bd3e5c83c"}, - {file = "kframework-7.1.123.tar.gz", hash = "sha256:9174ac133734cfa0f899088f401073e4c160cc1b6b565947a474aaa89876fe0a"}, + {file = "kframework-7.1.124-py3-none-any.whl", hash = "sha256:cc204189b8d6133aa7933fd96260f0576593d6dee54df588f17b5729630934ad"}, + {file = "kframework-7.1.124.tar.gz", hash = "sha256:2b5fcba289c67ac2250ed99216b6b0fe71b90b9d1ee14b58cf9a2a0443601caa"}, ] [package.dependencies] @@ -1113,4 +1113,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "0ca129d21be2171d8ae607ab4b9d6350d06b2c6edf6bdcd16bffb9f13e99cc29" +content-hash = "cc53416a78af043d378be2bb0a9bdd50b0bc5de2aecf0db51e20a61c59787316" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 13cdbadb3..e5b60d90d 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.123" +kframework = "7.1.124" [tool.poetry.group.dev.dependencies] autoflake = "*" From f1437881018f399f4d688cb92b1e1d46e6c7fa0f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Aug 2024 21:43:45 +0000 Subject: [PATCH 04/27] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 7afdf00dd..1fb252eab 100644 --- a/flake.lock +++ b/flake.lock @@ -138,16 +138,16 @@ ] }, "locked": { - "lastModified": 1724866053, - "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=", + "lastModified": 1724878946, + "narHash": "sha256-DpjtnJB9FwosPKntuh+DTkWQJu9vsGfVL3eJA7J/QHs=", "owner": "runtimeverification", "repo": "k", - "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5", + "rev": "2f19e1a50a81bc466bba7a0fb4af85ebfae6f765", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.123", + "ref": "v7.1.124", "repo": "k", "type": "github" } @@ -346,17 +346,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1724866053, - "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=", + "lastModified": 1724878946, + "narHash": "sha256-DpjtnJB9FwosPKntuh+DTkWQJu9vsGfVL3eJA7J/QHs=", "owner": "runtimeverification", "repo": "k", - "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5", + "rev": "2f19e1a50a81bc466bba7a0fb4af85ebfae6f765", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.123", + "ref": "v7.1.124", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 45ae41030..c5b79c6a0 100644 --- a/flake.nix +++ b/flake.nix @@ -1,11 +1,11 @@ { description = "mir-semantics - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.123"; + k-framework.url = "github:runtimeverification/k/v7.1.124"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.123?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.124?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From e96b130730cb3f3b0db5747496f48458d4181485 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Aug 2024 16:41:38 +0000 Subject: [PATCH 05/27] deps/k_release: Set Version 7.1.125 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9255de696..4578ffe50 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.124 +7.1.125 From 5025706ccdd3208c3a8132b3cd9d832bf4c92c05 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 30 Aug 2024 05:57:49 +0000 Subject: [PATCH 06/27] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 8 ++++---- kmir/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 48190efc1..6ca66c138 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -495,14 +495,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.124" +version = "7.1.125" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.124-py3-none-any.whl", hash = "sha256:cc204189b8d6133aa7933fd96260f0576593d6dee54df588f17b5729630934ad"}, - {file = "kframework-7.1.124.tar.gz", hash = "sha256:2b5fcba289c67ac2250ed99216b6b0fe71b90b9d1ee14b58cf9a2a0443601caa"}, + {file = "kframework-7.1.125-py3-none-any.whl", hash = "sha256:34eb95d0fb1cf7815697a558615412eaac0a54140d828606785fea6e0ead594f"}, + {file = "kframework-7.1.125.tar.gz", hash = "sha256:4e6b4296b2beefd30662d9e401bd910e4dff713b2bfee53468f453e6769f30a3"}, ] [package.dependencies] @@ -1113,4 +1113,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "cc53416a78af043d378be2bb0a9bdd50b0bc5de2aecf0db51e20a61c59787316" +content-hash = "b18272bc04a1ab9c0615a39580f535025eb9d203559e25d5d6d3ba24322bc6a0" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index e5b60d90d..61a706881 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.124" +kframework = "7.1.125" [tool.poetry.group.dev.dependencies] autoflake = "*" From 07dbe501255d72d4667e3edfadf8415f99d7a559 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 30 Aug 2024 05:57:54 +0000 Subject: [PATCH 07/27] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 1fb252eab..83f2217a0 100644 --- a/flake.lock +++ b/flake.lock @@ -138,16 +138,16 @@ ] }, "locked": { - "lastModified": 1724878946, - "narHash": "sha256-DpjtnJB9FwosPKntuh+DTkWQJu9vsGfVL3eJA7J/QHs=", + "lastModified": 1724947368, + "narHash": "sha256-lJfhlPjI515NJnV8621tVSD1tOeAOKn1G4bDgO4szcs=", "owner": "runtimeverification", "repo": "k", - "rev": "2f19e1a50a81bc466bba7a0fb4af85ebfae6f765", + "rev": "fd1ebee32b51b25a5008fe4daee28ec816927856", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.124", + "ref": "v7.1.125", "repo": "k", "type": "github" } @@ -346,17 +346,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1724878946, - "narHash": "sha256-DpjtnJB9FwosPKntuh+DTkWQJu9vsGfVL3eJA7J/QHs=", + "lastModified": 1724947368, + "narHash": "sha256-lJfhlPjI515NJnV8621tVSD1tOeAOKn1G4bDgO4szcs=", "owner": "runtimeverification", "repo": "k", - "rev": "2f19e1a50a81bc466bba7a0fb4af85ebfae6f765", + "rev": "fd1ebee32b51b25a5008fe4daee28ec816927856", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.124", + "ref": "v7.1.125", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index c5b79c6a0..52cc850e9 100644 --- a/flake.nix +++ b/flake.nix @@ -1,11 +1,11 @@ { description = "mir-semantics - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.124"; + k-framework.url = "github:runtimeverification/k/v7.1.125"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.124?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.125?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From c5b2726bacbb2f3b1a1753196e2cab0d86b96d7f Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 11:55:58 +0000 Subject: [PATCH 08/27] deps/k_release: Set Version 7.1.126 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 4578ffe50..7da32b3c2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.125 +7.1.126 From 4e67a3317dc24ed32a3ced53cc9b44f178b4b65d Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 11:56:15 +0000 Subject: [PATCH 09/27] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 8 ++++---- kmir/pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 6ca66c138..f7db54b15 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -495,14 +495,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.125" +version = "7.1.126" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.125-py3-none-any.whl", hash = "sha256:34eb95d0fb1cf7815697a558615412eaac0a54140d828606785fea6e0ead594f"}, - {file = "kframework-7.1.125.tar.gz", hash = "sha256:4e6b4296b2beefd30662d9e401bd910e4dff713b2bfee53468f453e6769f30a3"}, + {file = "kframework-7.1.126-py3-none-any.whl", hash = "sha256:5c371480f9e0de4339ffe2084031381f06698ce61657d01d960a9a7183c12209"}, + {file = "kframework-7.1.126.tar.gz", hash = "sha256:e7205a6c45ef5e80ffdfb284814199492a49f66e38435e1bc9945b4f7ef3f13f"}, ] [package.dependencies] @@ -1113,4 +1113,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b18272bc04a1ab9c0615a39580f535025eb9d203559e25d5d6d3ba24322bc6a0" +content-hash = "dddbaf53e6833a29078a8726ffb94aae5c55e8ca86d0f0f297fbccaefeb9e783" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 61a706881..6de5fc693 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.125" +kframework = "7.1.126" [tool.poetry.group.dev.dependencies] autoflake = "*" From da82ed43ec57a4c0e2a197fcda426f8ea75ed96c Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 11:56:45 +0000 Subject: [PATCH 10/27] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 83f2217a0..055b0b2c4 100644 --- a/flake.lock +++ b/flake.lock @@ -138,16 +138,16 @@ ] }, "locked": { - "lastModified": 1724947368, - "narHash": "sha256-lJfhlPjI515NJnV8621tVSD1tOeAOKn1G4bDgO4szcs=", + "lastModified": 1725269299, + "narHash": "sha256-LFCKiWLKbZSoPTAIj1v+syCaRaU6TRpErzlAlxhApnA=", "owner": "runtimeverification", "repo": "k", - "rev": "fd1ebee32b51b25a5008fe4daee28ec816927856", + "rev": "5b0fe61f2c434c62c22f861bce9a0eb68bdab6c9", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.125", + "ref": "v7.1.126", "repo": "k", "type": "github" } @@ -346,17 +346,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1724947368, - "narHash": "sha256-lJfhlPjI515NJnV8621tVSD1tOeAOKn1G4bDgO4szcs=", + "lastModified": 1725269299, + "narHash": "sha256-LFCKiWLKbZSoPTAIj1v+syCaRaU6TRpErzlAlxhApnA=", "owner": "runtimeverification", "repo": "k", - "rev": "fd1ebee32b51b25a5008fe4daee28ec816927856", + "rev": "5b0fe61f2c434c62c22f861bce9a0eb68bdab6c9", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.125", + "ref": "v7.1.126", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 52cc850e9..b439c1017 100644 --- a/flake.nix +++ b/flake.nix @@ -1,11 +1,11 @@ { description = "mir-semantics - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.125"; + k-framework.url = "github:runtimeverification/k/v7.1.126"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.125?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.126?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From 8fb90232537249f8edc002cac137f4454de9df23 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 12:39:52 +0000 Subject: [PATCH 11/27] deps/k_release: Set Version 7.1.127 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7da32b3c2..d30bac1a6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.126 +7.1.127 From 27069a283d80f082caed295595f76de10c6fe2f7 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 23:30:30 +0000 Subject: [PATCH 12/27] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 14 +++++++------- kmir/pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index f7db54b15..711b05d67 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -495,14 +495,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.126" +version = "7.1.127" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.126-py3-none-any.whl", hash = "sha256:5c371480f9e0de4339ffe2084031381f06698ce61657d01d960a9a7183c12209"}, - {file = "kframework-7.1.126.tar.gz", hash = "sha256:e7205a6c45ef5e80ffdfb284814199492a49f66e38435e1bc9945b4f7ef3f13f"}, + {file = "kframework-7.1.127-py3-none-any.whl", hash = "sha256:b778217001a75671ec6c1c818c148cb40c52b3543962f4fe3d28df90dc81c18a"}, + {file = "kframework-7.1.127.tar.gz", hash = "sha256:ad3db47c2fedd1e9376550e4cd714b80b4eee951b8c0fb23c4e80512036f19b2"}, ] [package.dependencies] @@ -963,14 +963,14 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "74.0.0" +version = "74.1.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" category = "dev" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-74.0.0-py3-none-any.whl", hash = "sha256:0274581a0037b638b9fc1c6883cc71c0210865aaa76073f7882376b641b84e8f"}, - {file = "setuptools-74.0.0.tar.gz", hash = "sha256:a85e96b8be2b906f3e3e789adec6a9323abf79758ecfa3065bd740d81158b11e"}, + {file = "setuptools-74.1.0-py3-none-any.whl", hash = "sha256:cee604bd76cc092355a4e43ec17aee5369095974f41f088676724dc6bc2c9ef8"}, + {file = "setuptools-74.1.0.tar.gz", hash = "sha256:bea195a800f510ba3a2bc65645c88b7e016fe36709fefc58a880c4ae8a0138d7"}, ] [package.extras] @@ -1113,4 +1113,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "dddbaf53e6833a29078a8726ffb94aae5c55e8ca86d0f0f297fbccaefeb9e783" +content-hash = "ed176a30e023a8e1083ddd12c7eddbe38aac002957dc09d83de039621e999510" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 6de5fc693..6da97ecf7 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.126" +kframework = "7.1.127" [tool.poetry.group.dev.dependencies] autoflake = "*" From cec31d8edb33aae236eccb87f12c42b003693686 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 2 Sep 2024 23:30:33 +0000 Subject: [PATCH 13/27] flake.{nix,lock}: update Nix derivations --- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/flake.lock b/flake.lock index 055b0b2c4..92937d279 100644 --- a/flake.lock +++ b/flake.lock @@ -138,16 +138,16 @@ ] }, "locked": { - "lastModified": 1725269299, - "narHash": "sha256-LFCKiWLKbZSoPTAIj1v+syCaRaU6TRpErzlAlxhApnA=", + "lastModified": 1725278621, + "narHash": "sha256-p5z1g+4VPBVz/dMt+KRFxz7uUpYHc8/MGLuo7itHJV4=", "owner": "runtimeverification", "repo": "k", - "rev": "5b0fe61f2c434c62c22f861bce9a0eb68bdab6c9", + "rev": "123c9f2e55ff30a181af91293f1e91d7d386e56c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.126", + "ref": "v7.1.127", "repo": "k", "type": "github" } @@ -346,17 +346,17 @@ }, "locked": { "dir": "pyk", - "lastModified": 1725269299, - "narHash": "sha256-LFCKiWLKbZSoPTAIj1v+syCaRaU6TRpErzlAlxhApnA=", + "lastModified": 1725278621, + "narHash": "sha256-p5z1g+4VPBVz/dMt+KRFxz7uUpYHc8/MGLuo7itHJV4=", "owner": "runtimeverification", "repo": "k", - "rev": "5b0fe61f2c434c62c22f861bce9a0eb68bdab6c9", + "rev": "123c9f2e55ff30a181af91293f1e91d7d386e56c", "type": "github" }, "original": { "dir": "pyk", "owner": "runtimeverification", - "ref": "v7.1.126", + "ref": "v7.1.127", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index b439c1017..ee186387c 100644 --- a/flake.nix +++ b/flake.nix @@ -1,11 +1,11 @@ { description = "mir-semantics - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.126"; + k-framework.url = "github:runtimeverification/k/v7.1.127"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.126?dir=pyk"; + pyk.url = "github:runtimeverification/k/v7.1.127?dir=pyk"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; }; From 4e9fdd46936f4d09761ddb5cde2ecf96ff8eb8b6 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 16:17:17 +0000 Subject: [PATCH 14/27] deps/k_release: Set Version 7.1.129 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d30bac1a6..0f1750412 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.127 +7.1.129 From 011869ec08f540f38d770b01a79318fb3ba5b7b2 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 3 Sep 2024 21:06:54 +0000 Subject: [PATCH 15/27] deps/k_release: Set Version 7.1.131 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 0f1750412..d5d966726 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.129 +7.1.131 From e89443ca7ccc522ae1919bbc5797d0dc3228f65e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Sep 2024 04:00:13 +0000 Subject: [PATCH 16/27] deps/k_release: Set Version 7.1.132 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d5d966726..9a7b57e20 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.131 +7.1.132 From 0657ce2e3f011e26251ee0136f7ae74272b18b03 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Sep 2024 09:24:27 +0000 Subject: [PATCH 17/27] deps/k_release: Set Version 7.1.133 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9a7b57e20..395325201 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.132 +7.1.133 From e70a67433d44a91acb9b608973e84aebe8573b9c Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Sep 2024 15:24:25 +0000 Subject: [PATCH 18/27] deps/k_release: Set Version 7.1.134 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 395325201..3d376909f 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.133 +7.1.134 From 1dd802022cd2f9566632f076d5aa09492becd221 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Sep 2024 16:13:42 +0000 Subject: [PATCH 19/27] deps/k_release: Set Version 7.1.135 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 3d376909f..08e390ddb 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.134 +7.1.135 From f7b592213c55923eae9f5c990cd83e309fdcde65 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 6 Sep 2024 18:22:56 +0000 Subject: [PATCH 20/27] deps/k_release: Set Version 7.1.136 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 08e390ddb..8e7f4b46e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.135 +7.1.136 From ba3d60f1b0588d7b16c647da271c7ccdf9637be2 Mon Sep 17 00:00:00 2001 From: Sam Balco Date: Sat, 7 Sep 2024 18:42:18 -0400 Subject: [PATCH 21/27] fix update-version script --- .github/workflows/update-version.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml index 72c2e43c0..0366deb22 100644 --- a/.github/workflows/update-version.yml +++ b/.github/workflows/update-version.yml @@ -34,7 +34,6 @@ jobs: run: | K_VERSION=$(cat deps/k_release) sed -i 's! k-framework.url = "github:runtimeverification/k/[v0-9\.]*"! k-framework.url = "github:runtimeverification/k/v'"${K_VERSION}"'"!' flake.nix - sed -i 's! pyk.url = "github:runtimeverification/k/[v0-9\.]*?dir=pyk"! pyk.url = "github:runtimeverification/k/v'"${K_VERSION}"'?dir=pyk"!' flake.nix nix --extra-experimental-features 'nix-command flakes' --show-trace flake update git add flake.nix flake.lock git commit -m 'flake.{nix,lock}: update Nix derivations' || true From 7024cb20a371fe09665d7308a1a1b351c2d8735e Mon Sep 17 00:00:00 2001 From: Sam Balco Date: Sat, 7 Sep 2024 18:42:27 -0400 Subject: [PATCH 22/27] update flake --- flake.lock | 206 +++-------------------------------------------------- flake.nix | 23 +++--- 2 files changed, 23 insertions(+), 206 deletions(-) diff --git a/flake.lock b/flake.lock index 92937d279..87c33e4e1 100644 --- a/flake.lock +++ b/flake.lock @@ -34,24 +34,6 @@ "type": "github" } }, - "flake-utils_2": { - "inputs": { - "systems": "systems_4" - }, - "locked": { - "lastModified": 1694529238, - "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "ff7b65b44d01cf9ba6a71320833626af21126384", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "fmt-src": { "flake": false, "locked": { @@ -138,16 +120,16 @@ ] }, "locked": { - "lastModified": 1725278621, - "narHash": "sha256-p5z1g+4VPBVz/dMt+KRFxz7uUpYHc8/MGLuo7itHJV4=", + "lastModified": 1725644575, + "narHash": "sha256-X3OfMN53Cdae4XC0XkazqDYxCQ6ikLIhxIvt3ZbBi2E=", "owner": "runtimeverification", "repo": "k", - "rev": "123c9f2e55ff30a181af91293f1e91d7d386e56c", + "rev": "62e06f466f3fef150598894798fa340d68bb3fdb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.127", + "ref": "v7.1.136", "repo": "k", "type": "github" } @@ -205,28 +187,6 @@ "type": "github" } }, - "nix-github-actions_2": { - "inputs": { - "nixpkgs": [ - "pyk", - "poetry2nix", - "nixpkgs" - ] - }, - "locked": { - "lastModified": 1693660503, - "narHash": "sha256-B/g2V4v6gjirFmy+I5mwB2bCYc0l3j5scVfwgl6WOl8=", - "owner": "nix-community", - "repo": "nix-github-actions", - "rev": "bd5bdbb52350e145c526108f4ef192eb8e554fa0", - "type": "github" - }, - "original": { - "owner": "nix-community", - "repo": "nix-github-actions", - "type": "github" - } - }, "nixpkgs": { "locked": { "lastModified": 1716457947, @@ -243,22 +203,6 @@ "type": "github" } }, - "nixpkgs_2": { - "locked": { - "lastModified": 1716457947, - "narHash": "sha256-Y+exebcqeprnhEpoPJrEUZmNeO60qeOxkVHhqG/OEwQ=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "69493a13eaea0dc4682fd07e8a084f17813dbeeb", - "type": "github" - } - }, "poetry2nix": { "inputs": { "flake-utils": "flake-utils", @@ -272,43 +216,17 @@ "treefmt-nix": "treefmt-nix" }, "locked": { - "lastModified": 1698640399, - "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=", - "owner": "nix-community", - "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", - "type": "github" - }, - "original": { - "owner": "nix-community", - "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", - "type": "github" - } - }, - "poetry2nix_2": { - "inputs": { - "flake-utils": "flake-utils_2", - "nix-github-actions": "nix-github-actions_2", - "nixpkgs": [ - "pyk", - "nixpkgs" - ], - "systems": "systems_5", - "treefmt-nix": "treefmt-nix_2" - }, - "locked": { - "lastModified": 1698640399, - "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=", + "lastModified": 1725253878, + "narHash": "sha256-HwXut4WbOUAjmybhui2eNSE6+Wb0nigYgDzBBOZaPG4=", "owner": "nix-community", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", + "rev": "0d3fad5740d892487805cd2d60d8e4ed828486e9", "type": "github" }, "original": { "owner": "nix-community", + "ref": "2024.9.219347", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", "type": "github" } }, @@ -329,38 +247,6 @@ "type": "github" } }, - "pyk": { - "inputs": { - "flake-utils": [ - "pyk", - "poetry2nix", - "flake-utils" - ], - "nixpkgs": [ - "pyk", - "rv-utils", - "nixpkgs" - ], - "poetry2nix": "poetry2nix_2", - "rv-utils": "rv-utils_2" - }, - "locked": { - "dir": "pyk", - "lastModified": 1725278621, - "narHash": "sha256-p5z1g+4VPBVz/dMt+KRFxz7uUpYHc8/MGLuo7itHJV4=", - "owner": "runtimeverification", - "repo": "k", - "rev": "123c9f2e55ff30a181af91293f1e91d7d386e56c", - "type": "github" - }, - "original": { - "dir": "pyk", - "owner": "runtimeverification", - "ref": "v7.1.127", - "repo": "k", - "type": "github" - } - }, "rapidjson-src": { "flake": false, "locked": { @@ -389,15 +275,10 @@ "k-framework", "nixpkgs" ], - "nixpkgs-pyk": [ - "pyk", - "nixpkgs" - ], "poetry2nix": [ - "pyk", + "k-framework", "poetry2nix" ], - "pyk": "pyk", "rv-utils": [ "k-framework", "rv-utils" @@ -422,24 +303,6 @@ "type": "github" } }, - "rv-utils_2": { - "inputs": { - "nixpkgs": "nixpkgs_2" - }, - "locked": { - "lastModified": 1716459074, - "narHash": "sha256-IpahO+EkWdGl9QP7B2YXfJWpSfghjxgpz4ab47nRJY4=", - "owner": "runtimeverification", - "repo": "rv-nix-tools", - "rev": "a65058865cda201de504f5546271b8e997a0be9c", - "type": "github" - }, - "original": { - "owner": "runtimeverification", - "repo": "rv-nix-tools", - "type": "github" - } - }, "stacklock2nix": { "locked": { "lastModified": 1705051190, @@ -499,35 +362,6 @@ "type": "indirect" } }, - "systems_4": { - "locked": { - "lastModified": 1681028828, - "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", - "owner": "nix-systems", - "repo": "default", - "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", - "type": "github" - }, - "original": { - "owner": "nix-systems", - "repo": "default", - "type": "github" - } - }, - "systems_5": { - "locked": { - "lastModified": 1681028828, - "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", - "owner": "nix-systems", - "repo": "default", - "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", - "type": "github" - }, - "original": { - "id": "systems", - "type": "indirect" - } - }, "treefmt-nix": { "inputs": { "nixpkgs": [ @@ -550,28 +384,6 @@ "type": "github" } }, - "treefmt-nix_2": { - "inputs": { - "nixpkgs": [ - "pyk", - "poetry2nix", - "nixpkgs" - ] - }, - "locked": { - "lastModified": 1697388351, - "narHash": "sha256-63N2eBpKaziIy4R44vjpUu8Nz5fCJY7okKrkixvDQmY=", - "owner": "numtide", - "repo": "treefmt-nix", - "rev": "aae39f64f5ecbe89792d05eacea5cb241891292a", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "treefmt-nix", - "type": "github" - } - }, "utils": { "inputs": { "systems": "systems" diff --git a/flake.nix b/flake.nix index ee186387c..53adbaeb2 100644 --- a/flake.nix +++ b/flake.nix @@ -1,22 +1,27 @@ { description = "mir-semantics - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.127"; + k-framework.url = "github:runtimeverification/k/v7.1.136"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/k/v7.1.127?dir=pyk"; - nixpkgs-pyk.follows = "pyk/nixpkgs"; - poetry2nix.follows = "pyk/poetry2nix"; + poetry2nix.follows = "k-framework/poetry2nix"; }; - outputs = { self, nixpkgs, flake-utils, poetry2nix }: + outputs = { self, nixpkgs, flake-utils, k-framework, ... }@inputs: let allOverlays = [ - poetry2nix.overlay - (final: prev: { - mir-semantics = prev.poetry2nix.mkPoetryApplication { + k-framework.overlays.pyk + (final: prev: let + poetry2nix = + inputs.poetry2nix.lib.mkPoetry2Nix { pkgs = prev; }; + in { + mir-semantics = poetry2nix.mkPoetryApplication { python = prev.python310; - projectDir = ./.; + projectDir = ./kmir; + overrides = poetry2nix.overrides.withDefaults + (finalPython: prevPython: { + kframework = prev.pyk-python310; + }); groups = []; # We remove `dev` from `checkGroups`, so that poetry2nix does not try to resolve dev dependencies. checkGroups = []; From 7179311c7ef8057fea25b762e7ed61cc378310d6 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 7 Sep 2024 22:43:00 +0000 Subject: [PATCH 23/27] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 74 +++++++++++++++++++++++---------------------- kmir/pyproject.toml | 2 +- 2 files changed, 39 insertions(+), 37 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index 711b05d67..ec517940a 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -283,20 +283,20 @@ testing = ["hatch", "pre-commit", "pytest", "tox"] [[package]] name = "filelock" -version = "3.15.4" +version = "3.16.0" description = "A platform independent file lock." category = "main" optional = false python-versions = ">=3.8" files = [ - {file = "filelock-3.15.4-py3-none-any.whl", hash = "sha256:6ca1fffae96225dab4c6eaf1c4f4f28cd2568d3ec2a44e15a08520504de468e7"}, - {file = "filelock-3.15.4.tar.gz", hash = "sha256:2207938cbc1844345cb01a5a95524dae30f0ce089eba5b00378295a17e3e90cb"}, + {file = "filelock-3.16.0-py3-none-any.whl", hash = "sha256:f6ed4c963184f4c84dd5557ce8fece759a3724b37b80c6c4f20a2f63a4dc6609"}, + {file = "filelock-3.16.0.tar.gz", hash = "sha256:81de9eb8453c769b63369f87f11131a7ab04e367f8d97ad39dc230daa07e3bec"}, ] [package.extras] -docs = ["furo (>=2023.9.10)", "sphinx (>=7.2.6)", "sphinx-autodoc-typehints (>=1.25.2)"] -testing = ["covdefaults (>=2.3)", "coverage (>=7.3.2)", "diff-cover (>=8.0.1)", "pytest (>=7.4.3)", "pytest-asyncio (>=0.21)", "pytest-cov (>=4.1)", "pytest-mock (>=3.12)", "pytest-timeout (>=2.2)", "virtualenv (>=20.26.2)"] -typing = ["typing-extensions (>=4.8)"] +docs = ["furo (>=2024.8.6)", "sphinx (>=8.0.2)", "sphinx-autodoc-typehints (>=2.4)"] +testing = ["covdefaults (>=2.3)", "coverage (>=7.6.1)", "diff-cover (>=9.1.1)", "pytest (>=8.3.2)", "pytest-asyncio (>=0.24)", "pytest-cov (>=5)", "pytest-mock (>=3.14)", "pytest-timeout (>=2.3.1)", "virtualenv (>=20.26.3)"] +typing = ["typing-extensions (>=4.12.2)"] [[package]] name = "flake8" @@ -414,14 +414,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.111.2" +version = "6.112.0" description = "A library for property-based testing" category = "main" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.111.2-py3-none-any.whl", hash = "sha256:055e8228958e22178d6077e455fd86a72044d02dac130dbf9c8b31e161b9809c"}, - {file = "hypothesis-6.111.2.tar.gz", hash = "sha256:0496ad28c7240ee9ba89fcc7fb1dc74e89f3e40fbcbbb5f73c0091558dec8e6e"}, + {file = "hypothesis-6.112.0-py3-none-any.whl", hash = "sha256:1e6adbd9534c0d691690b5006904327ea37c851d4e15262a22094aa77879e84d"}, + {file = "hypothesis-6.112.0.tar.gz", hash = "sha256:06ea8857e1e711a1a6f24154a3c8c4eab04b041993206aaa267f98b859fd6ef5"}, ] [package.dependencies] @@ -495,14 +495,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.127" +version = "7.1.136" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.127-py3-none-any.whl", hash = "sha256:b778217001a75671ec6c1c818c148cb40c52b3543962f4fe3d28df90dc81c18a"}, - {file = "kframework-7.1.127.tar.gz", hash = "sha256:ad3db47c2fedd1e9376550e4cd714b80b4eee951b8c0fb23c4e80512036f19b2"}, + {file = "kframework-7.1.136-py3-none-any.whl", hash = "sha256:a5d8e6ad82fc4d8ed69d08fbeb041730e415d99c7ee22bc5b43468cee0beb741"}, + {file = "kframework-7.1.136.tar.gz", hash = "sha256:a4cf220d67f88a45bcbb65c20744ea14996ba01d7e082124fc60e65d150778bc"}, ] [package.dependencies] @@ -511,7 +511,7 @@ coloredlogs = ">=15.0.1,<16.0.0" filelock = ">=3.9.0,<4.0.0" graphviz = ">=0.20.1,<0.21.0" hypothesis = ">=6.103.1,<7.0.0" -psutil = "5.9.5" +psutil = ">=5.9.5,<6.0.0" pybind11 = ">=2.10.3,<3.0.0" pytest = "*" textual = ">=0.27.0,<0.28.0" @@ -711,14 +711,14 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "4.2.2" +version = "4.3.1" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a `user data dir`." category = "dev" optional = false python-versions = ">=3.8" files = [ - {file = "platformdirs-4.2.2-py3-none-any.whl", hash = "sha256:2d7a1657e36a80ea911db832a8a6ece5ee53d8de21edd5cc5879af6530b1bfee"}, - {file = "platformdirs-4.2.2.tar.gz", hash = "sha256:38b7b51f512eed9e84a22788b4bce1de17c0adb134d6becb09836e37d8654cd3"}, + {file = "platformdirs-4.3.1-py3-none-any.whl", hash = "sha256:facaa5a3c57aa1e053e3da7b49e0cc31fe0113ca42a4659d5c2e98e545624afe"}, + {file = "platformdirs-4.3.1.tar.gz", hash = "sha256:63b79589009fa8159973601dd4563143396b35c5f93a58b36f9049ff046949b1"}, ] [package.extras] @@ -744,26 +744,28 @@ testing = ["pytest", "pytest-benchmark"] [[package]] name = "psutil" -version = "5.9.5" +version = "5.9.8" description = "Cross-platform lib for process and system monitoring in Python." category = "main" optional = false -python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*" +python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*, !=3.5.*" files = [ - {file = "psutil-5.9.5-cp27-cp27m-macosx_10_9_x86_64.whl", hash = "sha256:be8929ce4313f9f8146caad4272f6abb8bf99fc6cf59344a3167ecd74f4f203f"}, - {file = "psutil-5.9.5-cp27-cp27m-manylinux2010_i686.whl", hash = "sha256:ab8ed1a1d77c95453db1ae00a3f9c50227ebd955437bcf2a574ba8adbf6a74d5"}, - {file = "psutil-5.9.5-cp27-cp27m-manylinux2010_x86_64.whl", hash = "sha256:4aef137f3345082a3d3232187aeb4ac4ef959ba3d7c10c33dd73763fbc063da4"}, - {file = "psutil-5.9.5-cp27-cp27mu-manylinux2010_i686.whl", hash = "sha256:ea8518d152174e1249c4f2a1c89e3e6065941df2fa13a1ab45327716a23c2b48"}, - {file = "psutil-5.9.5-cp27-cp27mu-manylinux2010_x86_64.whl", hash = "sha256:acf2aef9391710afded549ff602b5887d7a2349831ae4c26be7c807c0a39fac4"}, - {file = "psutil-5.9.5-cp27-none-win32.whl", hash = "sha256:5b9b8cb93f507e8dbaf22af6a2fd0ccbe8244bf30b1baad6b3954e935157ae3f"}, - {file = "psutil-5.9.5-cp27-none-win_amd64.whl", hash = "sha256:8c5f7c5a052d1d567db4ddd231a9d27a74e8e4a9c3f44b1032762bd7b9fdcd42"}, - {file = "psutil-5.9.5-cp36-abi3-macosx_10_9_x86_64.whl", hash = "sha256:3c6f686f4225553615612f6d9bc21f1c0e305f75d7d8454f9b46e901778e7217"}, - {file = "psutil-5.9.5-cp36-abi3-manylinux_2_12_i686.manylinux2010_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:7a7dd9997128a0d928ed4fb2c2d57e5102bb6089027939f3b722f3a210f9a8da"}, - {file = "psutil-5.9.5-cp36-abi3-manylinux_2_12_x86_64.manylinux2010_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:89518112647f1276b03ca97b65cc7f64ca587b1eb0278383017c2a0dcc26cbe4"}, - {file = "psutil-5.9.5-cp36-abi3-win32.whl", hash = "sha256:104a5cc0e31baa2bcf67900be36acde157756b9c44017b86b2c049f11957887d"}, - {file = "psutil-5.9.5-cp36-abi3-win_amd64.whl", hash = "sha256:b258c0c1c9d145a1d5ceffab1134441c4c5113b2417fafff7315a917a026c3c9"}, - {file = "psutil-5.9.5-cp38-abi3-macosx_11_0_arm64.whl", hash = "sha256:c607bb3b57dc779d55e1554846352b4e358c10fff3abf3514a7a6601beebdb30"}, - {file = "psutil-5.9.5.tar.gz", hash = "sha256:5410638e4df39c54d957fc51ce03048acd8e6d60abc0f5107af51e5fb566eb3c"}, + {file = "psutil-5.9.8-cp27-cp27m-macosx_10_9_x86_64.whl", hash = "sha256:26bd09967ae00920df88e0352a91cff1a78f8d69b3ecabbfe733610c0af486c8"}, + {file = "psutil-5.9.8-cp27-cp27m-manylinux2010_i686.whl", hash = "sha256:05806de88103b25903dff19bb6692bd2e714ccf9e668d050d144012055cbca73"}, + {file = "psutil-5.9.8-cp27-cp27m-manylinux2010_x86_64.whl", hash = "sha256:611052c4bc70432ec770d5d54f64206aa7203a101ec273a0cd82418c86503bb7"}, + {file = "psutil-5.9.8-cp27-cp27mu-manylinux2010_i686.whl", hash = "sha256:50187900d73c1381ba1454cf40308c2bf6f34268518b3f36a9b663ca87e65e36"}, + {file = "psutil-5.9.8-cp27-cp27mu-manylinux2010_x86_64.whl", hash = "sha256:02615ed8c5ea222323408ceba16c60e99c3f91639b07da6373fb7e6539abc56d"}, + {file = "psutil-5.9.8-cp27-none-win32.whl", hash = "sha256:36f435891adb138ed3c9e58c6af3e2e6ca9ac2f365efe1f9cfef2794e6c93b4e"}, + {file = "psutil-5.9.8-cp27-none-win_amd64.whl", hash = "sha256:bd1184ceb3f87651a67b2708d4c3338e9b10c5df903f2e3776b62303b26cb631"}, + {file = "psutil-5.9.8-cp36-abi3-macosx_10_9_x86_64.whl", hash = "sha256:aee678c8720623dc456fa20659af736241f575d79429a0e5e9cf88ae0605cc81"}, + {file = "psutil-5.9.8-cp36-abi3-manylinux_2_12_i686.manylinux2010_i686.manylinux_2_17_i686.manylinux2014_i686.whl", hash = "sha256:8cb6403ce6d8e047495a701dc7c5bd788add903f8986d523e3e20b98b733e421"}, + {file = "psutil-5.9.8-cp36-abi3-manylinux_2_12_x86_64.manylinux2010_x86_64.manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:d06016f7f8625a1825ba3732081d77c94589dca78b7a3fc072194851e88461a4"}, + {file = "psutil-5.9.8-cp36-cp36m-win32.whl", hash = "sha256:7d79560ad97af658a0f6adfef8b834b53f64746d45b403f225b85c5c2c140eee"}, + {file = "psutil-5.9.8-cp36-cp36m-win_amd64.whl", hash = "sha256:27cc40c3493bb10de1be4b3f07cae4c010ce715290a5be22b98493509c6299e2"}, + {file = "psutil-5.9.8-cp37-abi3-win32.whl", hash = "sha256:bc56c2a1b0d15aa3eaa5a60c9f3f8e3e565303b465dbf57a1b730e7a2b9844e0"}, + {file = "psutil-5.9.8-cp37-abi3-win_amd64.whl", hash = "sha256:8db4c1b57507eef143a15a6884ca10f7c73876cdf5d51e713151c1236a0e68cf"}, + {file = "psutil-5.9.8-cp38-abi3-macosx_11_0_arm64.whl", hash = "sha256:d16bbddf0693323b8c6123dd804100241da461e41d6e332fb0ba6058f630f8c8"}, + {file = "psutil-5.9.8.tar.gz", hash = "sha256:6be126e3225486dff286a8fb9a06246a5253f4c7c53b475ea5f5ac934e64194c"}, ] [package.extras] @@ -963,14 +965,14 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "74.1.0" +version = "74.1.2" description = "Easily download, build, install, upgrade, and uninstall Python packages" category = "dev" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-74.1.0-py3-none-any.whl", hash = "sha256:cee604bd76cc092355a4e43ec17aee5369095974f41f088676724dc6bc2c9ef8"}, - {file = "setuptools-74.1.0.tar.gz", hash = "sha256:bea195a800f510ba3a2bc65645c88b7e016fe36709fefc58a880c4ae8a0138d7"}, + {file = "setuptools-74.1.2-py3-none-any.whl", hash = "sha256:5f4c08aa4d3ebcb57a50c33b1b07e94315d7fc7230f7115e47fc99776c8ce308"}, + {file = "setuptools-74.1.2.tar.gz", hash = "sha256:95b40ed940a1c67eb70fc099094bd6e99c6ee7c23aa2306f4d2697ba7916f9c6"}, ] [package.extras] @@ -1113,4 +1115,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "ed176a30e023a8e1083ddd12c7eddbe38aac002957dc09d83de039621e999510" +content-hash = "25db43fd8f4eca27c9e7e6843b03c439a6fbfcf612eeb0a6980ec2d89e0625ff" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 6da97ecf7..67d192980 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.127" +kframework = "7.1.136" [tool.poetry.group.dev.dependencies] autoflake = "*" From 8a250b2300a581c8194e7741a5bcd99451eae392 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 9 Sep 2024 03:13:33 +0000 Subject: [PATCH 24/27] deps/k_release: Set Version 7.1.137 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8e7f4b46e..53575a0c6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.1.136 +7.1.137 From a21b644a7ba49560abab815fcfda3902b021efbb Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 9 Sep 2024 03:13:46 +0000 Subject: [PATCH 25/27] Set Version: 0.3.43 --- 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 67d192980..95a801023 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.42" +version = "0.3.43" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kmir/src/kmir/__init__.py b/kmir/src/kmir/__init__.py index fe0e05aa6..25bc5896b 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.42' +VERSION: Final = '0.3.43' diff --git a/package/version b/package/version index 0bdfd66f8..faa71045f 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.3.42 +0.3.43 From 711b613783eb975dc8a7cf8e5845bc004c4c26e8 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 9 Sep 2024 03:14:26 +0000 Subject: [PATCH 26/27] kmir/{pyproject.toml,poetry.lock}: sync Poetry files --- kmir/poetry.lock | 20 ++++++++++---------- kmir/pyproject.toml | 2 +- 2 files changed, 11 insertions(+), 11 deletions(-) diff --git a/kmir/poetry.lock b/kmir/poetry.lock index ec517940a..6a40a861d 100644 --- a/kmir/poetry.lock +++ b/kmir/poetry.lock @@ -495,14 +495,14 @@ colors = ["colorama (>=0.4.6)"] [[package]] name = "kframework" -version = "7.1.136" +version = "7.1.137" description = "" category = "main" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.136-py3-none-any.whl", hash = "sha256:a5d8e6ad82fc4d8ed69d08fbeb041730e415d99c7ee22bc5b43468cee0beb741"}, - {file = "kframework-7.1.136.tar.gz", hash = "sha256:a4cf220d67f88a45bcbb65c20744ea14996ba01d7e082124fc60e65d150778bc"}, + {file = "kframework-7.1.137-py3-none-any.whl", hash = "sha256:81ed5aca60b2b44127d6b9799e71287a8ac0977498d67afafc39dec95199740e"}, + {file = "kframework-7.1.137.tar.gz", hash = "sha256:c3d4cea933087672b614a6438f34e8d2fc095534ddaf726eebfeaa1d54a64b4c"}, ] [package.dependencies] @@ -711,20 +711,20 @@ flake8 = ">=5.0.0" [[package]] name = "platformdirs" -version = "4.3.1" +version = "4.3.2" description = "A small Python package for determining appropriate platform-specific dirs, e.g. a `user data dir`." category = "dev" optional = false python-versions = ">=3.8" files = [ - {file = "platformdirs-4.3.1-py3-none-any.whl", hash = "sha256:facaa5a3c57aa1e053e3da7b49e0cc31fe0113ca42a4659d5c2e98e545624afe"}, - {file = "platformdirs-4.3.1.tar.gz", hash = "sha256:63b79589009fa8159973601dd4563143396b35c5f93a58b36f9049ff046949b1"}, + {file = "platformdirs-4.3.2-py3-none-any.whl", hash = "sha256:eb1c8582560b34ed4ba105009a4badf7f6f85768b30126f351328507b2beb617"}, + {file = "platformdirs-4.3.2.tar.gz", hash = "sha256:9e5e27a08aa095dd127b9f2e764d74254f482fef22b0970773bfba79d091ab8c"}, ] [package.extras] -docs = ["furo (>=2023.9.10)", "proselint (>=0.13)", "sphinx (>=7.2.6)", "sphinx-autodoc-typehints (>=1.25.2)"] -test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=7.4.3)", "pytest-cov (>=4.1)", "pytest-mock (>=3.12)"] -type = ["mypy (>=1.8)"] +docs = ["furo (>=2024.8.6)", "proselint (>=0.14)", "sphinx (>=8.0.2)", "sphinx-autodoc-typehints (>=2.4)"] +test = ["appdirs (==1.4.4)", "covdefaults (>=2.3)", "pytest (>=8.3.2)", "pytest-cov (>=5)", "pytest-mock (>=3.14)"] +type = ["mypy (>=1.11.2)"] [[package]] name = "pluggy" @@ -1115,4 +1115,4 @@ type = ["pytest-mypy"] [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "25db43fd8f4eca27c9e7e6843b03c439a6fbfcf612eeb0a6980ec2d89e0625ff" +content-hash = "79781c163f8dae61c1031fcc932315c855f1fadfa03b6f7a2847c1d38113f92e" diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml index 95a801023..f95849aaf 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.136" +kframework = "7.1.137" [tool.poetry.group.dev.dependencies] autoflake = "*" From ab19589e2fa7062e309bc1dc8cf7eb08420e0523 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 9 Sep 2024 03:14:29 +0000 Subject: [PATCH 27/27] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 87c33e4e1..9035e105c 100644 --- a/flake.lock +++ b/flake.lock @@ -120,16 +120,16 @@ ] }, "locked": { - "lastModified": 1725644575, - "narHash": "sha256-X3OfMN53Cdae4XC0XkazqDYxCQ6ikLIhxIvt3ZbBi2E=", + "lastModified": 1725849280, + "narHash": "sha256-/S6N6u996rxx5xjc8nGPXoDhSlwS/y8xtgcGCLjSCAY=", "owner": "runtimeverification", "repo": "k", - "rev": "62e06f466f3fef150598894798fa340d68bb3fdb", + "rev": "80310780c3a65102b86692184ff7761e447efa40", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.136", + "ref": "v7.1.137", "repo": "k", "type": "github" } diff --git a/flake.nix b/flake.nix index 53adbaeb2..92dee0a8b 100644 --- a/flake.nix +++ b/flake.nix @@ -1,7 +1,7 @@ { description = "mir-semantics - "; inputs = { - k-framework.url = "github:runtimeverification/k/v7.1.136"; + k-framework.url = "github:runtimeverification/k/v7.1.137"; nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils";