runtimeverification/mir-semantics
runtimeverification/mir-semantics có thân thiện với người mới không?
Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới runtimeverification/mir-semantics để nói chúng được merge thường xuyên đến đâu. Hiện có 1 issue phù hợp với người mới đang mở.
- Star
- 52
- Fork
- 5
- Issue cho người mới đang mở
- 1
- Issue đã lập chỉ mục
- 73
- Ngôn ngữ chính
- Python
- Giấy phép
- BSD-3-Clause
- Lần push lên GitHub gần nhất
- 25/6/2026
- Lập chỉ mục gần nhất
- 19/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- Không có quy tắc ứng xử
- Label cho người mới
- Chưa lập chỉ mục label nào cho người mới
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Cách đóng góp cho runtimeverification/mir-semantics
- Dự án không có hướng dẫn đóng góp, vì vậy hãy bắt đầu từ README và vài pull request vừa được merge để xem thay đổi được đề xuất thế nào.
- Đóng góp của bạn sẽ được phát hành theo giấy phép BSD-3-Clause của dự án.
- Chọn issue phù hợp với người mới đang mở bên dưới và bình luận rằng bạn muốn làm nó trước khi bắt đầu.
Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
runtimeverification/mir-semantics#1078 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
runtimeverification/mir-semantics#1070 · 2 bình luận ·
-
bug
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
runtimeverification/mir-semantics#1067 ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#1011 · 1 bình luận ·
-
status:ready
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#1002 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
area:semantics kind:perf priority:p2 status:icebox type:bug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
runtimeverification/mir-semantics#992 · 1 bình luận ·
-
area:semantics area:types priority:p2 status:triage type:feature
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#970 · 3 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Remove mutability tracking from MIR semanticsCó thể làm lại được @Stevengre đã nhận 215 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#949 · 1 bình luận · 1 người được giao ·
-
Semantics of iterator core codeĐang mởbug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
feat: support panicĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Better cheatcodesĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
runtimeverification/mir-semantics#831 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
runtimeverification/mir-semantics#825 · 1 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Add `--target-dir` option for `prove-rs`, do not reduce `smir.json`Có thể làm lại được @palinatolmach đã nhận 327 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#803 · 1 người được giao ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/mir-semantics#788 · 6 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Implement `BinOp::Eq` semantics for `PtrLocal`Có thể làm lại được @Stevengre đã nhận 354 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#735 · 1 người được giao ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100
-
new feature
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
Split `ty.md`Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Fix node printingĐang mở
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 55/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#675 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
P-token
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Refactor IntrinsicFunction handling to align with stable-mir-json and existing development patternsCó thể làm lại được @Stevengre đã nhận 399 ngày trước và không có pull request nào đang mở. Đang mởrefactor
runtimeverification/mir-semantics#661 · 1 người được giao ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
[REFACTOR] Do we need a `Program` class?Có thể làm lại được @Stevengre đã nhận 404 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#658 · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 20/100
runtimeverification/mir-semantics#655 · 1 bình luận ·
-
[FEATURE] print rules for nd-branchesCó thể làm lại được @Stevengre đã nhận 411 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#653 · 1 người được giao ·
-
[IDEA-MAY-WRONG] #traverseProjecttion optimizationCó thể làm lại được @Stevengre đã nhận 413 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#651 · 2 bình luận · 1 người được giao ·
-
Adjust name of stable-mir-json downstreamCó thể làm lại được @Stevengre đã nhận 386 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#645 · 1 người được giao ·
-
[FEATURE] Provide a stable-mir-json Wrapper for MIR SemanticsCó thể làm lại được @Stevengre đã nhận 418 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#644 · 1 người được giao ·
-
[FEATURE] Format the output pretty K configurations for `kmir run` and `kmir show`Có thể làm lại được @Stevengre đã nhận 420 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#640 · 1 người được giao ·