Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Verified Software Toolchain

PrincetonUniversity/VST は初心者に優しい?

PrincetonUniversity/VST への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。

スター
507
フォーク
105
オープンの初心者向け issue
0
索引済み issue
29
平均マージ
21時間 10分
マージ済み PR(30日)
1
主要言語
Rocq Prover
ライセンス
ライセンスのデータがありません
最終 GitHub push
2026年9月22日
最新の索引
2026年9月20日
コントリビューションガイド
コントリビューションガイドがありません
行動規範
行動規範がありません
初心者向けラベル
初心者向けラベルは索引されていません

PrincetonUniversity/VST にコントリビュートするには

  1. コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
  2. リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
issue を読み込んでいます

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • aes/verif_setkey_enc_LL.v: Vundef_is_Vint is admitted with a comment saying it does not hold, then used twice
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#867 ·

  • Dependently typed WITH components
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#838 · コメント 1 件 ·

  • How to Specify and Prove a Function Reading Header from a Payload Pointer
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#822 · コメント 1 件 ·

  • Issues with VST Installation via OPAM (coq-vst.3.0beta2)
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#820 · コメント 6 件 ·

  • do {S} while (0)
    再び着手できるかも @QinxiangCao が 1068 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン

    PrincetonUniversity/VST#738 · 担当者 1 名 ·

  • Transparent Vptrofs
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#699 ·

  • More concise defined evaluations (Definition arch : nat := Eval ... )
    オープン

    難易度 2/5 1〜3時間 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#690 ·

  • Portable build of progs/ and progs64/ directories
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#686 · コメント 6 件 ·

  • Provide a convenient way to run examples with OPAM-install VST
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#615 · コメント 10 件 ·

  • store_tac_with_hint insufficiently general for array of struct
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#613 ·

  • veric/superprecise.v
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    PrincetonUniversity/VST#603 ·

  • Define address_mapsto by encode_val instead of decode_val?
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#602 · コメント 2 件 · リアクション 1 件 ·

  • Mission of `.opam` files in this repo
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#597 ·

  • Add a description of how to use withspacer in manual
    オープン

    難易度 2/5 1〜3時間 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#581 · コメント 2 件 ·

  • sep_apply unable to handle some expressions with propositions.
    オープン

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#580 · コメント 1 件 ·

  • Soundness of VST for gcc and clang
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#566 · コメント 3 件 · リアクション 1 件 ·

  • VST upgrade 2.6 -> 2.8: 80% slowdown in compilation time
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#514 · コメント 2 件 ·

  • forward_for_simple_bound and EWD heuristic
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#507 ·

  • Create new opam packages for VST
    再び着手できるかも @MSoegtropIMC が 2269 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
    infrastructure

    PrincetonUniversity/VST#441 · コメント 17 件 · 担当者 1 名 ·

  • Pretty-printing of Clight uses wrong subscopes
    オープン

    難易度 3/5 1〜2日 初心者へのやさしさ 35/100

    PrincetonUniversity/VST#295 · コメント 2 件 ·

  • Forward_for and forward_for_simple_bound cannot handle multiple EX in Inv
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 25/100

    PrincetonUniversity/VST#193 · コメント 1 件 ·

  • globalenv vs Genv.globalenv
    オープン

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    PrincetonUniversity/VST#45 ·

  • examples/cont makefile
    オープン

    難易度 2/5 1〜3時間 初心者へのやさしさ 45/100

    PrincetonUniversity/VST#24 · コメント 1 件 ·

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。