From 0b320e2de731856d3e27b9469f35b6f288523b84 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 10:34:23 +0000 Subject: [PATCH 01/13] deps/k_release: Set Version 7.0.63 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 83e72acf..7fd6326d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.62 +7.0.63 From 2a88401a37c39379aec03cd3ddc6ae394ac1ae49 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 10:34:46 +0000 Subject: [PATCH 02/13] Set Version: 0.1.3 --- package/version | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/package/version b/package/version index d917d3e2..b1e80bb2 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.2 +0.1.3 diff --git a/pyproject.toml b/pyproject.toml index 46c69c14..6384a2a3 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kriscv" -version = "0.1.2" +version = "0.1.3" description = "K tooling for the RISC-V architecture" authors = [ "Runtime Verification, Inc. ", From a8bd251fe9805e7010cf0ff637f88d2bcf395014 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 10:43:14 +0000 Subject: [PATCH 03/13] pyproject.toml: sync pyk version 7.0.63 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 1d2cdfef..29183e52 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.62" +version = "7.0.63" 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.62" -resolved_reference = "75493a99939dc576450d9ad425230e66ae70e54d" +reference = "v7.0.63" +resolved_reference = "efc91e6f9e9f56b4f3a71af29a791e84bbc64597" subdirectory = "pyk" [[package]] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "eff56e33c7de27faabfbf843ddcdac7570686e4a3fc75f40aec1da36438850d9" +content-hash = "71ac0588da02e239ca2c2efcb9c8b5a718478221a41e0b54097d5b3c4f2c6ceb" diff --git a/pyproject.toml b/pyproject.toml index 6384a2a3..0ae51a83 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.62", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.63", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From d3835c78eddf4ea842a5c877af5010711de96bf2 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 12:19:32 +0000 Subject: [PATCH 04/13] deps/k_release: Set Version 7.0.64 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7fd6326d..ff5ccf65 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.63 +7.0.64 From dbb05ac0af9cd5df8cb72641cb452ebe83ebfed1 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 12:20:13 +0000 Subject: [PATCH 05/13] pyproject.toml: sync pyk version 7.0.64 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 29183e52..aeecc684 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.63" +version = "7.0.64" 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.63" -resolved_reference = "efc91e6f9e9f56b4f3a71af29a791e84bbc64597" +reference = "v7.0.64" +resolved_reference = "da61a997abf8549fdd6fa25e4568af9a3850ac5e" subdirectory = "pyk" [[package]] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "71ac0588da02e239ca2c2efcb9c8b5a718478221a41e0b54097d5b3c4f2c6ceb" +content-hash = "4e151889f085e496f912a546858b447df2246d275abddc1ecbb0038ee028d68a" diff --git a/pyproject.toml b/pyproject.toml index 0ae51a83..15a03f3e 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.63", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.64", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 90405310f58f858d9ecd6769a24b7ccee875a184 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 13:54:00 +0000 Subject: [PATCH 06/13] deps/k_release: Set Version 7.0.65 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ff5ccf65..1626383f 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.64 +7.0.65 From c0703697db8ad0770bb63714e048c4068593b0f6 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 14:00:56 +0000 Subject: [PATCH 07/13] pyproject.toml: sync pyk version 7.0.65 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index aeecc684..f5e89bc3 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.64" +version = "7.0.65" 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.64" -resolved_reference = "da61a997abf8549fdd6fa25e4568af9a3850ac5e" +reference = "v7.0.65" +resolved_reference = "7137a288a73053d24c102e85b295782e34bd1503" subdirectory = "pyk" [[package]] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "4e151889f085e496f912a546858b447df2246d275abddc1ecbb0038ee028d68a" +content-hash = "aa2205ea91c1ff194dd4d0fda2dc5d4b29851a0e009bc4437e18f1abe2c9d79f" diff --git a/pyproject.toml b/pyproject.toml index 15a03f3e..c1403487 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.64", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.65", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From 826bcd52e4bfd688fbd9c48d4f6bed8dba0a6916 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 15:13:34 +0000 Subject: [PATCH 08/13] deps/k_release: Set Version 7.0.66 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1626383f..a5d33b64 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.65 +7.0.66 From cc5df8f367286624c4d4d199c7efb16f5709fe29 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 15:14:37 +0000 Subject: [PATCH 09/13] pyproject.toml: sync pyk version 7.0.66 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index f5e89bc3..2a6ecc08 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.65" +version = "7.0.66" 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.65" -resolved_reference = "7137a288a73053d24c102e85b295782e34bd1503" +reference = "v7.0.66" +resolved_reference = "ac15da888e2e7becebb61abf23b636bd1e038187" subdirectory = "pyk" [[package]] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "aa2205ea91c1ff194dd4d0fda2dc5d4b29851a0e009bc4437e18f1abe2c9d79f" +content-hash = "49f2bed1bf954a3425a484a8e1a1a334a601ad78f5dc5feff04be3b284355674" diff --git a/pyproject.toml b/pyproject.toml index c1403487..84e12db2 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.65", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.66", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From af55682d7e96ddb40d33b48ca5ef458c96ff2577 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 16:29:28 +0000 Subject: [PATCH 10/13] deps/k_release: Set Version 7.0.67 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a5d33b64..d3db6880 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.66 +7.0.67 From ecc218070da72231e1e10b154f68feabf9444a21 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 16:30:28 +0000 Subject: [PATCH 11/13] pyproject.toml: sync pyk version 7.0.67 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 2a6ecc08..7a73402a 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.66" +version = "7.0.67" 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.66" -resolved_reference = "ac15da888e2e7becebb61abf23b636bd1e038187" +reference = "v7.0.67" +resolved_reference = "8c5e00d10e600132f51f2958d4f624bc86669cbf" subdirectory = "pyk" [[package]] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "49f2bed1bf954a3425a484a8e1a1a334a601ad78f5dc5feff04be3b284355674" +content-hash = "8c998ef127083ba4cb29f09b8d544d918a390bc70209cbac89fe78c76af2833e" diff --git a/pyproject.toml b/pyproject.toml index 84e12db2..d2d5b3fb 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.66", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.67", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*" From d2d3467ac8bc9e537406547dfe865f09501cf0da Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 17:30:16 +0000 Subject: [PATCH 12/13] deps/k_release: Set Version 7.0.68 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d3db6880..6cd5af0c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -7.0.67 +7.0.68 From 166258e41657554ae1b39afe879a4fe883a9b756 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 15 May 2024 17:31:27 +0000 Subject: [PATCH 13/13] pyproject.toml: sync pyk version 7.0.68 --- poetry.lock | 8 ++++---- pyproject.toml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/poetry.lock b/poetry.lock index 7a73402a..2e70dfab 100644 --- a/poetry.lock +++ b/poetry.lock @@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"] [[package]] name = "pyk" -version = "7.0.67" +version = "7.0.68" 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.67" -resolved_reference = "8c5e00d10e600132f51f2958d4f624bc86669cbf" +reference = "v7.0.68" +resolved_reference = "5f318317d689a43f2f0aa75d6f031ece9ec341df" subdirectory = "pyk" [[package]] @@ -985,4 +985,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "8c998ef127083ba4cb29f09b8d544d918a390bc70209cbac89fe78c76af2833e" +content-hash = "ae8dd08903be3bfe29b1398e2efd019b66d347b336fe909f18aaeae74e772f72" diff --git a/pyproject.toml b/pyproject.toml index d2d5b3fb..b0cee5f2 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.67", subdirectory = "pyk" } +pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.68", subdirectory = "pyk" } [tool.poetry.group.dev.dependencies] autoflake = "*"