Skip to content

Issues: 0xPolygonMiden/air-script

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

66 Open 78 Closed
66 Open 78 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Reproducible Build
#347 opened Feb 27, 2024 by hackaugusto
6 tasks
Error if an evaluator column is unconstrained
#346 opened Nov 5, 2023 by hackaugusto
Constraint evaluation optimizer for MASM backend codegen enhancement New feature or request
#339 opened Jul 20, 2023 by bobbinth AirScript v0.4
Integrate the stark verifier code from the miden stdlib into the masm backend
#335 opened Jul 4, 2023 by hackaugusto
3
Separation between Felt, Binary, and Integer types enhancement New feature or request parser
#334 opened Jul 3, 2023 by bobbinth
Eliminate exponentiations in the IR enhancement New feature or request IR parser
#333 opened Jul 2, 2023 by bobbinth
2
Combine constraints generated by selector expressions parser
#332 opened Jul 1, 2023 by bobbinth AirScript v0.4
2
RFC: Introduce "block" syntax for all declarations and statement blocks enhancement New feature or request parser
#331 opened Jun 30, 2023 by bitwalker
1
Sort boundary constraints
#315 opened Jun 17, 2023 by hackaugusto
1
Sort public inputs by name
#314 opened Jun 15, 2023 by hackaugusto
Point and sequence assertions
#313 opened Jun 8, 2023 by pgrinaway
1
Stdlib for airscript
#294 opened May 8, 2023 by hackaugusto
1
Add a pass for common subexpression elimination in the constraint graph
#279 opened Apr 28, 2023 by tohrnii
2
Field Spec required
#277 opened Apr 27, 2023 by skaller
Treatment of duplicate integrity constraints good first issue Good for newcomers
#275 opened Apr 26, 2023 by tohrnii
1
Replace Vec<Vec<T>> with a native Matrix representation
#274 opened Apr 26, 2023 by hackaugusto
5
Forbid name shadowing on comprehensions
#273 opened Apr 26, 2023 by hackaugusto
Consider optionally allowing named segments as evaluator parameters
#268 opened Apr 24, 2023 by tohrnii
Make the trace more general
#267 opened Apr 24, 2023 by tohrnii
Consider allowing named constants to be used in range notation. good first issue Good for newcomers IR parser
#266 opened Apr 24, 2023 by tohrnii AirScript v0.4
Validate variable declaration IR
#265 opened Apr 24, 2023 by tohrnii
3
Add support for computed indexes enhancement New feature or request parser
#245 opened Apr 3, 2023 by Overcastan AirScript v0.4
3
Write new memory constraints to check correctness v0.3
#244 opened Apr 3, 2023 by Overcastan
@Overcastan
modularity for boundary constraints
#240 opened Apr 2, 2023 by grjte
1
Add IR tests v0.3
#235 opened Mar 28, 2023 by tohrnii
@tohrnii
ProTip! Type g i on any issue or pull request to go back to the issue listing page.