runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
runtimeverification/haskell-backend は初心者に優しい?
runtimeverification/haskell-backend への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けの issue が現在 1 件オープンです。
- スター
- 224
- フォーク
- 43
- オープンの初心者向け issue
- 1
- 索引済み issue
- 140
- 主要言語
- Haskell
- ライセンス
- BSD-3-Clause
- 最終 GitHub push
- 2026年7月7日
- 最新の索引
- 2026年9月19日
- コントリビューションガイド
- コントリビューションガイドがありません
- 行動規範
- 行動規範がありません
- 初心者向けラベル
- 初心者向けラベルは索引されていません
- PR マージ指標
- 30日以内にマージされた PR はありません
runtimeverification/haskell-backend にコントリビュートするには
- コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
- あなたのコントリビュートはプロジェクトの BSD-3-Clause ライセンスで公開されます。
- 下にある初心者向けのオープンな issue を選び、作業を始める前に取り組みたいとコメントしましょう。
誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
Booster: Optimize KMap internal data structure to improve Map operation performance再び着手できるかも @Stevengre が 218 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/haskell-backend#4138 · コメント 9 件 · 担当者 1 名 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/haskell-backend#4112 · コメント 2 件 ·
-
Evaluate `sat.smt=true` option for z3再び着手できるかも @jberthold が 609 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/haskell-backend#4089 · 担当者 1 名 ·
-
Booster's simplifier is unable to prune a `#Bottom` state再び着手できるかも @jberthold が 664 日前に担当しましたが、オープン中のプルリクエストはありません。 オープンenhancement
runtimeverification/haskell-backend#4067 · コメント 1 件 · 担当者 1 名 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
booster enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
Dynamic preludeオープン
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#4034 · コメント 4 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 42/100
runtimeverification/haskell-backend#4023 · コメント 1 件 ·
-
Make the `"simplify`" endpoint in Booster evaluate inconsisten predicates and patterns to `#Bottom`オープン
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 45/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 38/100
-
Implies request (from kontrol) taking 1h to process再び着手できるかも @goodlyrottenapple が 799 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/haskell-backend#3990 · 担当者 1 名 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
bug
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#3948 · コメント 3 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
runtimeverification/haskell-backend#3905 · コメント 2 件 ·
-
booster
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#3888 · コメント 3 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
runtimeverification/haskell-backend#3873 · コメント 1 件 ·
-
cleanup
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
Extend definedness analysis to equations and output results in user-friendly way再び着手できるかも @goodlyrottenapple が 867 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/haskell-backend#3868 · 担当者 1 名 ·
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
runtimeverification/haskell-backend#3861 · コメント 8 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#3854 · コメント 2 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
Branch returned although one of the next states simplifies to #bottom再び着手できるかも @jberthold が 901 日前に担当しましたが、オープン中のプルリクエストはありません。 オープン
runtimeverification/haskell-backend#3764 · コメント 2 件 · 担当者 1 名 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
runtimeverification/haskell-backend#3761 · コメント 1 件 ·
-
runtimeverification/hs-backend-booster
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
runtimeverification/haskell-backend#3780 · コメント 1 件 ·
-
runtimeverification/hs-backend-booster
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
Invalid variable names created by internalized rules再び着手できるかも @nwatson22 が 917 日前に担当しましたが、オープン中のプルリクエストはありません。 オープンbug runtimeverification/hs-backend-booster
runtimeverification/haskell-backend#3777 · コメント 3 件 · 担当者 2 名 ·
-
runtimeverification/hs-backend-booster
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#3773 · コメント 2 件 ·
-
runtimeverification/hs-backend-booster
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
-
Experiment to evaluate concrete terms in booster instead of llvm library再び着手できるかも @jberthold が 945 日前に担当しましたが、オープン中のプルリクエストはありません。 オープンruntimeverification/hs-backend-booster
runtimeverification/haskell-backend#3767 · コメント 3 件 · 担当者 1 名 ·
-
runtimeverification/hs-backend-booster
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#3796 · コメント 3 件 ·
-
runtimeverification/hs-backend-booster
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
runtimeverification/haskell-backend#3789 · コメント 1 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#3703 · コメント 1 件 ·
-
runtimeverification/hs-backend-booster
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
-
Constraints with an existential variable produced by `kmxwasm` cannot be internalised by Boosterオープンruntimeverification/hs-backend-booster
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
runtimeverification/haskell-backend#3766 · コメント 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 38/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
runtimeverification/haskell-backend#3680 · コメント 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
runtimeverification/haskell-backend#3669 · コメント 8 件 ·
-
runtimeverification/hs-backend-booster
難易度 5/5 1週間以上 初心者へのやさしさ 32/100
最新の 100 件のみ表示しています
このページには最近登録されたものだけが並びます。全件は詳細フィルターにあり、言語・難易度・所要時間で絞り込めます。