runtimeverification/stable-mir-json Issues

Star: (10 star)
Fork: (5 fork)
已索引議題: (5 個已索引議題)
個開放新手議題: (0 個開放新手議題)
最近索引: 2026年7月16日
最近 GitHub push: 2026年5月1日
授權條款: BSD 3-Clause "New" or "Revised" License
貢獻指南: 沒有貢獻指南
行為準則: 沒有行為準則
主要語言: Rust
PR 合併指標: (PR 指標待抓取)
新手標籤: 沒有已索引的新手標籤

議題

5 個開放索引議題

RSS Atom

開放

Qualified names for both `IntrinsicSym` and `NormalSym`

good first issue

runtimeverification/stable-mir-json #137 建立於 2026年3月5日 · Rust · 10 stars

為什麼推薦尚無負責人 · 帶有初學者友善標籤

尚無負責人帶有初學者友善標籤

1 則留言0 個反應0 負責人

開放

Graph Improvements: Headings / Ids for `BasicBlock`s

good first issue

runtimeverification/stable-mir-json #110 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

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

good first issue

runtimeverification/stable-mir-json #109 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

Graph Improvements: Mutability specifiers on locals

good first issue

runtimeverification/stable-mir-json #108 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

[MAIN] Graph Improvements

good first issue

runtimeverification/stable-mir-json #106 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 帶有初學者友善標籤

尚無負責人帶有初學者友善標籤

1 則留言1 個反應0 負責人

Star: (10 star)
Fork: (5 fork)
已索引議題: (5 個已索引議題)
個開放新手議題: (0 個開放新手議題)
最近索引: 2026年7月16日
最近 GitHub push: 2026年5月1日
授權條款: BSD 3-Clause "New" or "Revised" License
貢獻指南: 沒有貢獻指南
行為準則: 沒有行為準則
主要語言: Rust
PR 合併指標: (PR 指標待抓取)
新手標籤: 沒有已索引的新手標籤

議題

5 個開放索引議題

RSS Atom

開放

Qualified names for both `IntrinsicSym` and `NormalSym`

good first issue

runtimeverification/stable-mir-json #137 建立於 2026年3月5日 · Rust · 10 stars

為什麼推薦尚無負責人 · 帶有初學者友善標籤

尚無負責人帶有初學者友善標籤

1 則留言0 個反應0 負責人

開放

Graph Improvements: Headings / Ids for `BasicBlock`s

good first issue

runtimeverification/stable-mir-json #110 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

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

good first issue

runtimeverification/stable-mir-json #109 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

Graph Improvements: Mutability specifiers on locals

good first issue

runtimeverification/stable-mir-json #108 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

[MAIN] Graph Improvements

good first issue

runtimeverification/stable-mir-json #106 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 帶有初學者友善標籤

尚無負責人帶有初學者友善標籤

1 則留言1 個反應0 負責人

Star: (10 star)
Fork: (5 fork)
已索引議題: (5 個已索引議題)
個開放新手議題: (0 個開放新手議題)
最近索引: 2026年7月16日
最近 GitHub push: 2026年5月1日
授權條款: BSD 3-Clause "New" or "Revised" License
貢獻指南: 沒有貢獻指南
行為準則: 沒有行為準則
主要語言: Rust
PR 合併指標: (PR 指標待抓取)
新手標籤: 沒有已索引的新手標籤

議題

5 個開放索引議題

RSS Atom

開放

Qualified names for both `IntrinsicSym` and `NormalSym`

good first issue

runtimeverification/stable-mir-json #137 建立於 2026年3月5日 · Rust · 10 stars

為什麼推薦尚無負責人 · 帶有初學者友善標籤

尚無負責人帶有初學者友善標籤

1 則留言0 個反應0 負責人

開放

Graph Improvements: Headings / Ids for `BasicBlock`s

good first issue

runtimeverification/stable-mir-json #110 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

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

good first issue

runtimeverification/stable-mir-json #109 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

Graph Improvements: Mutability specifiers on locals

good first issue

runtimeverification/stable-mir-json #108 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 尚無留言

尚無負責人尚無留言帶有初學者友善標籤

0 則留言0 個反應0 負責人

開放

[MAIN] Graph Improvements

good first issue

runtimeverification/stable-mir-json #106 建立於 2025年11月23日 · Rust · 10 stars

為什麼推薦尚無負責人 · 帶有初學者友善標籤

尚無負責人帶有初學者友善標籤

1 則留言1 個反應0 負責人

runtimeverification/stable-mir-json

議題

runtimeverification/stable-mir-json

議題

每天在信箱收到新鮮 Easy issues。

runtimeverification/stable-mir-json

議題