runtimeverification / runtimeverification/mir-semantics
[FEATURE] print rules for nd-branches
Đang mở
@Stevengre đang làm issue này rồi.
Từ ngày 14/8/2025.
- Ngôn ngữ chính
- Python
- Star
- 52
- Fork
- 5
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
- not finished implementation is here: https://github.com/runtimeverification/mir-semantics/pull/652
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.
Đánh giá
Issue này chưa được đánh giá.