Write new memory constraints to check correctness
Abierto
- Lenguaje dominante
- Rust
- Estrellas
- 96
- Forks
- 39
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.