Update KMIR tool application: address reviewer feedback, update to v0.4.202#5

Open

Stevengre wants to merge 2 commits into

runtimeverification:add-kmir-toolfrom

Stevengre:jh/add-kmir-tool

Commits on Apr 8, 2026

Update KMIR tool application: address reviewer feedback, update to v0.4.202

Stevengre
and
claude
committed
Add solana-token equivalence proofs as KMIR artifact example

Stevengre
and
claude
committed