Skip to content

Pull requests: 0xPolygonMiden/air-script

New pull request New
10 Open 199 Closed
10 Open 199 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

MassaLabs: Implement a Intermediate Representation to improve the compilation process
#359 opened Oct 17, 2024 by Leo-Besancon • Draft
40
Tracking PR for v0.4 release
#343 opened Jul 25, 2023 by bobbinth • Draft
fix(constraints): remove next operator from functions and binary_not
#291 opened May 1, 2023 by tohrnii • Draft
Write stack multiset check constraints in AirScript
#272 opened Apr 25, 2023 by Fumuran • Draft
1
Write hasher multiset check constraints in AirScript
#261 opened Apr 20, 2023 by Fumuran Loading…
18
feat(constraints): add rpo constraints
#257 opened Apr 18, 2023 by tohrnii Loading…
28
Write constraints for the stack overflow table in AirScript
#250 opened Apr 12, 2023 by Fumuran Loading…
1
Write constraints for the range checker bus in AirScript
#249 opened Apr 12, 2023 by Fumuran • Draft
1
Write general stack constraints in AirScript
#239 opened Mar 31, 2023 by Fumuran Loading…
1
28
Codegen option for generic constraint evaluation format
#104 opened Dec 15, 2022 by Fumuran Loading…
3 tasks done
52
ProTip! Filter pull requests by the default branch with base:main.