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

PrincetonUniversity/VST

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

Verified Software Toolchain

PrincetonUniversity/VST 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 PrincetonUniversity/VST để 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
510
Fork
105
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
29
Merge trung bình
21 giờ 10 phút
Pull request đã merge (30 ngày)
1
Ngôn ngữ chính
Rocq Prover
Giấy phép
Không có dữ liệu giấy phép
Lần push lên GitHub gần nhất
22/9/2026
Lập chỉ mục gần nhất
20/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

Cách đóng góp cho PrincetonUniversity/VST

  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

  • aes/verif_setkey_enc_LL.v: Vundef_is_Vint is admitted with a comment saying it does not hold, then used twice
    Đ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

    PrincetonUniversity/VST#867 ·

  • Dependently typed WITH components
    Đ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

    PrincetonUniversity/VST#838 · 1 bình luận ·

  • How to Specify and Prove a Function Reading Header from a Payload Pointer
    Đ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

    PrincetonUniversity/VST#822 · 1 bình luận ·

  • Issues with VST Installation via OPAM (coq-vst.3.0beta2)
    Đ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

    PrincetonUniversity/VST#820 · 6 bình luận ·

  • do {S} while (0)
    Có thể làm lại được Đang mở
    • Có gì không ổn?

    PrincetonUniversity/VST#738 · 1 người được giao ·

  • Transparent Vptrofs
    Đ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

    PrincetonUniversity/VST#699 ·

  • More concise defined evaluations (Definition arch : nat := Eval ... )
    Đ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

    PrincetonUniversity/VST#690 ·

  • Portable build of progs/ and progs64/ directories
    Đ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

    PrincetonUniversity/VST#686 · 6 bình luận ·

  • Provide a convenient way to run examples with OPAM-install VST
    Đ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

    PrincetonUniversity/VST#615 · 10 bình luận ·

  • store_tac_with_hint insufficiently general for array of struct
    Đ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

    PrincetonUniversity/VST#613 ·

  • veric/superprecise.v
    Đ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

    PrincetonUniversity/VST#603 ·

  • Define address_mapsto by encode_val instead of decode_val?
    Đ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

    PrincetonUniversity/VST#602 · 2 bình luận · 1 reaction ·

  • Mission of `.opam` files in this repo
    Đ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

    PrincetonUniversity/VST#597 ·

  • Add a description of how to use withspacer in manual
    Đ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

    PrincetonUniversity/VST#581 · 2 bình luận ·

  • sep_apply unable to handle some expressions with propositions.
    Đ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

    PrincetonUniversity/VST#580 · 1 bình luận ·

  • Soundness of VST for gcc and clang
    Đ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

    PrincetonUniversity/VST#566 · 3 bình luận · 1 reaction ·

  • VST upgrade 2.6 -> 2.8: 80% slowdown in compilation time
    Đ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

    PrincetonUniversity/VST#514 · 2 bình luận ·

  • forward_for_simple_bound and EWD heuristic
    Đ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

    PrincetonUniversity/VST#507 ·

  • Create new opam packages for VST
    Có thể làm lại được Đang mở
    • Có gì không ổn?
    infrastructure

    PrincetonUniversity/VST#441 · 17 bình luận · 1 người được giao ·

  • Pretty-printing of Clight uses wrong subscopes
    Đ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

    PrincetonUniversity/VST#295 · 2 bình luận ·

  • Forward_for and forward_for_simple_bound cannot handle multiple EX in Inv
    Đ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

    PrincetonUniversity/VST#193 · 1 bình luận ·

  • globalenv vs Genv.globalenv
    Đ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

    PrincetonUniversity/VST#45 ·

  • examples/cont makefile
    Đ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

    PrincetonUniversity/VST#24 · 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.