Skip to content

Pull requests: 0xMiden/air-script

New pull request New
27 Open 266 Closed
27 Open 266 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

Target 0xMiden Plonky3 repo and use AirScriptAir and AirScriptBuilder traits codegen
#508 opened Nov 5, 2025 by Leo-Besancon • Draft
Support importing hierarchical modules
#507 opened Nov 4, 2025 by Leo-Besancon Loading…
1
9
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…
docs: clarify bus constraint variable meanings
#503 opened Oct 25, 2025 by crStiv 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
fix: unwrap Enf safely when combining constraints in MatchOptimizer
#496 opened Oct 16, 2025 by radik878 Loading…
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
ACE chiplet constraints no changelog This PR does not require an entry in the `CHANGELOG.md` file
#476 opened Sep 26, 2025 by Al-Kindi-0 Loading…
20
Enforce errors for missing items in Import::Partial
#473 opened Sep 26, 2025 by GarmashAlex Loading…
fix: avoid state mutation on insert conflicts; use Entry API in Graph
#471 opened Sep 24, 2025 by MozirDmitriy Loading…
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
docs: Add comprehensive documentation for AlgebraicGraph::node_details method
#403 opened May 27, 2025 by DeVikingMark Loading…
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
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.