Optimize the side conditions in the semantics to help the booster backend reasoning
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 35/100
- Loại issue
- Tái cấu trúc
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Đình trệ
- Lĩnh vực
- backend
Hướng nghiên cứu
Bắt đầu bằng cách đọc issue #2732 và lần theo cách các điều kiện phụ của các quy tắc đơn giản hóa đến booster backend. So sánh việc chuẩn hóa các quy tắc thành CNF với việc đưa phép biến đổi vào frontend, sau đó xác minh rằng các điều kiện phụ thu được đơn giản hơn trong quá trình suy luận mà không thay đổi hành vi logic.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
- #2732 shows that the booster backend will not transform side conditions in the simplication rules into CNF to simplify the conditon during reasoning. It doesn't lead to anything wrong logically, but just makes the side condition more complex to understand. To sovle this problem, we can just make the side conditions in the rules as CNF. Or introduce this transformation in the frontend.
- Ngôn ngữ chính
- KCL
- Star
- 592
- Fork
- 156
- Merge trung bình
- 2 giờ 19 phút
- Pull request đã merge (30 ngày)
- 1
Chuẩn bị môi trường
Chúng tôi chưa kiểm tra các tệp thiết lập môi trường của dự án này. Hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
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/evm-semantics
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 78/100
runtimeverification/evm-semantics#1190 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
runtimeverification/evm-semantics#2879 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/evm-semantics#2869 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/evm-semantics#2832 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
runtimeverification/evm-semantics#2824 ·
Tất cả issue của runtimeverification/evm-semantics
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
PedestrianDynamics/pyFDS-Evac#343 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
containers/podman-py#662 ·
-
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 88/100
supabase/agent-skills#613 ·