Write new memory constraints to check correctness
Đang mở
- Ngôn ngữ chính
- Rust
- Star
- 96
- Fork
- 39
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
Write memory constraints in AirScript with the gradual addition of new features to check their correctness.
Originally written by @tohrnii: [write] some constraints which we can check with current syntax, then with evaluator, then with functions, then with constraint comprehension, and so on
Hướng dẫn đóng góp
Đánh giá
Issue này chưa được đánh giá.