Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Write new memory constraints to check correctness #244

Open
Fumuran opened this issue Apr 3, 2023 · 0 comments
Open

Write new memory constraints to check correctness #244

Fumuran opened this issue Apr 3, 2023 · 0 comments
Assignees
@Fumuran
Labels
v0.3

Comments

@Fumuran
Copy link
Contributor

Fumuran commented Apr 3, 2023

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
@Fumuran Fumuran self-assigned this Apr 3, 2023
@tohrnii tohrnii added the v0.3 label Apr 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Fumuran Fumuran

Labels
v0.3
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Fumuran @tohrnii