-
Notifications
You must be signed in to change notification settings - Fork 259
Pull requests: 0xMiden/miden-vm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Uniformize auxiliary column constraints using
aux_finals values
#2684
opened Feb 13, 2026 by
Al-Kindi-0
Loading…
Minimal tagging PoC
air
Related to Miden AIR and constraints
no changelog
This PR does not require an entry in the `CHANGELOG.md` file
#2669
opened Feb 11, 2026 by
Al-Kindi-0
•
Draft
refactor(processor): remove all
_sync methods for strictly async API
#2626
opened Jan 31, 2026 by
Farukest
Loading…
feat(stdlib): implement u128 comparison, bitwise, and shift operations
#2624
opened Jan 31, 2026 by
Farukest
Loading…
feat: tighten up MastForest serialization with varints
#2623
opened Jan 31, 2026 by
huitseeker
Loading…
feat: initial implementation of project file format
assembly
Related to Miden assembly
#2510
opened Dec 30, 2025 by
bitwalker
Loading…
2 of 3 tasks
feat: document trace layout constants using insta snapshots
#2351
opened Nov 7, 2025 by
hawkadrian
Loading…
doc: advice provider layout for recursive verifier
no changelog
This PR does not require an entry in the `CHANGELOG.md` file
#2056
opened Aug 7, 2025 by
Al-Kindi-0
•
Draft
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.