Skip to content

Pull requests: 0xMiden/miden-vm

New pull request New
23 Open 1,392 Closed
23 Open 1,392 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

docs: add std::collections::smt and std::crypto::hashes::rpo to stdlib modules table
#2209 opened Sep 24, 2025 by Himess Loading…
1
docs: fix ext2mul formulas (c1 = a0*b1 + a1*b0) and use mod p in ext2inv
#2208 opened Sep 24, 2025 by Himess Loading…
1
fix: mismatched Push expectations in decoder syscall_block test
#2207 opened Sep 24, 2025 by GarmashAlex Loading…
fix: proof file existence check in verify CLI
#2206 opened Sep 23, 2025 by Galoretka Loading…
fix(processor): fix debug.adv_stack print order
#2205 opened Sep 23, 2025 by Qyriad Loading…
5
feat(cli): still print execution analysis up to point of error
#2204 opened Sep 23, 2025 by Qyriad Loading…
3
fix: make line_column_to_offset character-based
#2203 opened Sep 23, 2025 by VolodymyrBg Loading…
7
Fix misleading expect message in range aux trace builder no changelog This PR does not require an entry in the `CHANGELOG.md` file
#2201 opened Sep 22, 2025 by viktorking7 Loading…
1
test: instances of Arbitrary for MastNodeForest & BasicBlockNode
#2200 opened Sep 22, 2025 by huitseeker Loading…
4
Tracking PR for v0.19.0 release
#2197 opened Sep 21, 2025 by bobbinth • Draft
1
feat: allow parsing odd-length representations of hex numbers
#2196 opened Sep 21, 2025 by huitseeker Loading…
1
2
Plafer full parallel trace gen
#2188 opened Sep 18, 2025 by plafer Loading…
feat: native precompile verification
#2183 opened Sep 17, 2025 by adr1anh Loading…
1
20
feat: Log deferred precompile calls in AdviceProvider
#2159 opened Sep 15, 2025 by adr1anh Loading…
1
13
feat: implement new binary format, BITE
#2130 opened Sep 4, 2025 by bitwalker Loading…
@bitwalker
Demonstrate miden-fmt tool
#2072 opened Aug 13, 2025 by partylikeits1983 • Draft
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
1
11
Add Miden Assembly Formatter tools Tools for interacting with Miden VM
#2049 opened Aug 5, 2025 by partylikeits1983 Loading…
@partylikeits1983
32
stdlib: implement smt::get for leaves with multiple pairs
#2048 opened Aug 4, 2025 by Qyriad Loading…
49
Implement parallel trace generation for the system, stack and decoder columns
#1839 opened May 28, 2025 by plafer Loading…
1 task
1
138
CUDA acceleration for trace and commitments with a global reusable buffer
#1674 opened Feb 27, 2025 by gswirski Loading…
CUDA acceleration for trace and constraint commitments
#1617 opened Jan 9, 2025 by gswirski Loading…
12
Add WebGPU support
#1459 opened Aug 19, 2024 by 0x8f701 Loading…
1
ProTip! Follow long discussions with comments:>50.