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

opencompl/veir

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

Verified Intermediate Representation

opencompl/veir có thân thiện với người mới không?

Trong 30 ngày gần nhất, opencompl/veir đã merge 109 trên 140 pull request của người đóng góp bên ngoài, và maintainer thường phản hồi trong vòng 1 ngày. 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
110
Fork
32
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
48
Merge trung bình
2 ngày 2 giờ
Pull request đã merge (30 ngày)
218
Ngôn ngữ chính
Lean
Giấy phép
Không có dữ liệu giấy phép
Lần push lên GitHub gần nhất
19/9/2026
Lập chỉ mục gần nhất
15/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

Cách đóng góp cho opencompl/veir

  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. 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

  • Add `llvm.bitinsert`/`llvm.bitextract` and remove `trunc`/ shift-operations on byte types
    Đang mở
    • Có gì không ổn?
    bug good first issue LLVM

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

    opencompl/veir#1833 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • `interpretOp'_monotone_assumed` makes False provable
    Đ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

    opencompl/veir#1716 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Move hexDigit and decodeSymbolEscapes to forLean
    Đang mở
    • Có gì không ổn?

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

    opencompl/veir#1394 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Integrate Out-of-Tree MLIR-based compilers into CI
    Đang mở
    • Có gì không ổn?
    CI

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

    opencompl/veir#1332 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Add principled support for widening in the Dataflow Framework
    Đ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

    opencompl/veir#1328 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Adding SCF operations
    Đ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

    opencompl/veir#1324 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Dead Code Analysis has too many hard coded features (Need features from `BranchOpInterface`)
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    opencompl/veir#1319 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Support CIRCT's `seq` dialect
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    good first issue

    opencompl/veir#1317 · 1 bình luận · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • bugs in mixed-width constants
    Đ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

    opencompl/veir#1298 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • add tests for fp files
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    opencompl/veir#1287 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Create a `LocalPatternRewriter`
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    opencompl/veir#1171 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • support llvm.intr.uadd.with.overflow and its 5 friends
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    opencompl/veir#1125 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Support op::create(rewriter, <args>) style builders
    Đ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 35/100

    opencompl/veir#1114 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • LLVM: properly define a type for `!llvm.struct` instead of UnregisteredAttr
    Đang mở
    • Có gì không ổn?
    LLVM parser

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

    opencompl/veir#959 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • LLVM: support parsing omitted `!llvm.` prefix when nested
    Đang mở
    • Có gì không ổn?
    LLVM parser sqlite

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

    opencompl/veir#952 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • sqlite parent issue
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    sqlite

    opencompl/veir#947 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Precise parsing of ` dense<0> : tensor<4xi8>`.
    Đang mở
    • Có gì không ổn?
    sqlite

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

    opencompl/veir#943 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Interpret `mlir__constant.dense` op
    Đang mở
    • Có gì không ổn?
    sqlite

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

    opencompl/veir#941 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Prime IR
    Đ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

    opencompl/veir#937 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Add macOS CI
    Đ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 55/100

    opencompl/veir#853 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Detect difference between non-termination and interpretation error
    Đang mở
    • Có gì không ổn?
    bug

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

    opencompl/veir#700 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Support freeze and poison
    Đ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

    opencompl/veir#635 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Roadmap question: typed-SSA layer in Veir (Com/Expr/Ctxt) — community contribution?
    Đ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

    opencompl/veir#627 · 2 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Add IR walkers
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    opencompl/veir#606 · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Implement `SymbolRefAttr` and remove `FlatSymbolRefAttr`
    Đ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

    opencompl/veir#534 · 1 reaction ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Computational Floating Point Design
    Đ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

    opencompl/veir#504 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Lower FastNTT kernel
    Đ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

    opencompl/veir#459 · 3 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Ensure that all proofs passed as arguments are marked `:= by grind`
    Đang mở
    • Có gì không ổn?
    cleanup

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

    opencompl/veir#444 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Add CI for profiling proof times
    Đang mở
    • Có gì không ổn?
    CI

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

    opencompl/veir#294 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Add Alex Hick's Lean PR Summary/Review Actions
    Đang mở
    • Có gì không ổn?
    CI

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

    opencompl/veir#293 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Carefully test negative operands to `llvm.constant`
    Đ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

    opencompl/veir#261 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Use iterators
    Đ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

    opencompl/veir#198 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • LLVM `func` parsing
    Đ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

    opencompl/veir#170 · 6 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Add missing InBounds/Fields lemmas for `BlockPtr.setArguments`
    Đ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

    opencompl/veir#137 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Make sure our `simp` can trigger
    Đang mở
    • Có gì không ổn?
    cleanup

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

    opencompl/veir#136 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Figure out wether to use `BlockOperand` or `Successor`
    Đang mở
    • Có gì không ổn?
    cleanup

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

    opencompl/veir#135 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Implement ByteArray.Slice and use it in the lexer and parser
    Đ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

    opencompl/veir#104 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Remove `missingOps` from `BlockPtr.OpChain`
    Đ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

    opencompl/veir#47 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Rationalize theorem names
    Đ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

    opencompl/veir#29 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Run Mathlib linters
    Đang mở
    • Có gì không ổn?
    CI

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

    opencompl/veir#12 ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Performance: verifier's dominance check is O(N^2) for large blocks
    Có thể đã có người làm Đ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 68/100

    opencompl/veir#1567 · 1 bình luận ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • dominance bug
    Có thể đã có người làm Đang mở
    • Có gì không ổn?

    opencompl/veir#1448 · 2 bình luận · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Support --split-input-file
    Có thể đã có người làm Đ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 55/100

    opencompl/veir#975 · 2 bình luận · 1 người được giao ·

    Maintainer thường phản hồi trong vòng 1 ngày

  • Do not have both pointers and structure in WellFormed structure
    Có thể đã có người làm Đang mở
    • Có gì không ổn?
    cleanup

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

    opencompl/veir#44 ·

    Maintainer thường phản hồi trong vòng 1 ngày

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.