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/k

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

K Framework Tools 7.0

runtimeverification/k 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/k để 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
591
Fork
163
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
308
Ngôn ngữ chính
Python
Giấy phép
BSD-3-Clause
Lần push lên GitHub gần nhất
18/6/2026
Lập chỉ mục gần nhất
21/9/2026
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/k

  1. Hãy đọc hướng dẫn đóng góp trước: nó cho biết maintainer muốn thay đổi được đề xuất, kiểm thử và review ra sao.
  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

  • Introduce composable symbolic execution interface in pyx
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/k#4939 · 1 người được giao ·

  • Concolic Explorer
    Đ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 32/100

    runtimeverification/k#4937 ·

  • All-path reachability proof checker
    Đ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/k#4936 ·

  • Accelerating all-path reachability proofs with one-path reachability proofs
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    type:epic

    runtimeverification/k#4934 · 4 bình luận · 1 người được giao ·

  • Support progressive depth halving as a generic policy in `Prover.advance_proof`
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/k#4924 · 1 người được giao ·

  • non-evaluator attribute requires manual propagation across entire call chain
    Đang mở
    • Có gì không ổn?
    area:haskell-backend area:llvm-backend priority:p2 status:icebox type:feature

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

    runtimeverification/k#4904 ·

  • UX improvements for `section_edge`
    Đ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/k#4897 ·

  • Upgrade github action linter and fix issues
    Đ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/k#4887 ·

  • Kompile error on MacOS Sequoia 15.7.1
    Đ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/k#4872 ·

  • [K-Bug] Kompile silently allows files with the same name to exist in multiple include directories
    Đ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/k#4847 ·

  • [Build Fail] for 6659639
    Đ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 20/100

    runtimeverification/k#4806 ·

  • Automation analysis
    Đ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/k#4791 ·

  • [DevOps] Investigate MacOs Build from Source in K pipeline (backends & downstream)
    Đ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/k#4786 · 1 bình luận ·

  • Add `preserves-definedness` to attributes recognized by pyk
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/k#4784 · 1 người được giao ·

  • [K-Bug] LLVM Backend crash when comparing MInt
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    runtimeverification/k#4760 · 1 người được giao ·

  • Eliminate `Option` from `total` function result types
    Đang mở
    • Có gì không ổn?
    lean4-backend

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

    runtimeverification/k#4756 ·

  • Remove `do` blocks from generated Lean code when possible
    Đang mở
    • Có gì không ổn?
    lean4-backend

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

    runtimeverification/k#4755 ·

  • Support `unsafe` for `to_module`
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    bug kast

    runtimeverification/k#4754 · 1 người được giao ·

  • Unify definedness binders for function applications
    Đang mở
    • Có gì không ổn?
    lean4-backend

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

    runtimeverification/k#4752 ·

  • Format Lean 4 generated code
    Đang mở
    • Có gì không ổn?
    lean4-backend

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

    runtimeverification/k#4747 · 1 bình luận ·

  • Lean 4 backend improvements
    Đang mở
    • Có gì không ổn?
    lean4-backend

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

    runtimeverification/k#4743 ·

  • Cosmetic changes for the Lean 4 translation
    Đang mở
    • Có gì không ổn?
    lean4-backend

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

    runtimeverification/k#4730 ·

  • Implement K prelude in Lean 4
    Đang mở
    • Có gì không ổn?
    lean4-backend

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

    runtimeverification/k#4725 ·

  • Internal: bison returned nonzero exit code: 141, kompile not found
    Đ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/k#4718 ·

  • [K-Bug] NullPointerException when kompiling simple file
    Đ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/k#4716 ·

  • [K-Bug] Two configuration declarations in a single module produces an unhelpful error message
    Đ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/k#4705 · 1 bình luận ·

  • [K-Bug] ConcurrentModificationException while running kompile
    Đ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/k#4703 ·

  • Refactors to konvert and module_to_kore
    Đ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/k#4690 ·

  • [K-Bug] Cannot generate bison parser or glr-bison parser
    Đ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/k#4678 · 1 bình luận ·

  • [K-Bug] The LLVM backend ignores rule priorities
    Đ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/k#4676 ·

  • A difficult-to-reproduce segmentation fault.
    Đang mở
    • Có gì không ổn?
    bug

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

    runtimeverification/k#4672 ·

  • Improved interpreter error messages for quicker error identification
    Đang mở
    • Có gì không ổn?
    enhancement llvm-backend

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

    runtimeverification/k#4670 ·

  • `kdist` isn't as flexible as makefile
    Đang mở
    • Có gì không ổn?
    enhancement kdist

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

    runtimeverification/k#4669 · 2 bình luận ·

  • Improve the performance of `kompile`
    Đang mở
    • Có gì không ổn?
    enhancement incremental-compilation kompile

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

    runtimeverification/k#4668 · 2 bình luận ·

  • [K-Bug] <pyk coverage runerror>
    Đ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 42/100

    runtimeverification/k#4664 ·

  • Wrong type annotations in pyk
    Đ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/k#4660 ·

  • Understanding the `bmc-depth` bottleneck
    Đang mở
    • Có gì không ổn?
    enhancement

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

    runtimeverification/k#4658 · 1 reaction ·

  • Tips for using K
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    documentation

    runtimeverification/k#4655 · 1 người được giao ·

  • Cell extraction and substitution in Kore.
    Đang mở
    • Có gì không ổn?
    enhancement pyk

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

    runtimeverification/k#4652 ·

  • How to automatically generate the python bindings from the semantics?
    Đ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/k#4649 ·

  • Polish list lookup patterns
    Đang mở
    • Có gì không ổn?
    enhancement kompile

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

    runtimeverification/k#4640 ·

  • [K-Bug] ClassCastException for #as and cells
    Đ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/k#4638 ·

  • Remove final uses of `run_process`
    Đ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/k#4627 ·

  • [K-Bug] AssertionError for incomplete rule
    Đ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/k#4613 ·

  • [K-Bug] Broken MInt literal parsing
    Đ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/k#4609 ·

  • Automatically verifying the correctness of simplification rules.
    Đ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/k#4604 · 2 bình luận ·

  • Check that tokens are non-empty after `#Layout`
    Đ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/k#4595 ·

  • [K-Bug] Broken "Non-exhausive match" warning
    Đ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/k#4587 ·

  • Support for syntactic simplifications
    Đ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

    runtimeverification/k#4579 · 21 bình luận ·

  • [K-Improvement] Metadata 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/k#4568 ·

Đang hiển thị 100 mục mới nhất

Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.

Mở bộ lọc nâng cao

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.