runtimeverification/llvm-backend
KORE to llvm translation
runtimeverification/llvm-backend は初心者に優しい?
runtimeverification/llvm-backend への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けの issue が現在 1 件オープンです。
- スター
- 43
- フォーク
- 22
- オープンの初心者向け issue
- 1
- 索引済み issue
- 41
- 主要言語
- C++
- ライセンス
- BSD-3-Clause
- 最終 GitHub push
- 2026年6月23日
- 最新の索引
- 2026年9月19日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
runtimeverification/llvm-backend にコントリビュートするには
- コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
- あなたのコントリビュートはプロジェクトの BSD-3-Clause ライセンスで公開されます。
- 下にある初心者向けのオープンな issue を選び、作業を始める前に取り組みたいとコメントしましょう。
誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示
-
難易度 1/5 1時間未満 初心者へのやさしさ 84/100
runtimeverification/llvm-backend#1221 · コメント 1 件 ·
-
code generation wontfix
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#1211 ·
-
bug garbage collection
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#1204 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#1196 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 45/100
runtimeverification/llvm-backend#1181 · コメント 3 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
runtimeverification/llvm-backend#1171 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 38/100
runtimeverification/llvm-backend#1124 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#1113 · コメント 4 件 ·
-
backend runtime bug
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
runtimeverification/llvm-backend#1106 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 45/100
runtimeverification/llvm-backend#1099 ·
-
pybind11 raises a `UnicodeDecodeError` on non-utf bytes in terms of sort `Bytes`再び着手できるかも @gtrepta が 845 日前に担当しましたが、オープン中のプルリクエストはありません。 オープンbindings
runtimeverification/llvm-backend#1078 · コメント 1 件 · 担当者 1 名 ·
-
Recreate llvm-backend gcroots code on develop branch再び着手できるかも @theo25 が 673 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/llvm-backend#1077 · コメント 2 件 · 担当者 1 名 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#1042 · リアクション 2 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#1017 ·
-
debugger
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#1015 · コメント 1 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#994 · コメント 2 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#987 · コメント 3 件 ·
-
Deep dive notesオープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
bindings bug
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#943 · コメント 2 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
runtimeverification/llvm-backend#1018 · コメント 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
[GDB] Create script and tests for GDB to run in CI再び着手できるかも @Robertorosmaninho が 1097 日前に担当しましたが、オープン中のプルリクエストはありません。 オープンdebugger
runtimeverification/llvm-backend#840 · コメント 2 件 · 担当者 1 名 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
Range maps printingオープン
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#798 · コメント 2 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#788 · コメント 4 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#749 · コメント 5 件 ·
-
bug debugger
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
runtimeverification/llvm-backend#746 · コメント 16 件 ·
-
bug debugger
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
runtimeverification/llvm-backend#726 · コメント 1 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
bindings
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#692 · コメント 4 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
runtimeverification/llvm-backend#676 · コメント 1 件 ·
-
documentation
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#495 · コメント 6 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#467 · コメント 1 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
runtimeverification/llvm-backend#383 · コメント 2 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
runtimeverification/llvm-backend#336 · コメント 3 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
runtimeverification/llvm-backend#247 · コメント 5 件 ·
-
Performance overhead in proof_trace_callback_writer対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/llvm-backend#1197 · コメント 1 件 ·