Skip to content

Pull requests: 0xMiden/miden-vm

New pull request New
29 Open 1,840 Closed
29 Open 1,840 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

trace generation: follow-up refactoring + couple perf improvements
#2953 opened Mar 31, 2026 by Nashtare Loading…
@Nashtare
3
Backport/main post v0.22.0 to next no changelog This PR does not require an entry in the `CHANGELOG.md` file
#2950 opened Mar 31, 2026 by huitseeker Loading…
3
Reduce trace build inputs for prove-from-trace
#2948 opened Mar 31, 2026 by huitseeker Loading…
1
docs(processor): fix stale ExecutionTracer doc links
#2943 opened Mar 31, 2026 by KitaroMoha563 Loading…
perf(assembly): optimize call graph toposort from O(V*E) to O(V+E)
#2942 opened Mar 30, 2026 by giwaov Loading…
1
2
docs(corelib): document non-overlap requirement for memory copy and AEAD procedures
#2941 opened Mar 30, 2026 by giwaov Loading…
1
docs(corelib): document sortedness precondition for sorted array operations
#2939 opened Mar 30, 2026 by giwaov Loading…
1
fix(core,assembly): replace unsound ptr::read in panic recovery
#2934 opened Mar 28, 2026 by giwaov Loading…
1
7
fix(assembly): validate procedure roots during library deserialization
#2933 opened Mar 28, 2026 by giwaov Loading…
1
3
Fix the release dry-run publish cycle and preserve leaf-only DAG imports
#2931 opened Mar 28, 2026 by huitseeker Loading…
1
2
Hasher chiplet redesign
#2927 opened Mar 27, 2026 by Al-Kindi-0 Loading…
8
docs(assembly): clarify div vs u32div semantics
#2925 opened Mar 27, 2026 by cwhitak3r Loading…
1
3
fix(processor): run after_exit decorators when tracing
#2922 opened Mar 27, 2026 by KitaroMoha563 Loading…
5
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 • Draft
8
ci: publish rustdoc through the Pages artifact instead of a side-channel gh-pages push no changelog This PR does not require an entry in the `CHANGELOG.md` file
#2916 opened Mar 26, 2026 by huitseeker Loading…
docs(memory): fix delta encoding comments in memory trace
#2910 opened Mar 25, 2026 by alimmaster Loading…
1
9
Add a package content digest for package identity
#2909 opened Mar 25, 2026 by huitseeker Loading…
feat: switch assembly-syntax parsing to new lossless parser assembly Related to Miden assembly
#2907 opened Mar 25, 2026 by bitwalker Loading…
1
@bitwalker
feat: implement new miden-format tool, based on a new lossless parser assembly Related to Miden assembly
#2906 opened Mar 25, 2026 by bitwalker Loading…
1
@bitwalker
5
fix(processor): DYNCALL stack-depth off-by-one at MIN_STACK_DEPTH
#2904 opened Mar 24, 2026 by amathxbt Loading…
1
20
Remove adv_push.x
#2900 opened Mar 23, 2026 by Al-Kindi-0 Loading…
6
fix: return structured errors for unsafe assembly resolution paths
#2899 opened Mar 23, 2026 by huitseeker Loading…
3
feat: local package registry implementation
#2881 opened Mar 19, 2026 by bitwalker Loading…
1
@bitwalker
Tracking PR for v0.23.0 release
#2878 opened Mar 19, 2026 by bobbinth • Draft
WIP: refactor(air): remove tagging, apply uniform constraint description, and optimize evaluation
#2856 opened Mar 16, 2026 by adr1anh • Draft
2
ProTip! Adding no:label will show everything without a label.