Skip to content

Pull requests: 0xMiden/miden-vm

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

fix: Bound AEAD decrypt advice output
#3252 opened Jun 12, 2026 by huitseeker Collaborator Loading…
fix: Bound FRI preprocess advice counts
#3248 opened Jun 11, 2026 by huitseeker Collaborator Loading…
WIP: prototype MMB
#3234 opened Jun 5, 2026 by krushimir Contributor Draft
Clean up processor error handling
#3230 opened Jun 5, 2026 by huitseeker Collaborator Loading…
Wire deferred state through execution proofs
#3224 opened Jun 3, 2026 by adr1anh Contributor Draft
Split debug info out of MastForest
#3221 opened Jun 2, 2026 by huitseeker Collaborator Loading… v0.24.0
feat(assembly): module/path semantics 2.0 assembly Related to Miden assembly
#3220 opened May 31, 2026 by bitwalker Collaborator Loading… v0.24.0
feat(corelib): add core::debug::print_mem_addr
#3207 opened May 27, 2026 by partylikeits1983 Contributor Loading…
feat(mmr): add authenticated rooted-frontier path
#3184 opened May 22, 2026 by krushimir Contributor Draft
Fix MASM tooling, source paths, and package edge cases
#3178 opened May 20, 2026 by huitseeker Collaborator Loading…
feat(core): executable MastForest generation quality-concern
#3158 opened May 16, 2026 by surajk-m Contributor Loading…
Enforce Public Types in Exported Signatures on hold This issue is blocked or we don't want to start it yet quality-concern
#3154 opened May 15, 2026 by cmende Loading…
6 of 7 tasks
Handle Empty Control Flow quality-concern
#3145 opened May 14, 2026 by jschnelder Loading…
3 of 7 tasks
Tracking PR for v0.24.0 release
#3123 opened May 9, 2026 by bobbinth Contributor Draft
Harden program serde entrypoint invariants on hold This issue is blocked or we don't want to start it yet quality-concern
#3102 opened May 6, 2026 by vh0rvath Loading…
1 of 7 tasks
feat(verifier): outer-LogUp boundary in MASM + VLPI restructure on hold This issue is blocked or we don't want to start it yet
#3096 opened May 5, 2026 by adr1anh Contributor Draft
7 tasks done
test: Split package assembly tests on hold This issue is blocked or we don't want to start it yet quality-concern
#3083 opened Apr 30, 2026 by TharescdqTuA Loading…
Add experimental masm-lint CI and fix core MASM findings
#3052 opened Apr 24, 2026 by huitseeker Collaborator Loading…
Switch changelog handling to fragments no changelog This PR does not require an entry in the `CHANGELOG.md` file
#2918 opened Mar 26, 2026 by huitseeker Collaborator Draft
ProTip! no:milestone will show everything without a milestone.