runtimeverification/stable-mir-json

KMIR Rust Library

RustStars 5Forks 3Watchers 5Open issues 34License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerruntimeverification

Homepage—

Last pushed2025-11-18

Last updated2025-12-14

Issues fetched at—

Community at a glance