runtimeverification/haskell-backend
The symbolic execution engine powering the K Framework
runtimeverification/haskell-backend 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/haskell-backend để 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
- 224
- Fork
- 43
- Issue cho người mới đang mở
- 0
- Issue đã lập chỉ mục
- 140
- Ngôn ngữ chính
- Haskell
- Giấy phép
- BSD-3-Clause
- Lần push lên GitHub gần nhất
- 7/7/2026
- Lập chỉ mục gần nhất
- 19/9/2026
- Hướng dẫn đóng góp
- Không có hướng dẫn đóng góp
- Quy tắc ứng xử
- 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
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Cách đóng góp cho runtimeverification/haskell-backend
- 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.
- Đó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.
- 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.
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
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100
-
Booster: Optimize KMap internal data structure to improve Map operation performanceCó thể làm lại được @Stevengre đã nhận 217 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/haskell-backend#4138 · 9 bình luận · 1 người được giao ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Booster Map matching deficiencyĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/haskell-backend#4112 · 2 bình luận ·
-
Evaluate `sat.smt=true` option for z3Có thể làm lại được @jberthold đã nhận 608 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/haskell-backend#4089 · 1 người được giao ·
-
Booster's simplifier is unable to prune a `#Bottom` stateCó thể làm lại được @jberthold đã nhận 663 ngày trước và không có pull request nào đang mở. Đang mởenhancement
runtimeverification/haskell-backend#4067 · 1 bình luận · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
booster enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Dynamic preludeĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#4034 · 4 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
runtimeverification/haskell-backend#4023 · 1 bình luận ·
-
Make the `"simplify`" endpoint in Booster evaluate inconsisten predicates and patterns to `#Bottom`Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 38/100
-
Implies request (from kontrol) taking 1h to processCó thể làm lại được @goodlyrottenapple đã nhận 798 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/haskell-backend#3990 · 1 người được giao ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100
-
Compute remainders in boosterĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
-
Reasoning about remaindersĐang mởbug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#3948 · 3 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
runtimeverification/haskell-backend#3905 · 2 bình luận ·
-
booster
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#3888 · 3 bình luận ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
-
Non-terminating simplificationsĐang mởbug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
runtimeverification/haskell-backend#3873 · 1 bình luận ·
-
cleanup
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Extend definedness analysis to equations and output results in user-friendly wayCó thể làm lại được @goodlyrottenapple đã nhận 866 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/haskell-backend#3868 · 1 người được giao ·
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
runtimeverification/haskell-backend#3861 · 8 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#3854 · 2 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Branch returned although one of the next states simplifies to #bottomCó thể làm lại được @jberthold đã nhận 900 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/haskell-backend#3764 · 2 bình luận · 1 người được giao ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
runtimeverification/haskell-backend#3761 · 1 bình luận ·
-
runtimeverification/hs-backend-booster
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
runtimeverification/haskell-backend#3780 · 1 bình luận ·
-
runtimeverification/hs-backend-booster
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Invalid variable names created by internalized rulesCó thể làm lại được @nwatson22 đã nhận 916 ngày trước và không có pull request nào đang mở. Đang mởbug runtimeverification/hs-backend-booster
runtimeverification/haskell-backend#3777 · 3 bình luận · 2 người được giao ·
-
Ceil simplifier in boosterĐang mởruntimeverification/hs-backend-booster
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#3773 · 2 bình luận ·
-
runtimeverification/hs-backend-booster
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
Experiment to evaluate concrete terms in booster instead of llvm libraryCó thể làm lại được @jberthold đã nhận 944 ngày trước và không có pull request nào đang mở. Đang mởruntimeverification/hs-backend-booster
runtimeverification/haskell-backend#3767 · 3 bình luận · 1 người được giao ·
-
runtimeverification/hs-backend-booster
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#3796 · 3 bình luận ·
-
runtimeverification/hs-backend-booster
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/haskell-backend#3789 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#3703 · 1 bình luận ·
-
runtimeverification/hs-backend-booster
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
-
Constraints with an existential variable produced by `kmxwasm` cannot be internalised by BoosterĐang mởruntimeverification/hs-backend-booster
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/haskell-backend#3766 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
runtimeverification/haskell-backend#3680 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/haskell-backend#3669 · 8 bình luận ·
-
runtimeverification/hs-backend-booster
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100
Đ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.