Skip to content

Update dependency: deps/kmir_release#23

Open
rv-jenkins wants to merge 27 commits intomasterfrom
_update-deps/runtimeverification/mir-semantics
Open

Update dependency: deps/kmir_release#23
rv-jenkins wants to merge 27 commits intomasterfrom
_update-deps/runtimeverification/mir-semantics

Conversation

@rv-jenkins
Copy link
Collaborator

@rv-jenkins rv-jenkins commented Feb 28, 2026 •
edited by dkcumming
Loading

Changes on top of the dep bump:

  • Updated p-token.md and spl-token.md to match upstream feature/p-token
  • Fixed require paths for kompass kdist layout (mir-semantics/ prefix)
  • Updated module names in kompass.md (KMIR-P-TOKEN, KMIR-SPL-TOKEN)
  • Added token test directory structure (data/token/spl-token/, data/token/p-token/)
  • Copied spl-multisig-signer-index.rs, spl-multisig-iter-eq-copied-next-fail.rs, spl_token_domain_data-fail.rs from feature/p-token (note that spl_token_domain_data changed to failing but was previously not run)
  • Added test_token.py using KMIR.prove_rs with kompass definitions
  • Added conftest.py overriding kmir fixture to use kompass.haskell/llvm-library targets
  • Added make test-token target
  • Generated show expected output for fail specs

CI run includes new tests

@rv-jenkins rv-jenkins requested a review from dkcumming February 28, 2026 03:29
github-actions bot and others added 26 commits February 28, 2026 03:30
@github-actions
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.169
a0739bb
@rv-auditor
Set Version: 0.1.15
c1a5f03
@rv-auditor
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.169
0b88e84
@rv-auditor
deps/kmir_release: Set Version 0.4.170
75a3bac
@rv-auditor
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.170
32d2b72
@rv-auditor
deps/kmir_release: Set Version 0.4.171
a59c9aa
@github-actions
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.171
9b345b2
@rv-auditor
deps/kmir_release: Set Version 0.4.173
63d4134
@github-actions
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.173
b441737
@rv-auditor
deps/kmir_release: Set Version 0.4.175
94d47e0
@github-actions
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.175
b2ab6bc
@rv-auditor
deps/kmir_release: Set Version 0.4.176
e28b85e
@rv-auditor
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.176
64c8db5
@rv-auditor
deps/kmir_release: Set Version 0.4.178
3933c84
@rv-auditor
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.178
d226b03
@rv-auditor
deps/kmir_release: Set Version 0.4.180
fbb7c4d
@github-actions
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.180
2213d40
@rv-auditor
deps/kmir_release: Set Version 0.4.181
7252eed
@github-actions
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.181
3af2993
@dkcumming
Sync p-token.md and spl-token.md from mir-seamtnics feature/p-token
1c220cc 
K modules match upstream:
- add `_Span` to `#execTerminatorCall`
- reduce Signers in cheatcodes from 3 to 11
- improve Signer representation for verification
- fix `variantIdx`
- add `cheatcode_maybe_same_account`
@dkcumming
Added spl and p tests dir with spl tests
0402eff
@dkcumming
Path K modules for SPL tests so make build works
41b2faf
@dkcumming
Added make test-token for P/SPL Token tests
32dd790
@dkcumming
Added show and --update-expected-output for *-fail.rs
2b79732
@dkcumming
Changed SPL domain data test to failing
76992b2
@rv-auditor
{pyproject.toml,uv.lock}: sync uv files, KMIR version 0.4.181
cb8dbe4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dkcumming dkcumming Awaiting requested review from dkcumming

At least 1 approving review is required to merge this pull request.

Assignees

@dkcumming dkcumming

Labels

automerge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@rv-jenkins @dkcumming @rv-auditor