Skip to content

Pull requests: 0xMiden/air-script

New pull request New
26 Open 277 Closed
26 Open 277 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: prove/verify and sync plonky3
#523 opened Dec 5, 2025 by Leo-Besancon • Draft
fix: Import::Partial equality to be symmetric
#517 opened Nov 24, 2025 by MozirDmitriy Loading…
4
Miden VM AIR constraints
#516 opened Nov 21, 2025 by Al-Kindi-0 Loading…
Allow pure functions import
#514 opened Nov 17, 2025 by Al-Kindi-0 Loading…
1
Fix cross-module function calls
#513 opened Nov 16, 2025 by Al-Kindi-0 Loading…
5
fix(mir): constant propagation folds 0^0 to 1
#509 opened Nov 9, 2025 by Galoretka Loading…
4
Simplify MDS product in RPO constraints MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#505 opened Nov 1, 2025 by Al-Kindi-0 Loading…
Add constraints for frie2f4 op MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#501 opened Oct 22, 2025 by Al-Kindi-0 • Draft
ACE wire bus constraints MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#500 opened Oct 22, 2025 by Al-Kindi-0 • Draft
Complete range checker MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#499 opened Oct 22, 2025 by Al-Kindi-0 • Draft
5
Virtual table bus MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#498 opened Oct 20, 2025 by Al-Kindi-0 • Draft
Chiplets bus constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#497 opened Oct 20, 2025 by Al-Kindi-0 • Draft
Implementation of system constraints MidenVM constraints
#494 opened Oct 15, 2025 by Al-Kindi-0 • Draft
26
Implementation of stack and decoder constraints (without bus constraints) no changelog This PR does not require an entry in the `CHANGELOG.md` file
#490 opened Oct 10, 2025 by Al-Kindi-0 • Draft
Kernel ROM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#484 opened Sep 30, 2025 by Al-Kindi-0 Loading…
16
Enforce errors for missing items in Import::Partial
#473 opened Sep 26, 2025 by GarmashAlex Loading…
1
Add plonky3 backend
#461 opened Sep 17, 2025 by Leo-Besancon Loading…
12 of 13 tasks
1
20
Separation between Felt, Bool, and Uint types
#423 opened Jul 18, 2025 by Soulthym Loading…
10 of 28 tasks
20
Tracking PR for v0.5.0 release
#412 opened Jun 21, 2025 by bobbinth • Draft
10
Extend ACE codegen with MASM code
#409 opened Jun 19, 2025 by Al-Kindi-0 • Draft
1
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
ProTip! Mix and match filters to narrow down what you’re looking for.