From ce3d9f0d827dbcddb0bed633578ec4bc0f4671c3 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 18 May 2024 22:53:00 +0000 Subject: [PATCH 01/41] deps/k_release: Set Version 7.0.71 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 826cf4cd..1a0d3e25 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.70 +7.0.71 From a1e9ff81ea6b6551a82f4f6de6f84cf075e4a3c0 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 18 May 2024 22:53:14 +0000 Subject: [PATCH 02/41] Set Version: 0.1.5 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index 845639ee..9faa1b7a 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.4 +0.1.5 diff --git a/pyproject.toml b/pyproject.toml index d059ca4d..14d65cc5 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kriscv" -version = "0.1.4" +version = "0.1.5" description = "K tooling for the RISC-V architecture" authors = [ "Runtime Verification, Inc. ", From ba5207cc12d3f7b283115e06790c4b599367c5a2 Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 18 May 2024 22:54:22 +0000 Subject: [PATCH 03/41] pyproject.toml: sync pyk version 7.0.71 --- poetry.lock | 16 ++++++++-------- pyproject.toml | 2 +- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/poetry.lock b/poetry.lock index 261530c1..72258b03 100644 --- a/poetry.lock +++ b/poetry.lock @@ -586,13 +586,13 @@ files = [ [[package]] name = "pep8-naming" -version = "0.13.3" +version = "0.14.1" description = "Check PEP-8 naming conventions, plugin for flake8" optional = false -python-versions = ">=3.7" +python-versions = ">=3.8" files = [ - {file = "pep8-naming-0.13.3.tar.gz", hash = "sha256:1705f046dfcd851378aac3be1cd1551c7c1e5ff363bacad707d43007877fa971"}, - {file = "pep8_naming-0.13.3-py3-none-any.whl", hash = "sha256:1a86b8c71a03337c97181917e2b472f0f5e4ccb06844a0d6f0a33522549e7a80"}, + {file = "pep8-naming-0.14.1.tar.gz", hash = "sha256:1ef228ae80875557eb6c1549deafed4dabbf3261cfcafa12f773fe0db9be8a36"}, + {file = "pep8_naming-0.14.1-py3-none-any.whl", hash = "sha256:63f514fc777d715f935faf185dedd679ab99526a7f2f503abb61587877f7b1c5"}, ] [package.dependencies] @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.70" +version = "7.0.71" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.70" -resolved_reference = "b8ec37891c2e3e68afe5c5a0c14e2d2d17ef2daf" +reference = "v7.0.71" +resolved_reference = "4741d8b4793002a210757d04f68d861511b3eeb5" subdirectory = "pyk" [[package]] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "b68983d3fe55cae32fb2379293ec041dcef73722a8954c66a017848288a0016c" +content-hash = "3a2fff0303136dc7a28b0f1cabd9bd35f6b3004f1a3f21b34176186a33de531a" diff --git a/pyproject.toml b/pyproject.toml index 14d65cc5..df062fe2 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.70", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.71", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From f86cf3b6382648ab3f8f6e57b23cdde27e81f228 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 09:21:11 +0000 Subject: [PATCH 04/41] deps/k_release: Set Version 7.0.72 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1a0d3e25..513b52ee 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.71 +7.0.72 From 106c659b21a6da3729e43bcbcf874b323fa0c706 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 09:22:36 +0000 Subject: [PATCH 05/41] pyproject.toml: sync pyk version 7.0.72 --- poetry.lock | 14 +++++++------- pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/poetry.lock b/poetry.lock index 72258b03..d62fd676 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.71" +version = "7.0.72" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.71" -resolved_reference = "4741d8b4793002a210757d04f68d861511b3eeb5" +reference = "v7.0.72" +resolved_reference = "3554072970f442d803e94fcc48b7cced90cbd761" subdirectory = "pyk" [[package]] @@ -755,13 +755,13 @@ files = [ [[package]] name = "pytest" -version = "8.2.0" +version = "8.2.1" description = "pytest: simple powerful testing with Python" optional = false python-versions = ">=3.8" files = [ - {file = "pytest-8.2.0-py3-none-any.whl", hash = "sha256:1733f0620f6cda4095bbf0d9ff8022486e91892245bb9e7d5542c018f612f233"}, - {file = "pytest-8.2.0.tar.gz", hash = "sha256:d507d4482197eac0ba2bae2e9babf0672eb333017bcedaa5fb1a3d42c1174b3f"}, + {file = "pytest-8.2.1-py3-none-any.whl", hash = "sha256:faccc5d332b8c3719f40283d0d44aa5cf101cec36f88cde9ed8f2bc0538612b1"}, + {file = "pytest-8.2.1.tar.gz", hash = "sha256:5046e5b46d8e4cac199c373041f26be56fdb81eb4e67dc11d4e10811fc3408fd"}, ] [package.dependencies] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "3a2fff0303136dc7a28b0f1cabd9bd35f6b3004f1a3f21b34176186a33de531a" +content-hash = "43632f47f40d1bb22c9a173c34d00bab9e8252d2243e3c3a18d8f1e8bfa05e12" diff --git a/pyproject.toml b/pyproject.toml index df062fe2..92fac4dc 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.71", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.72", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 84b2d50af38b2cfb9abce050cf09db3f3cd38c6a Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 13:42:59 +0000 Subject: [PATCH 06/41] deps/k_release: Set Version 7.0.74 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 513b52ee..d5733795 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.72 +7.0.74 From 392d7c06ffdd6ca2f2934d32ac05bc2bf00030e6 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 13:44:43 +0000 Subject: [PATCH 07/41] pyproject.toml: sync pyk version 7.0.74 --- poetry.lock | 19 +++++++++---------- pyproject.toml | 2 +- 2 files changed, 10 insertions(+), 11 deletions(-) diff --git a/poetry.lock b/poetry.lock index d62fd676..5c55aa48 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.72" +version = "7.0.74" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.72" -resolved_reference = "3554072970f442d803e94fcc48b7cced90cbd761" +reference = "v7.0.74" +resolved_reference = "32da8c2cf1bf16c7121762cc0e6e3f52cd54aecb" subdirectory = "pyk" [[package]] @@ -864,19 +864,18 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "69.5.1" +version = "70.0.0" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-69.5.1-py3-none-any.whl", hash = "sha256:c636ac361bc47580504644275c9ad802c50415c7522212252c033bd15f301f32"}, - {file = "setuptools-69.5.1.tar.gz", hash = "sha256:6c1fccdac05a97e598fb0ae3bbed5904ccb317337a51139dcd51453611bbb987"}, + {file = "setuptools-70.0.0-py3-none-any.whl", hash = "sha256:54faa7f2e8d2d11bcd2c07bed282eef1046b5c080d1c32add737d7b5817b1ad4"}, + {file = "setuptools-70.0.0.tar.gz", hash = "sha256:f211a66637b8fa059bb28183da127d4e86396c991a942b028c6650d4319c3fd0"}, ] [package.extras] -docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] -testing = ["build[virtualenv]", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.9)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "mypy (==1.9)", "packaging (>=23.2)", "pip (>=19.1)", "pytest (>=6,!=8.1.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.2.1)", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] -testing-integration = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "packaging (>=23.2)", "pytest", "pytest-enabler", "pytest-xdist", "tomli", "virtualenv (>=13.0.0)", "wheel"] +docs = ["furo", "jaraco.packaging (>=9.3)", "jaraco.tidelift (>=1.4)", "pygments-github-lexers (==0.0.5)", "pyproject-hooks (!=1.1)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-favicon", "sphinx-inline-tabs", "sphinx-lint", "sphinx-notfound-page (>=1,<2)", "sphinx-reredirects", "sphinxcontrib-towncrier"] +testing = ["build[virtualenv] (>=1.0.3)", "filelock (>=3.4.0)", "importlib-metadata", "ini2toml[lite] (>=0.14)", "jaraco.develop (>=7.21)", "jaraco.envs (>=2.2)", "jaraco.path (>=3.2.0)", "mypy (==1.9)", "packaging (>=23.2)", "pip (>=19.1)", "pyproject-hooks (!=1.1)", "pytest (>=6,!=8.1.1)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-home (>=0.5)", "pytest-mypy", "pytest-perf", "pytest-ruff (>=0.2.1)", "pytest-subprocess", "pytest-timeout", "pytest-xdist (>=3)", "tomli", "tomli-w (>=1.0.0)", "virtualenv (>=13.0.0)", "wheel"] [[package]] name = "textual" @@ -985,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "43632f47f40d1bb22c9a173c34d00bab9e8252d2243e3c3a18d8f1e8bfa05e12" +content-hash = "6bf29d97854925d244fc644fe83f8eff42079e50379ae15c414d0c90582914be" diff --git a/pyproject.toml b/pyproject.toml index 92fac4dc..3dbffe83 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.72", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.74", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From dedb51833157ed0c1900be67bef5187f79ef1fd0 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 16:10:30 +0000 Subject: [PATCH 08/41] deps/k_release: Set Version 7.0.75 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d5733795..dd64a800 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.74 +7.0.75 From 22422370a289bc328836a0db048b732fecca1164 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 16:11:29 +0000 Subject: [PATCH 09/41] pyproject.toml: sync pyk version 7.0.75 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 5c55aa48..4fbd6171 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.74" +version = "7.0.75" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.74" -resolved_reference = "32da8c2cf1bf16c7121762cc0e6e3f52cd54aecb" +reference = "v7.0.75" +resolved_reference = "8d02ef56bd33a35279f2bb4250214b678fe6f373" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "6bf29d97854925d244fc644fe83f8eff42079e50379ae15c414d0c90582914be" +content-hash = "2348fb1e755f4581732ac9ee6a07c95c906ede5b41c310efea677a936700fd33" diff --git a/pyproject.toml b/pyproject.toml index 3dbffe83..2ffb6170 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.74", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.75", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 2278af4d5207292c6cbc1bf708da144f1569c579 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 19:23:19 +0000 Subject: [PATCH 10/41] deps/k_release: Set Version 7.0.76 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index dd64a800..9e621537 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.75 +7.0.76 From dd77313db6c6053ce3102881175a7814e89b2e91 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 19:24:09 +0000 Subject: [PATCH 11/41] pyproject.toml: sync pyk version 7.0.76 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 4fbd6171..8932acae 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.75" +version = "7.0.76" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.75" -resolved_reference = "8d02ef56bd33a35279f2bb4250214b678fe6f373" +reference = "v7.0.76" +resolved_reference = "9704088bed7f1dbaa4e5c7361fd7e559b5e4cf07" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "2348fb1e755f4581732ac9ee6a07c95c906ede5b41c310efea677a936700fd33" +content-hash = "f79375e1da62fc81af9d466d4d199cc36ff7cec6f6a5d7378e8f4c907fe50331" diff --git a/pyproject.toml b/pyproject.toml index 2ffb6170..14df5611 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.75", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.76", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 9382deea0a51f92ae719dd59f8c71d73eef9b8d4 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 20:56:11 +0000 Subject: [PATCH 12/41] deps/k_release: Set Version 7.0.77 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9e621537..5d31b084 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.76 +7.0.77 From 91de35569a79574f69705b40b1717c75796a67a8 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 20:57:29 +0000 Subject: [PATCH 13/41] pyproject.toml: sync pyk version 7.0.77 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 8932acae..b28f1db1 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.76" +version = "7.0.77" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.76" -resolved_reference = "9704088bed7f1dbaa4e5c7361fd7e559b5e4cf07" +reference = "v7.0.77" +resolved_reference = "a30709d04ed60e8cbd51107917a31a0a1651d689" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f79375e1da62fc81af9d466d4d199cc36ff7cec6f6a5d7378e8f4c907fe50331" +content-hash = "39d7a66f4ee357781355b93ed72871ee1e6c010d9ccacea5d221c8400931b20b" diff --git a/pyproject.toml b/pyproject.toml index 14df5611..559207e3 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.76", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.77", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 20ae12f78ad46c166963742ad096ac13ff0ec8f9 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 21:58:52 +0000 Subject: [PATCH 14/41] deps/k_release: Set Version 7.0.78 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 5d31b084..8024430c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.77 +7.0.78 From 4c76edc68ff8551d9aa53384fd9827e36994a320 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 21:59:48 +0000 Subject: [PATCH 15/41] pyproject.toml: sync pyk version 7.0.78 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index b28f1db1..13716b30 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.77" +version = "7.0.78" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.77" -resolved_reference = "a30709d04ed60e8cbd51107917a31a0a1651d689" +reference = "v7.0.78" +resolved_reference = "b486ee7c4d23fabb859eb4435078c76c79ad94d3" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "39d7a66f4ee357781355b93ed72871ee1e6c010d9ccacea5d221c8400931b20b" +content-hash = "f7c75396b6b63bacd32748da47eeeabf4604ad1aa948b85fce1890ca7f7d80ae" diff --git a/pyproject.toml b/pyproject.toml index 559207e3..52cf2b46 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.77", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.78", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 9e9dc7e51ddedac5fb9d87a5e47277b5317a3e66 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 22:50:14 +0000 Subject: [PATCH 16/41] deps/k_release: Set Version 7.0.79 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8024430c..46533965 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.78 +7.0.79 From a4e84170a6a03695bdb835ac9a25c6cdb9bc5e80 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 21 May 2024 22:51:16 +0000 Subject: [PATCH 17/41] pyproject.toml: sync pyk version 7.0.79 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 13716b30..7cee8a9f 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.78" +version = "7.0.79" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.78" -resolved_reference = "b486ee7c4d23fabb859eb4435078c76c79ad94d3" +reference = "v7.0.79" +resolved_reference = "ba4be1c8a02ed2243c46a1784b2f642952b252de" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "f7c75396b6b63bacd32748da47eeeabf4604ad1aa948b85fce1890ca7f7d80ae" +content-hash = "25b94127662e84a85cb80dc9a6f619eea85159da47d6e35c26063b13b54610f6" diff --git a/pyproject.toml b/pyproject.toml index 52cf2b46..c91bc7c2 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.78", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.79", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From c3a987254538953603a9e0c3cffd6d54cb5e7376 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 02:41:24 +0000 Subject: [PATCH 18/41] deps/k_release: Set Version 7.0.80 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 46533965..fab34935 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.79 +7.0.80 From ea3fda1a028d99232727156be5a97743caa03269 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 02:42:38 +0000 Subject: [PATCH 19/41] pyproject.toml: sync pyk version 7.0.80 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 7cee8a9f..234eb098 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.79" +version = "7.0.80" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.79" -resolved_reference = "ba4be1c8a02ed2243c46a1784b2f642952b252de" +reference = "v7.0.80" +resolved_reference = "93041ca8ecab3c0499cbc49b772c6dbb13996f40" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "25b94127662e84a85cb80dc9a6f619eea85159da47d6e35c26063b13b54610f6" +content-hash = "e70d2921747303aab175cbbd4eeb5fd339d59c554a8156edc095abd508082d83" diff --git a/pyproject.toml b/pyproject.toml index c91bc7c2..33df3af0 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.79", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.80", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 665a46d7268cfc25fa901f0e5ce60be6b3a0a94c Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 10:47:54 +0000 Subject: [PATCH 20/41] deps/k_release: Set Version 7.0.81 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index fab34935..d014437f 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.80 +7.0.81 From 03b75161692e72f1300b7c6ec6ea78f78f03354f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 10:53:19 +0000 Subject: [PATCH 21/41] pyproject.toml: sync pyk version 7.0.81 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 234eb098..73814dbd 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.80" +version = "7.0.81" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.80" -resolved_reference = "93041ca8ecab3c0499cbc49b772c6dbb13996f40" +reference = "v7.0.81" +resolved_reference = "81a21a082077230eace056dddd259faca79ce92c" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e70d2921747303aab175cbbd4eeb5fd339d59c554a8156edc095abd508082d83" +content-hash = "68c8f0e617e15f25762dd6feac6f5b2a050337b8619dde07f13b56383bc2e539" diff --git a/pyproject.toml b/pyproject.toml index 33df3af0..d4374fd4 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.80", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.81", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 6ce13ed39aabedfc4819fcc7f49f933be71a2b04 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 11:56:04 +0000 Subject: [PATCH 22/41] deps/k_release: Set Version 7.0.82 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d014437f..314b56ac 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.81 +7.0.82 From 87b54d99e8bf548292cea8e01327b9a499519189 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 11:56:59 +0000 Subject: [PATCH 23/41] pyproject.toml: sync pyk version 7.0.82 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 73814dbd..c68dbc02 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.81" +version = "7.0.82" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.81" -resolved_reference = "81a21a082077230eace056dddd259faca79ce92c" +reference = "v7.0.82" +resolved_reference = "c54d740bd0f40ae585191e9fce94d852b83fea99" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "68c8f0e617e15f25762dd6feac6f5b2a050337b8619dde07f13b56383bc2e539" +content-hash = "bdf149fcd6b41c7ef45580567c5d89b11036e82b52c706e3704e4d752b0fe4b9" diff --git a/pyproject.toml b/pyproject.toml index d4374fd4..2f58ab10 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.81", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.82", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 456ec2909a68275861b03a7874c778d5f707004a Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 12:45:19 +0000 Subject: [PATCH 24/41] deps/k_release: Set Version 7.0.83 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 314b56ac..c67bc0e3 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.82 +7.0.83 From 53658db119f8a44c3007df150701d4c10f874e7c Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 12:46:28 +0000 Subject: [PATCH 25/41] pyproject.toml: sync pyk version 7.0.83 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index c68dbc02..0f12594f 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.82" +version = "7.0.83" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.82" -resolved_reference = "c54d740bd0f40ae585191e9fce94d852b83fea99" +reference = "v7.0.83" +resolved_reference = "9329acd4c068d6a8219b4967b10bce5370577624" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "bdf149fcd6b41c7ef45580567c5d89b11036e82b52c706e3704e4d752b0fe4b9" +content-hash = "13c9626f75d2e95fc3bb4490c4b838ba98b6020b1598d22f8fb79cb426323dfd" diff --git a/pyproject.toml b/pyproject.toml index 2f58ab10..31a59e11 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.82", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.83", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 31f1a4b5ed5cf023412c244a1f5768ac3d3b2c4b Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 14:47:10 +0000 Subject: [PATCH 26/41] deps/k_release: Set Version 7.0.84 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c67bc0e3..1e05a199 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.83 +7.0.84 From 051b6641c0498f81e02c9d5e1d5276df0d91447a Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 14:48:28 +0000 Subject: [PATCH 27/41] pyproject.toml: sync pyk version 7.0.84 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 0f12594f..31c445e8 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.83" +version = "7.0.84" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.83" -resolved_reference = "9329acd4c068d6a8219b4967b10bce5370577624" +reference = "v7.0.84" +resolved_reference = "ea6850df7eb4cb73c60d430be7c355575a9ecb04" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "13c9626f75d2e95fc3bb4490c4b838ba98b6020b1598d22f8fb79cb426323dfd" +content-hash = "34b1dd09a3dd6d9efc526845a36fc352d40a7ab55177ac77bdb3c86826da61b4" diff --git a/pyproject.toml b/pyproject.toml index 31a59e11..9d1dc376 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.83", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.84", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 241e6e733d4b985dbbf683a60bfec2bee75d9404 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 16:09:07 +0000 Subject: [PATCH 28/41] deps/k_release: Set Version 7.0.85 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1e05a199..a598e222 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.84 +7.0.85 From 420791f49dfe37661270d322016d1893e6c0298f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 22 May 2024 16:10:13 +0000 Subject: [PATCH 29/41] pyproject.toml: sync pyk version 7.0.85 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 31c445e8..e32c51f0 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.84" +version = "7.0.85" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.84" -resolved_reference = "ea6850df7eb4cb73c60d430be7c355575a9ecb04" +reference = "v7.0.85" +resolved_reference = "af40d82ed362d29d568ca10393589f760dbbd565" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "34b1dd09a3dd6d9efc526845a36fc352d40a7ab55177ac77bdb3c86826da61b4" +content-hash = "33b272e73505d6b785001d5526c96fcaa68e2cbcde7c6fbf86862296c3ccb504" diff --git a/pyproject.toml b/pyproject.toml index 9d1dc376..c01c76e2 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.84", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.85", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From be2c5afec2c2a50a3f55e47c75ab9152f2650ecb Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 11:12:58 +0000 Subject: [PATCH 30/41] deps/k_release: Set Version 7.0.86 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a598e222..7ef984f8 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.85 +7.0.86 From 5334f862abe59cd63e7e666b5a17fb79f2b0eaae Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 11:13:59 +0000 Subject: [PATCH 31/41] pyproject.toml: sync pyk version 7.0.86 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index e32c51f0..fc3b335c 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.85" +version = "7.0.86" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.85" -resolved_reference = "af40d82ed362d29d568ca10393589f760dbbd565" +reference = "v7.0.86" +resolved_reference = "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "33b272e73505d6b785001d5526c96fcaa68e2cbcde7c6fbf86862296c3ccb504" +content-hash = "bc95735744b44a513962f398caded72069b520cade333d0729223caa06f1475f" diff --git a/pyproject.toml b/pyproject.toml index c01c76e2..af822f02 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.85", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.86", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From aef85d8fd0b34743d9c739877870065faad6f70b Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 12:17:50 +0000 Subject: [PATCH 32/41] deps/k_release: Set Version 7.0.87 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7ef984f8..193702c4 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.86 +7.0.87 From 789349c24f1517df5c0578346a6bd6d3f8367d20 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 12:19:01 +0000 Subject: [PATCH 33/41] pyproject.toml: sync pyk version 7.0.87 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index fc3b335c..bc8a12d2 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.86" +version = "7.0.87" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.86" -resolved_reference = "3aefbbb102d4ff2ee54a967d8b4dde91c94da72b" +reference = "v7.0.87" +resolved_reference = "d63f22726b5a6ed052840a33d2865233f08a3b0d" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "bc95735744b44a513962f398caded72069b520cade333d0729223caa06f1475f" +content-hash = "e0a8add4db9653258f54663c02eff25c30ff60c6bed75f44273d168c37fea831" diff --git a/pyproject.toml b/pyproject.toml index af822f02..56d246d9 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.86", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.87", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 56d59b6fabad159b90d8b8d099405d8bfcb67abe Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 14:38:14 +0000 Subject: [PATCH 34/41] deps/k_release: Set Version 7.0.88 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 193702c4..05677817 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.87 +7.0.88 From 4997ca47976be245e9aade12b3ca6fb74bb07b00 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 14:39:28 +0000 Subject: [PATCH 35/41] pyproject.toml: sync pyk version 7.0.88 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index bc8a12d2..82e7d9f1 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.87" +version = "7.0.88" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.87" -resolved_reference = "d63f22726b5a6ed052840a33d2865233f08a3b0d" +reference = "v7.0.88" +resolved_reference = "f96245d1fe97055ce76ce55bac50a8841e2655e6" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "e0a8add4db9653258f54663c02eff25c30ff60c6bed75f44273d168c37fea831" +content-hash = "1ed5cc7063a23759a1a1817c3bce7545d998c75661c4191624dca914af3e3670" diff --git a/pyproject.toml b/pyproject.toml index 56d246d9..0422d1c0 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.87", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.88", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From f0007c410f774d05e2b3b6687142cefcf951447a Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 19:10:27 +0000 Subject: [PATCH 36/41] deps/k_release: Set Version 7.0.89 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 05677817..8119991d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.88 +7.0.89 From 1626c579f0df8c63d303afd740a38665d6bc5c6c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 May 2024 19:11:48 +0000 Subject: [PATCH 37/41] pyproject.toml: sync pyk version 7.0.89 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 82e7d9f1..e65f1491 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.88" +version = "7.0.89" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.88" -resolved_reference = "f96245d1fe97055ce76ce55bac50a8841e2655e6" +reference = "v7.0.89" +resolved_reference = "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "1ed5cc7063a23759a1a1817c3bce7545d998c75661c4191624dca914af3e3670" +content-hash = "64e28e4f2dc8e8dbcd7f632edadee1f3eec8cbd915470d8f735add168362eb94" diff --git a/pyproject.toml b/pyproject.toml index 0422d1c0..0b656b2c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.88", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.89", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 9ba68728e51bcae2a5284148c27607a684a8d5bd Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 May 2024 09:12:10 +0000 Subject: [PATCH 38/41] deps/k_release: Set Version 7.0.90 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8119991d..20780a61 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.89 +7.0.90 From b46b1037714e1e4e87de1d43292ab4ccc199c73d Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 May 2024 09:13:25 +0000 Subject: [PATCH 39/41] pyproject.toml: sync pyk version 7.0.90 --- poetry.lock | 14 +++++++------- pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/poetry.lock b/poetry.lock index e65f1491..bcc4a4dd 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.89" +version = "7.0.90" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.89" -resolved_reference = "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5" +reference = "v7.0.90" +resolved_reference = "ff056270cc62c50284c1865f5744b499f8d9a36b" subdirectory = "pyk" [[package]] @@ -921,13 +921,13 @@ files = [ [[package]] name = "typing-extensions" -version = "4.11.0" +version = "4.12.0" description = "Backported and Experimental Type Hints for Python 3.8+" optional = false python-versions = ">=3.8" files = [ - {file = "typing_extensions-4.11.0-py3-none-any.whl", hash = "sha256:c1f94d72897edaf4ce775bb7558d5b79d8126906a14ea5ed1635921406c0387a"}, - {file = "typing_extensions-4.11.0.tar.gz", hash = "sha256:83f085bd5ca59c80295fc2a82ab5dac679cbe02b9f33f7d83af68e241bea51b0"}, + {file = "typing_extensions-4.12.0-py3-none-any.whl", hash = "sha256:b349c66bea9016ac22978d800cfff206d5f9816951f12a7d0ec5578b0a819594"}, + {file = "typing_extensions-4.12.0.tar.gz", hash = "sha256:8cbcdc8606ebcb0d95453ad7dc5065e6237b6aa230a31e81d0f440c30fed5fd8"}, ] [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "64e28e4f2dc8e8dbcd7f632edadee1f3eec8cbd915470d8f735add168362eb94" +content-hash = "397bf64e45f6dd853274f56aae2051af4b8afc0310513e1fdf52af88c9883bbe" diff --git a/pyproject.toml b/pyproject.toml index 0b656b2c..5321043c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.89", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.90", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 67225cfb79fdd2c9a28c7a6e204e1640177a631c Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 May 2024 12:06:08 +0000 Subject: [PATCH 40/41] deps/k_release: Set Version 7.0.91 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 20780a61..38bd4189 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.90 +7.0.91 From f737e6d0d813540c7ada8b2085cd80f2fa5d58d4 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 May 2024 12:07:19 +0000 Subject: [PATCH 41/41] pyproject.toml: sync pyk version 7.0.91 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index bcc4a4dd..2d2f5981 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.90" +version = "7.0.91" description = "" optional = false python-versions = "^3.10" @@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/k.git" -reference = "v7.0.90" -resolved_reference = "ff056270cc62c50284c1865f5744b499f8d9a36b" +reference = "v7.0.91" +resolved_reference = "8c7d1e1e7332f39a8a7acdb92b9d9658e2bd31c4" subdirectory = "pyk" [[package]] @@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "397bf64e45f6dd853274f56aae2051af4b8afc0310513e1fdf52af88c9883bbe" +content-hash = "8d1d21821d9f61130c1de3d5f3fa2c5571ee3a4be3f9112925ac6ec7c32fc5fa" diff --git a/pyproject.toml b/pyproject.toml index 5321043c..864e0e55 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.90", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.91", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*"