runtimeverification/mir-semantics
runtimeverification/mir-semantics 對新手友好嗎？
近期外部貢獻者向 runtimeverification/mir-semantics 提交的 PR 還不夠多，暫時無法判斷它們被合併的比例。 目前有 1 個適合新手的 issue 開放。
- 星號
- 52
- 分支
- 5
- 開放的新手 issue
- 1
- 已索引 issue
- 73
- 主要語言
- Python
- 授權條款
- BSD-3-Clause
- 最近 GitHub push
- 2026年6月25日
- 最近索引
- 2026年9月19日
- 貢獻指南
- 沒有貢獻指南
- 行為準則
- 沒有行為準則
- 新手標籤
- 沒有已索引的新手標籤
- PR 合併指標
- 30 天內沒有已合併 PR
如何為 runtimeverification/mir-semantics 做貢獻
- 這個專案沒有貢獻指南，可以先讀 README，再看幾個最近合併的 PR，了解變更是怎麼提交的。
- 你的貢獻將以該專案的 BSD-3-Clause 授權條款發布。
- 選下方那個開放的新手友好 issue，開始之前先留言說明你想認領它。
可能已有人在做的 issue 排在最後。 全部依時間排序
-
難度 3/5 1-2 天 新手友好度 52/100
runtimeverification/mir-semantics#1078 ·
-
難度 3/5 1-2 天 新手友好度 58/100
runtimeverification/mir-semantics#1070 · 2 則留言 ·
-
bug
難度 3/5 1-2 天 新手友好度 58/100
runtimeverification/mir-semantics#1067 ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
難度 5/5 一週以上 新手友好度 35/100
runtimeverification/mir-semantics#1011 · 1 則留言 ·
-
status:ready
難度 5/5 一週以上 新手友好度 35/100
runtimeverification/mir-semantics#1002 ·
-
難度 4/5 3-5 天 新手友好度 38/100
-
area:semantics kind:perf priority:p2 status:icebox type:bug
難度 5/5 一週以上 新手友好度 20/100
runtimeverification/mir-semantics#992 · 1 則留言 ·
-
area:semantics area:types priority:p2 status:triage type:feature
難度 5/5 一週以上 新手友好度 35/100
-
難度 5/5 一週以上 新手友好度 35/100
runtimeverification/mir-semantics#970 · 3 則留言 ·
-
難度 4/5 3-5 天 新手友好度 35/100
-
Remove mutability tracking from MIR semantics可能重新可做 @Stevengre 於 216 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#949 · 1 則留言 · 已指派 1 人 ·
-
bug
難度 5/5 一週以上 新手友好度 25/100
-
難度 5/5 一週以上 新手友好度 30/100
-
難度 5/5 一週以上 新手友好度 25/100
-
難度 5/5 一週以上 新手友好度 35/100
-
難度 4/5 3-5 天 新手友好度 35/100
-
難度 4/5 3-5 天 新手友好度 35/100
-
難度 3/5 1-2 天 新手友好度 25/100
-
難度 5/5 一週以上 新手友好度 25/100
-
難度 4/5 3-5 天 新手友好度 25/100
runtimeverification/mir-semantics#831 · 1 則留言 ·
-
難度 5/5 一週以上 新手友好度 25/100
-
難度 4/5 3-5 天 新手友好度 30/100
runtimeverification/mir-semantics#825 · 1 則留言 ·
-
難度 3/5 1-2 天 新手友好度 35/100
-
bug
難度 4/5 3-5 天 新手友好度 35/100
-
bug
難度 4/5 3-5 天 新手友好度 35/100
-
Add `--target-dir` option for `prove-rs`, do not reduce `smir.json`可能重新可做 @palinatolmach 於 328 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#803 · 已指派 1 人 ·
-
難度 5/5 一週以上 新手友好度 25/100
-
難度 5/5 一週以上 新手友好度 25/100
runtimeverification/mir-semantics#788 · 6 則留言 ·
-
難度 4/5 3-5 天 新手友好度 45/100
-
Implement `BinOp::Eq` semantics for `PtrLocal`可能重新可做 @Stevengre 於 355 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#735 · 已指派 1 人 ·
-
難度 3/5 1-2 天 新手友好度 25/100
-
難度 2/5 1-3 小時 新手友好度 55/100
-
new feature
難度 5/5 一週以上 新手友好度 30/100
-
難度 4/5 3-5 天 新手友好度 45/100
-
Split `ty.md`未關閉
難度 5/5 一週以上 新手友好度 35/100
-
難度 1/5 1-3 小時 新手友好度 55/100
-
難度 5/5 一週以上 新手友好度 30/100
-
難度 4/5 3-5 天 新手友好度 35/100
runtimeverification/mir-semantics#675 · 1 則留言 ·
-
難度 4/5 3-5 天 新手友好度 42/100
-
難度 5/5 一週以上 新手友好度 25/100
-
P-token
難度 5/5 一週以上 新手友好度 25/100
-
Refactor IntrinsicFunction handling to align with stable-mir-json and existing development patterns可能重新可做 @Stevengre 於 400 天前認領，目前沒有進行中的 PR。 未關閉refactor
runtimeverification/mir-semantics#661 · 已指派 1 人 ·
-
難度 5/5 一週以上 新手友好度 25/100
-
[REFACTOR] Do we need a `Program` class?可能重新可做 @Stevengre 於 405 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#658 · 已指派 1 人 ·
-
難度 4/5 3-5 天 新手友好度 20/100
runtimeverification/mir-semantics#655 · 1 則留言 ·
-
[FEATURE] print rules for nd-branches可能重新可做 @Stevengre 於 412 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#653 · 已指派 1 人 ·
-
[IDEA-MAY-WRONG] #traverseProjecttion optimization可能重新可做 @Stevengre 於 414 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#651 · 2 則留言 · 已指派 1 人 ·
-
Adjust name of stable-mir-json downstream可能重新可做 @Stevengre 於 386 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#645 · 已指派 1 人 ·
-
[FEATURE] Provide a stable-mir-json Wrapper for MIR Semantics可能重新可做 @Stevengre 於 419 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#644 · 已指派 1 人 ·
-
[FEATURE] Format the output pretty K configurations for `kmir run` and `kmir show`可能重新可做 @Stevengre 於 421 天前認領，目前沒有進行中的 PR。 未關閉
runtimeverification/mir-semantics#640 · 已指派 1 人 ·