Write new memory constraints to check correctness
Aperta
- Lingua principale
- Rust
- Stelle
- 96
- Fork
- 39
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
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
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.