Write new memory constraints to check correctness
未關閉
- 主要語言
- Rust
- 星號
- 96
- 分支
- 39
- PR 合併指標
- 30 天內沒有已合併 PR
描述
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
貢獻指南
評估
這個 Issue 還沒有評估資料。