runtimeverification/stable-mir-json Issues

Stars: (10 stars)
Forks: (5 forks)
Indexed issues: (5 indexed issues)
open beginner issues: (0 open beginner issues)
Latest indexed: Jul 16, 2026
Last GitHub push: May 1, 2026
License: BSD 3-Clause "New" or "Revised" License
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Dominant language: Rust
PR merge metrics: (PR metrics pending)
Beginner labels: No beginner labels indexed

Issues

5 open indexed issues

RSS Atom

Open

Qualified names for both `IntrinsicSym` and `NormalSym`

good first issue

runtimeverification/stable-mir-json #137 opened Mar 5, 2026 · Rust · 10 stars

Why recommendedNo assignee yet · Has a beginner-friendly label

No assignee yetHas a beginner-friendly label

1 comment0 reactions0 assignees

Open

Graph Improvements: Headings / Ids for `BasicBlock`s

good first issue

runtimeverification/stable-mir-json #110 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

Graph Improvements: Removing `lang-start` component from graph

good first issue

runtimeverification/stable-mir-json #109 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

Graph Improvements: Mutability specifiers on locals

good first issue

runtimeverification/stable-mir-json #108 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

[MAIN] Graph Improvements

good first issue

runtimeverification/stable-mir-json #106 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · Has a beginner-friendly label

No assignee yetHas a beginner-friendly label

1 comment1 reaction0 assignees

Stars: (10 stars)
Forks: (5 forks)
Indexed issues: (5 indexed issues)
open beginner issues: (0 open beginner issues)
Latest indexed: Jul 16, 2026
Last GitHub push: May 1, 2026
License: BSD 3-Clause "New" or "Revised" License
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Dominant language: Rust
PR merge metrics: (PR metrics pending)
Beginner labels: No beginner labels indexed

Issues

5 open indexed issues

RSS Atom

Open

Qualified names for both `IntrinsicSym` and `NormalSym`

good first issue

runtimeverification/stable-mir-json #137 opened Mar 5, 2026 · Rust · 10 stars

Why recommendedNo assignee yet · Has a beginner-friendly label

No assignee yetHas a beginner-friendly label

1 comment0 reactions0 assignees

Open

Graph Improvements: Headings / Ids for `BasicBlock`s

good first issue

runtimeverification/stable-mir-json #110 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

Graph Improvements: Removing `lang-start` component from graph

good first issue

runtimeverification/stable-mir-json #109 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

Graph Improvements: Mutability specifiers on locals

good first issue

runtimeverification/stable-mir-json #108 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

[MAIN] Graph Improvements

good first issue

runtimeverification/stable-mir-json #106 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · Has a beginner-friendly label

No assignee yetHas a beginner-friendly label

1 comment1 reaction0 assignees

Stars: (10 stars)
Forks: (5 forks)
Indexed issues: (5 indexed issues)
open beginner issues: (0 open beginner issues)
Latest indexed: Jul 16, 2026
Last GitHub push: May 1, 2026
License: BSD 3-Clause "New" or "Revised" License
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Dominant language: Rust
PR merge metrics: (PR metrics pending)
Beginner labels: No beginner labels indexed

Issues

5 open indexed issues

RSS Atom

Open

Qualified names for both `IntrinsicSym` and `NormalSym`

good first issue

runtimeverification/stable-mir-json #137 opened Mar 5, 2026 · Rust · 10 stars

Why recommendedNo assignee yet · Has a beginner-friendly label

No assignee yetHas a beginner-friendly label

1 comment0 reactions0 assignees

Open

Graph Improvements: Headings / Ids for `BasicBlock`s

good first issue

runtimeverification/stable-mir-json #110 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

Graph Improvements: Removing `lang-start` component from graph

good first issue

runtimeverification/stable-mir-json #109 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

Graph Improvements: Mutability specifiers on locals

good first issue

runtimeverification/stable-mir-json #108 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · No comments yet

No assignee yetNo comments yetHas a beginner-friendly label

0 comments0 reactions0 assignees

Open

[MAIN] Graph Improvements

good first issue

runtimeverification/stable-mir-json #106 opened Nov 23, 2025 · Rust · 10 stars

Why recommendedNo assignee yet · Has a beginner-friendly label

No assignee yetHas a beginner-friendly label

1 comment1 reaction0 assignees

runtimeverification/stable-mir-json

Issues

runtimeverification/stable-mir-json

Issues

Get fresh easy issues in your inbox.

runtimeverification/stable-mir-json

Issues