From da9081cc3023ec550780130a60934dc595d63eda Mon Sep 17 00:00:00 2001 From: mariaKt Date: Thu, 23 Apr 2026 15:26:54 -0500 Subject: [PATCH 1/3] Add CI step to sync K definition files from feature/p-token on version update --- .github/workflows/update-version.yml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml index ff721944..0f69e97d 100644 --- a/.github/workflows/update-version.yml +++ b/.github/workflows/update-version.yml @@ -33,5 +33,17 @@ jobs: uv lock --upgrade git add pyproject.toml uv.lock git commit -m '{pyproject.toml,uv.lock}: sync uv files, KMIR version '${KMIR_VERSION} || true + - name: 'Sync K definition files from feature/p-token' + run: | + git clone --depth 1 --branch feature/p-token \ + https://github.com/runtimeverification/mir-semantics.git /tmp/mir-semantics + for f in p-token.md spl-token.md info.md; do + cp /tmp/mir-semantics/kmir/src/kmir/kdist/mir-semantics/symbolic/$f \ + src/kompass/kdist/kompass/$f + sed -i 's|requires "../|requires "mir-semantics/|g' src/kompass/kdist/kompass/$f + done + rm -rf /tmp/mir-semantics + git add src/kompass/kdist/kompass/ + git commit -m 'Sync K definition files from feature/p-token' || true - name: 'Push updates' run: git push From 52b6123aa146dfa5ca76b0aacf707b8ab9073a1b Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 23 Apr 2026 21:20:25 +0000 Subject: [PATCH 2/3] Set Version: 0.1.18 --- package/version | 2 +- pyproject.toml | 2 +- uv.lock | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/package/version b/package/version index 04c5555c..f8bc4c62 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.17 +0.1.18 diff --git a/pyproject.toml b/pyproject.toml index dafffc98..fead892b 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "kompass" -version = "0.1.17" +version = "0.1.18" description = "K Semantics for the Solana ecosystem" requires-python = "~=3.10" dependencies = [ diff --git a/uv.lock b/uv.lock index 990a237d..904411e6 100644 --- a/uv.lock +++ b/uv.lock @@ -571,7 +571,7 @@ dependencies = [ [[package]] name = "kompass" -version = "0.1.17" +version = "0.1.18" source = { editable = "." } dependencies = [ { name = "kmir" }, From 47637be24633256b5ab4f4deb301a81dda29c41b Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 24 Apr 2026 12:33:57 +0000 Subject: [PATCH 3/3] Set Version: 0.1.19 --- package/version | 2 +- pyproject.toml | 2 +- uv.lock | 6 +++--- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/package/version b/package/version index f8bc4c62..d8a023ec 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.18 +0.1.19 diff --git a/pyproject.toml b/pyproject.toml index 4d0ae620..d1e522e5 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "hatchling.build" [project] name = "kompass" -version = "0.1.18" +version = "0.1.19" description = "K Semantics for the Solana ecosystem" requires-python = "~=3.10" dependencies = [ diff --git a/uv.lock b/uv.lock index 596bdf21..6a1ad216 100644 --- a/uv.lock +++ b/uv.lock @@ -1,5 +1,5 @@ version = 1 -revision = 3 +revision = 2 requires-python = ">=3.10, <4" resolution-markers = [ "python_full_version >= '3.15'", @@ -393,7 +393,7 @@ name = "exceptiongroup" version = "1.3.1" source = { registry = "https://pypi.org/simple" } dependencies = [ - { name = "typing-extensions", marker = "python_full_version < '3.13'" }, + { name = "typing-extensions", marker = "python_full_version < '3.11'" }, ] sdist = { url = "https://files.pythonhosted.org/packages/50/79/66800aadf48771f6b62f7eb014e352e5d06856655206165d775e675a02c9/exceptiongroup-1.3.1.tar.gz", hash = "sha256:8b412432c6055b0b7d14c310000ae93352ed6754f70fa8f7c34141f91c4e3219", size = 30371, upload-time = "2025-11-21T23:01:54.787Z" } wheels = [ @@ -590,7 +590,7 @@ dependencies = [ [[package]] name = "kompass" -version = "0.1.18" +version = "0.1.19" source = { editable = "." } dependencies = [ { name = "kmir" },