Cell extraction and substitution in Kore.
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 15/100
Hướng nghiên cứu
The issue provides no body, files, tests, or entry points. Start by searching the K repository for references to cell extraction and substitution, then clarify the intended behavior and acceptance criteria with maintainers before selecting an implementation; done requires an agreed, tested solution.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Issue này không có mô tả.
- Ngôn ngữ chính
- Python
- Star
- 598
- Fork
- 164
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Không có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của runtimeverification/k
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 43/100
runtimeverification/k#4942 ·
-
bug
Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 75/100
runtimeverification/k#4941 ·
-
Introduce composable symbolic execution interface in pyxCó thể làm lại được @Stevengre đã nhận 125 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/k#4939 · 1 người được giao ·
-
Concolic ExplorerĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100
runtimeverification/k#4937 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
runtimeverification/k#4936 ·
Tất cả issue của runtimeverification/k
Issue tương tự
-
[oblt-aw][autodoc] Update docs for security org scaffolding and Docs AI menu permission changesCó thể đã có người làm @github-actions đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
Maintainer thường phản hồi trong vòng 1 ngày
-
external integration integration-submission
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
langchain-ai/docs#7077 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
author-page correction
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
acl-org/acl-anthology#10623 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Use context to recognize personal initials and lowercase namesCó thể đã có người làm @lipikaramaswamy đã nhận hôm nay. Đang mởbug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 67/100
NVIDIA-NeMo/Anonymizer#340 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 82/100
btclib-org/btclib-node#2083 ·
Maintainer thường phản hồi trong vòng 1 ngày