VolumeTracker should deal with Phi nodes appropriately
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức phù hợp với người mới
- 48/100
Hướng nghiên cứu
Bắt đầu với test harness theo dõi thể tích và test case hiện có trong tests/assays/probabilistic_pcr.bs. Tái hiện kịch bản phi ở phần đầu vòng lặp với một lần sử dụng trước khi định nghĩa, sau đó theo dõi cách volume tracker xử lý nút phi. Hoàn tất khi test được thêm vào chạy thành công và cấu trúc vòng lặp này được xử lý phù hợp.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
The volume tracker does not appropriately handle phi nodes.
The issue arises when a phi node exists in a loop header, where there is a use prior to a def, and has the following structure:
before_loop:
a0 = ...
loop_header:
a1 = phi(a0, a1)
loop_body:
... = use a1
A test case has been added to the volume tracking testing harness using tests/assays/probabilistic_pcr.bs as the model.
- Ngôn ngữ chính
- Python
- Star
- 53
- Fork
- 16
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
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 lilott8/BioScript
-
update readme Đang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 62/100
-
Functions are broken Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
bug
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
enhancement
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Finish and verify z3 tests Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
Tất cả issue của lilott8/BioScript
Issue tương tự
-
[Bug] reef-hermes tells me to resume with hermes --resume, which does not work from my shell Đang mởarea: harness bug status: needs-triage
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
Human-Agent-Society/reef#625 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 80/100
learningequality/kolibri#15351 · 2 bình luận ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
-
Name consistency Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
eellak/triplestore#65 · 1 bình luận ·