Skip to content

Update dependency: deps/kmir_release #27

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
rv-jenkins wants to merge 20 commits into
base: master
Choose a base branch
from
Open

Update dependency: deps/kmir_release #27

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
a298f42
deps/kmir_release: Set Version 0.4.187
rv-auditor Mar 15, 2026
0bf991d
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
github-actions[bot] Mar 15, 2026
b1dade4
Set Version: 0.1.17
rv-auditor Mar 15, 2026
19a9495
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
rv-auditor Mar 15, 2026
a08114c
Merge branch 'master' into _update-deps/runtimeverification/mir-seman…
dkcumming Mar 16, 2026
811dbe7
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
rv-auditor Mar 16, 2026
9a2866c
Set Version: 0.1.18
rv-auditor Mar 16, 2026
e75ecb1
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.187
github-actions[bot] Mar 16, 2026
aaaa509
deps/kmir_release: Set Version 0.4.188
rv-auditor Mar 17, 2026
50c5cdc
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.188
github-actions[bot] Mar 17, 2026
2493e3f
deps/kmir_release: Set Version 0.4.191
rv-auditor Mar 20, 2026
ccf7c68
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.191
github-actions[bot] Mar 20, 2026
cb8d3ed
deps/kmir_release: Set Version 0.4.192
rv-auditor Mar 24, 2026
de5a720
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.192
github-actions[bot] Mar 24, 2026
e67bf8b
deps/kmir_release: Set Version 0.4.193
rv-auditor Mar 27, 2026
ccbde84
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.193
github-actions[bot] Mar 27, 2026
1cfb7e5
deps/kmir_release: Set Version 0.4.194
rv-auditor Mar 28, 2026
2af6815
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.194
github-actions[bot] Mar 28, 2026
7a8b776
deps/kmir_release: Set Version 0.4.195
rv-auditor Mar 31, 2026
dfdb04d
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.195
github-actions[bot] Mar 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion deps/kmir_release
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.4.186
0.4.195
2 changes: 1 addition & 1 deletion package/version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.17
0.1.18
6 changes: 3 additions & 3 deletions pyproject.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,19 +4,19 @@ 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 = [
"kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.186#subdirectory=kmir",
"kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.195#subdirectory=kmir",
]

[[project.authors]]
name = "Runtime Verification, Inc."
email = "contact@runtimeverification.com"

[tool.uv.sources]
kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.186", subdirectory = "kmir" }
kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.195", subdirectory = "kmir" }

[project.scripts]
kompass = "kompass.__main__:main"
Expand Down
Loading
Loading