Skip to content

Pull requests: 0xMiden/air-script

New pull request New
16 Open 293 Closed
16 Open 293 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

Add decoder virtual table bus constraints MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#530 opened Dec 23, 2025 by Al-Kindi-0 Loading…
Add decoder and stack constraints MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#528 opened Dec 23, 2025 by Al-Kindi-0 Loading…
Miden VM constraints MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#527 opened Dec 23, 2025 by Al-Kindi-0 • Draft
Fix cross module constants and comprehension scoping
#526 opened Dec 22, 2025 by Al-Kindi-0 Loading…
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 Loading…
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 Loading…
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 Loading…
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 Loading…
Chiplets bus constraints MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#497 opened Oct 20, 2025 by Al-Kindi-0 Loading…
Implementation of system constraints MidenVM constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#494 opened Oct 15, 2025 by Al-Kindi-0 Loading…
27
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…
13 of 14 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
ProTip! Add no:assignee to see everything that’s not assigned.