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/llvm-backend

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

KORE to llvm translation

runtimeverification/llvm-backend 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/llvm-backend để 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
43
Fork
22
Issue cho người mới đang mở
1
Issue đã lập chỉ mục
41
Ngôn ngữ chính
C++
Giấy phép
BSD-3-Clause
Lần push lên GitHub gần nhất
23/6/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
Chưa lập chỉ mục label nào cho người mới
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho runtimeverification/llvm-backend

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

  • Fix for building with later versions of g++
    Đang mở
    • Có gì không ổn?

    Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 84/100

    runtimeverification/llvm-backend#1221 · 1 bình luận ·

  • Abort when trying to execute a hook that is not implemented
    Đang mở
    • Có gì không ổn?
    code generation wontfix

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

    runtimeverification/llvm-backend#1211 ·

  • GC-BUG: Execution aborts while collecting old generation when using `free_all_kore_mem` in a few tests.
    Đang mở
    • Có gì không ổn?
    bug garbage collection

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

    runtimeverification/llvm-backend#1204 ·

  • mmap() and demand paging experiments
    Đ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/llvm-backend#1196 ·

  • CMake fix for Mac building
    Đ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/llvm-backend#1181 · 3 bình luận ·

  • Ill-sorted injection casues unpredicatable behavior
    Đ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/llvm-backend#1171 ·

  • kore-proof-trace should print the rules from domains.md, as well
    Đ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 38/100

    runtimeverification/llvm-backend#1124 ·

  • GDB support broken in minimal docker container
    Đ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/llvm-backend#1113 · 4 bình luận ·

  • binary serializer (v1) does not correctly handle parametric symbols
    Đang mở
    • Có gì không ổn?
    backend runtime bug

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

    runtimeverification/llvm-backend#1106 ·

  • Add Nix information from K readme here
    Đ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/llvm-backend#1099 ·

  • pybind11 raises a `UnicodeDecodeError` on non-utf bytes in terms of sort `Bytes`
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    bindings

    runtimeverification/llvm-backend#1078 · 1 bình luận · 1 người được giao ·

  • Recreate llvm-backend gcroots code on develop branch
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/llvm-backend#1077 · 2 bình luận · 1 người được giao ·

  • Generate sphinx documentation for python bindings
    Đ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/llvm-backend#1042 · 2 reaction ·

  • Experiment on axiom pattern formats
    Đ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/llvm-backend#1017 ·

  • [K-Bug] Setting subject in debugging
    Đang mở
    • Có gì không ổn?
    debugger

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

    runtimeverification/llvm-backend#1015 · 1 bình luận ·

  • Decide on and enforce house C++ style
    Đ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/llvm-backend#994 · 2 bình luận ·

  • Automate regeneration of test cases
    Đ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/llvm-backend#987 · 3 bình luận ·

  • Deep dive notes
    Đ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/llvm-backend#965 ·

  • `evaluate_function` followed by `Term.step` causes segmentation fault
    Đang mở
    • Có gì không ổn?
    bindings bug

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

    runtimeverification/llvm-backend#943 · 2 bình luận ·

  • Set macOS SDK version explicitly in CMake
    Đ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/llvm-backend#942 ·

  • [K-Bug] `k start` in llvm gdb gives "Cannot access memory at address"
    Đ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 38/100

    runtimeverification/llvm-backend#1018 · 1 bình luận ·

  • Finish migrating C bindings to core bindings library
    Đ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/llvm-backend#900 ·

  • [GDB] Create script and tests for GDB to run in CI
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    debugger

    runtimeverification/llvm-backend#840 · 2 bình luận · 1 người được giao ·

  • Rethink lookup of `clang-$VERSION` in CMake
    Đ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/llvm-backend#808 ·

  • Range maps printing
    Đ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 48/100

    runtimeverification/llvm-backend#806 ·

  • `MInt` syntax with no uses of `Int2MInt` crashes
    Đ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 25/100

    runtimeverification/llvm-backend#798 · 2 bình luận ·

  • LLVM backend failing to evaluate function
    Đ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/llvm-backend#788 · 4 bình luận ·

  • Ideas for improving granularity of garbage collection (gc)
    Đ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/llvm-backend#749 · 5 bình luận ·

  • [GDB] Can't print builtin types on LHS of rules in `K Match`
    Đang mở
    • Có gì không ổn?
    bug debugger

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

    runtimeverification/llvm-backend#746 · 16 bình luận ·

  • [GDB] MatchLog enum kind raises `TypeError` when printed
    Đang mở
    • Có gì không ổn?
    bug debugger

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

    runtimeverification/llvm-backend#726 · 1 bình luận ·

  • Add global lock to GC
    Đ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 20/100

    runtimeverification/llvm-backend#705 ·

  • LLVM-Backend Generated Interpreter C API Documentation
    Đang mở
    • Có gì không ổn?
    bindings

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

    runtimeverification/llvm-backend#692 · 4 bình luận ·

  • Buggy decision tree generated in case involving overloads
    Đ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 20/100

    runtimeverification/llvm-backend#676 · 1 bình luận ·

  • Improve LLVM backend documentation
    Đang mở
    • Có gì không ổn?
    documentation

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

    runtimeverification/llvm-backend#621 ·

  • [Bug] [kompile] - kompile emits a "Non exhaustive match detected" warning for a seemingly sufficiently complete function definition
    Đ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 35/100

    runtimeverification/llvm-backend#495 · 6 bình luận ·

  • [Bug] [kompile] - Failure to match variable in depth 2 context after substitution
    Đ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/llvm-backend#467 · 1 bình luận ·

  • Duplications between llvm-backend and blockchain-k-plugin
    Đ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 20/100

    runtimeverification/llvm-backend#383 · 2 bình luận ·

  • Remove duplication of metadata between kast.k and kprint
    Đ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 20/100

    runtimeverification/llvm-backend#336 · 3 bình luận ·

  • generalize gc generations and thresholds
    Đ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/llvm-backend#311 ·

  • Support [memo] attribute
    Đ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/llvm-backend#247 · 5 bình luận ·

  • Performance overhead in proof_trace_callback_writer
    Có thể đã có người làm Đ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/llvm-backend#1197 · 1 bình luận ·

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.