Get rid of duplicated lemmas for commutative operations
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
- 38/100
- Loại issue
- Tái cấu trúc
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- wasm
- Lĩnh vực
- compilers
Hướng nghiên cứu
So sánh các bổ đề KEVM được liên kết với tệp bổ đề của wasm-semantics, sau đó kiểm tra các trường hợp giao hoán-kết hợp hiện có để tìm cơ hội loại bỏ trùng lặp hoặc đơn giản hóa. Được coi là hoàn thành khi các bổ đề tương đương được hợp nhất hoặc được bổ sung khi cần và các đơn giản hóa đã xác định được bao phủ.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
KEVM uses the following lemmas to push symbolic values to the left in commutative-associative operations: https://github.com/kframework/evm-semantics/blob/master/tests/specs/lemmas.k#L290
We should add the same or similar lemmas, and go over our lemmas file and look for other cases where this can be simplified.
- Ngôn ngữ chính
- WebAssembly
- Star
- 107
- Fork
- 25
- 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
- Có Dockerfile hoặc 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/wasm-semantics
-
enhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100
-
bug
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100
-
Improve tokenisation supportĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
Tất cả issue của runtimeverification/wasm-semantics
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
tree-sitter/tree-sitter-cpp#374 ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
voidzero-dev/oxc-angular-compiler#511 ·
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 86/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 72/100
tc39/proposal-deferred-reexports#98 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
bug good-title pdd
Độ khó 2/5 Dưới một giờ Mức phù hợp với người mới 82/100
objectionary/phino#1630 ·
Maintainer thường phản hồi trong vòng 1 ngày