runtimeverification/stable-mir-json

View on GitHub

KMIR Rust Library

Stars: 11
Forks: 6
Open beginner issues: 0
Indexed issues: 29

Dominant language: Rust
License: BSD-3-Clause
Last GitHub push: Jul 31, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

29 open issues indexed

Node.js 20 CI runner deprecation notice Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

runtimeverification/stable-mir-json#148 · Opened Mar 11, 2026
The Curious Case of stdlib: nightly compatibility findings Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

runtimeverification/stable-mir-json#141 · Opened Mar 8, 2026
Qualified names for both `IntrinsicSym` and `NormalSym` Open

good first issue

Difficulty 5/5 Over a week Newbie friendliness 35/100

runtimeverification/stable-mir-json#137 · 1 comment · Opened Mar 5, 2026
Surface mutability in graph outputs Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#128 · Opened Feb 27, 2026
Graph Improvements: Headings / Ids for `BasicBlock`s Open

good first issue

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#110 · Opened Nov 23, 2025
Graph Improvements: Removing `lang-start` component from graph Open

good first issue

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#109 · Opened Nov 23, 2025
Graph Improvements: Mutability specifiers on locals Open

good first issue

Difficulty 3/5 1-2 days Newbie friendliness 42/100

runtimeverification/stable-mir-json#108 · Opened Nov 23, 2025
[MAIN] Graph Improvements Open

good first issue

Difficulty 5/5 Over a week Newbie friendliness 20/100

runtimeverification/stable-mir-json#106 · 1 comment · 1 reaction · Opened Nov 23, 2025
fix(tests/ui): sort problem for `./remake_ui_tests.sh` Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#103 · Opened Oct 21, 2025
Getting wrong type ID `0` for allocs used as fields of single-variant enum Open

Difficulty 4/5 3-5 days Newbie friendliness 42/100

runtimeverification/stable-mir-json#101 · 2 comments · Opened Oct 8, 2025
Produce JSON schema for stable MIR JSON (from a corpus) Open

runtimeverification/stable-mir-json#98 · 1 assignee · Opened Sep 9, 2025
Upgrade compiler dependency to a recent nightly Open

runtimeverification/stable-mir-json#90 · 1 comment · 1 assignee · Opened Jul 21, 2025
`cargo test` fails when `GlobalAlloc::Function` is not `RigidTy::FnPtr` Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 52/100

runtimeverification/stable-mir-json#88 · Opened Jun 27, 2025
Linking SMIR JSON data from different crates Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

runtimeverification/stable-mir-json#86 · 6 comments · Opened Jun 3, 2025
Graph Improvement: GlobalAllocs Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 42/100

runtimeverification/stable-mir-json#83 · Opened May 20, 2025
Change test scripts to use appropriate error flags Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/stable-mir-json#79 · Opened May 4, 2025
Type Collector meta-issue Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/stable-mir-json#73 · Opened Apr 29, 2025
`MonoItem::Fn` without `Body` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#61 · Opened Mar 25, 2025
Incorporate feedback on our stable-MIR and its extraction Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

runtimeverification/stable-mir-json#57 · Opened Mar 18, 2025
Some `UnevaluatedConst` are not monomorphised Open

Future Work Notes

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#52 · Opened Feb 25, 2025
Cargo integration cont. Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#48 · 2 comments · Opened Feb 17, 2025
Add `main` to `functions` array Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/stable-mir-json#42 · 1 comment · Opened Feb 4, 2025
Need to handle provenance for all `RigidTy`s Open

Future Work Notes

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/stable-mir-json#32 · 1 comment · Opened Jan 23, 2025
Problem with statics Open

Future Work Notes

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#29 · Opened Jan 17, 2025
Craft an automation for compiler dependency updates Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

runtimeverification/stable-mir-json#23 · Opened Jan 14, 2025
`FnDef` tys can point to different monomorphic instances (with same DefId?) Open

bug Future Work Notes

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/stable-mir-json#16 · Opened Oct 29, 2024
Allocations related to V tables need to be sorted out Open

Difficulty 5/5 Over a week Newbie friendliness 15/100

runtimeverification/stable-mir-json#14 · Opened Oct 28, 2024
Intrinsics require investigation Open

Future Work Notes

Difficulty 5/5 Over a week Newbie friendliness 20/100

runtimeverification/stable-mir-json#13 · Opened Oct 28, 2024
Consts are not necessarily `Scalar` values Open

Future Work Notes

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/stable-mir-json#12 · Opened Oct 28, 2024

runtimeverification/stable-mir-json

Get new issues in your inbox