Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

runtimeverification/stable-mir-json

Đăng nhập để theo dõi Xem trên GitHub

KMIR Rust Library

runtimeverification/stable-mir-json 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/stable-mir-json để nói chúng được merge thường xuyên đến đâu. Hiện chưa có issue nào phù hợp với người mới đang mở; danh sách bên dưới là các issue khác chúng tôi có của kho này.

Star
11
Fork
6
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
29
Ngôn ngữ chính
Rust
Giấy phép
BSD-3-Clause
Lần push lên GitHub gần nhất
31/7/2026
Lập chỉ mục gần nhất
19/9/2026
Không có hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
good first issue
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho runtimeverification/stable-mir-json

  1. 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.
  2. Đó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.
  3. Theo dõi kho này để biết khi có issue mới phù hợp với người mới, hoặc xem các issue khác bên dưới.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

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

  • Node.js 20 CI runner deprecation notice
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

    runtimeverification/stable-mir-json#148 ·

  • The Curious Case of stdlib: nightly compatibility findings
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100

    runtimeverification/stable-mir-json#141 ·

  • Qualified names for both `IntrinsicSym` and `NormalSym`
    Đang mở
    • Có gì không ổn?
    good first issue

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#137 · 1 bình luận ·

  • Surface mutability in graph outputs
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#128 ·

  • Graph Improvements: Headings / Ids for `BasicBlock`s
    Đang mở
    • Có gì không ổn?
    good first issue

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#110 ·

  • Graph Improvements: Removing `lang-start` component from graph
    Đang mở
    • Có gì không ổn?
    good first issue

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#109 ·

  • Graph Improvements: Mutability specifiers on locals
    Đang mở
    • Có gì không ổn?
    good first issue

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 42/100

    runtimeverification/stable-mir-json#108 ·

  • [MAIN] Graph Improvements
    Đang mở
    • Có gì không ổn?
    good first issue

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    runtimeverification/stable-mir-json#106 · 1 bình luận · 1 reaction ·

  • fix(tests/ui): sort problem for `./remake_ui_tests.sh`
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#103 ·

  • Getting wrong type ID `0` for allocs used as fields of single-variant enum
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100

    runtimeverification/stable-mir-json#101 · 2 bình luận ·

  • Upgrade compiler dependency to a recent nightly
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/stable-mir-json#90 · 1 bình luận · 1 người được giao ·

  • `cargo test` fails when `GlobalAlloc::Function` is not `RigidTy::FnPtr`
    Đang mở
    • Có gì không ổn?
    bug

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100

    runtimeverification/stable-mir-json#88 ·

  • Linking SMIR JSON data from different crates
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#86 · 6 bình luận ·

  • Graph Improvement: GlobalAllocs
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 42/100

    runtimeverification/stable-mir-json#83 ·

  • Change test scripts to use appropriate error flags
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    runtimeverification/stable-mir-json#79 ·

  • Type Collector meta-issue
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    runtimeverification/stable-mir-json#73 ·

  • `MonoItem::Fn` without `Body`
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#61 ·

  • Incorporate feedback on our stable-MIR and its extraction
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    runtimeverification/stable-mir-json#57 ·

  • Some `UnevaluatedConst` are not monomorphised
    Đang mở
    • Có gì không ổn?
    Future Work Notes

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#52 ·

  • Cargo integration cont.
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#48 · 2 bình luận ·

  • Add `main` to `functions` array
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    runtimeverification/stable-mir-json#42 · 1 bình luận ·

  • Need to handle provenance for all `RigidTy`s
    Đang mở
    • Có gì không ổn?
    Future Work Notes

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    runtimeverification/stable-mir-json#32 · 1 bình luận ·

  • Problem with statics
    Đang mở
    • Có gì không ổn?
    Future Work Notes

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#29 ·

  • Craft an automation for compiler dependency updates
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

    runtimeverification/stable-mir-json#23 ·

  • `FnDef` tys can point to different monomorphic instances (with same DefId?)
    Đang mở
    • Có gì không ổn?
    bug Future Work Notes

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    runtimeverification/stable-mir-json#16 ·

  • Allocations related to V tables need to be sorted out
    Đang mở
    • Có gì không ổn?

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 15/100

    runtimeverification/stable-mir-json#14 ·

  • Intrinsics require investigation
    Đang mở
    • Có gì không ổn?
    Future Work Notes

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    runtimeverification/stable-mir-json#13 ·

  • Consts are not necessarily `Scalar` values
    Đang mở
    • Có gì không ổn?
    Future Work Notes

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    runtimeverification/stable-mir-json#12 ·

  • Produce JSON schema for stable MIR JSON (from a corpus)
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    runtimeverification/stable-mir-json#98 · 1 người được giao ·

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.