From 8f0491769c8fefbd4fcdda09d6ad1651d59089c8 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Apr 2024 09:22:59 +0000 Subject: [PATCH 01/12] deps/k_release: Set Version 6.3.78 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a545989c7..1e1291d54 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.77 +6.3.78 From 0034583a10a5b47e049f22ea93b9a5bcf0717af3 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Apr 2024 09:23:15 +0000 Subject: [PATCH 02/12] Set K Version: 6.3.78 --- src/pyk/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pyk/__init__.py b/src/pyk/__init__.py index 62113f5bd..b221a020c 100644 --- a/src/pyk/__init__.py +++ b/src/pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -K_VERSION: Final = '6.3.77' +K_VERSION: Final = '6.3.78' From ddd217939cb536d83b58296129ab675053516224 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Apr 2024 09:23:40 +0000 Subject: [PATCH 03/12] Set Version: 0.1.779 --- docs/conf.py | 4 ++-- package/version | 2 +- pyproject.toml | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 53c007fdd..09efd2158 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -9,8 +9,8 @@ project = 'pyk' author = 'Runtime Verification, Inc' copyright = '2024, Runtime Verification, Inc' -version = '0.1.778' -release = '0.1.778' +version = '0.1.779' +release = '0.1.779' # -- General configuration --------------------------------------------------- # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration diff --git a/package/version b/package/version index 3f36f20c5..eddad3c85 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.778 +0.1.779 diff --git a/pyproject.toml b/pyproject.toml index ccf8943e3..4469514ac 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pyk" -version = "0.1.778" +version = "0.1.779" description = "" authors = [ "Runtime Verification, Inc. ", From 7e5c44eedccceb9f03c89d556cf43322cc16905a Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Apr 2024 12:00:14 +0000 Subject: [PATCH 04/12] deps/k_release: Set Version 6.3.79 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1e1291d54..de0beaeab 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.78 +6.3.79 From ecdb7a0162d9794e506ffc5164542f042a7c7229 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Apr 2024 12:00:29 +0000 Subject: [PATCH 05/12] Set K Version: 6.3.79 --- src/pyk/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pyk/__init__.py b/src/pyk/__init__.py index b221a020c..8d751a74e 100644 --- a/src/pyk/__init__.py +++ b/src/pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -K_VERSION: Final = '6.3.78' +K_VERSION: Final = '6.3.79' From 71801f6b4a5279c449ba7bc12e11013761d3bfbf Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 9 Apr 2024 12:00:54 +0000 Subject: [PATCH 06/12] Set Version: 0.1.780 --- docs/conf.py | 4 ++-- package/version | 2 +- pyproject.toml | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 09efd2158..84a17e839 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -9,8 +9,8 @@ project = 'pyk' author = 'Runtime Verification, Inc' copyright = '2024, Runtime Verification, Inc' -version = '0.1.779' -release = '0.1.779' +version = '0.1.780' +release = '0.1.780' # -- General configuration --------------------------------------------------- # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration diff --git a/package/version b/package/version index eddad3c85..e28e46c66 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.779 +0.1.780 diff --git a/pyproject.toml b/pyproject.toml index 4469514ac..ef3d0e474 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pyk" -version = "0.1.779" +version = "0.1.780" description = "" authors = [ "Runtime Verification, Inc. ", From 38db72e12650f4dce89a11c9bcc84d966a440eb1 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Apr 2024 22:20:20 +0000 Subject: [PATCH 07/12] deps/k_release: Set Version 6.3.80 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index de0beaeab..e895fb254 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.79 +6.3.80 From 14f1c70199fa5f20a1fd10200f4f7c9ae74d586c Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 10 Apr 2024 22:20:34 +0000 Subject: [PATCH 08/12] Set K Version: 6.3.80 --- src/pyk/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pyk/__init__.py b/src/pyk/__init__.py index 8d751a74e..f7cb80c79 100644 --- a/src/pyk/__init__.py +++ b/src/pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -K_VERSION: Final = '6.3.79' +K_VERSION: Final = '6.3.80' From b971300415bc8fc4aab3964ba2771ed7bf24429d Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Apr 2024 12:07:57 +0000 Subject: [PATCH 09/12] deps/k_release: Set Version 6.3.81 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index e895fb254..390ccb76c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.80 +6.3.81 From b4acdbd6dcd9f16ea372b81c97f1830ddb79ebdc Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Apr 2024 12:08:14 +0000 Subject: [PATCH 10/12] Set K Version: 6.3.81 --- src/pyk/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pyk/__init__.py b/src/pyk/__init__.py index f7cb80c79..8f7ab4e58 100644 --- a/src/pyk/__init__.py +++ b/src/pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -K_VERSION: Final = '6.3.80' +K_VERSION: Final = '6.3.81' From 25065e772771bec88faf3a3621448d417a3efa3a Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Apr 2024 13:13:44 +0000 Subject: [PATCH 11/12] deps/k_release: Set Version 6.3.82 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 390ccb76c..f3fe5fd85 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.81 +6.3.82 From 19c90c5d304629e048f4a209d8f28125e83e2886 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Apr 2024 13:13:58 +0000 Subject: [PATCH 12/12] Set K Version: 6.3.82 --- src/pyk/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/pyk/__init__.py b/src/pyk/__init__.py index 8f7ab4e58..2978821ec 100644 --- a/src/pyk/__init__.py +++ b/src/pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -K_VERSION: Final = '6.3.81' +K_VERSION: Final = '6.3.82'