Skip to content

Pull requests: 0xMiden/compiler

New pull request New
10 Open 337 Closed
10 Open 337 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

Move data segments merging to the codegen, preserving readonly attribute in IR
#668 opened Sep 10, 2025 by greenhat Loading…
1
Authentication component rollup target
#666 opened Sep 9, 2025 by greenhat • Draft
4 of 5 tasks
1
wip: upgrade miden VM to 0.17
#659 opened Sep 4, 2025 by lima-limon-inc • Draft
3 of 5 tasks
Refactor operand scheduling for binary ops.
#656 opened Sep 3, 2025 by otrho Loading… 0.5.0
1
@otrho
11
Remove low-level Miden SDK WIT interfaces in favor of rlib stub library
#653 opened Aug 28, 2025 by greenhat Loading…
3
2
wip: update to latest miden-vm release assembler Issue or feature related to the Miden assembler build Build or CI-related tasks and improvements
#593 opened Jul 9, 2025 by bitwalker • Draft 0.5.0
@bitwalker
6
chore: add test coverage reporting job to CI
#262 opened Jul 29, 2024 by greenhat • Draft
1
10
Add runtime checks in get_inputs test to check expected inputs on the Rust side
#240 opened Jul 8, 2024 by greenhat • Draft
Semantic tests for Wasm code generated with wasm-smith
#219 opened Jun 21, 2024 by greenhat • Draft
Remove build-std cargo option and switch to core::intrinsics::abort() in panic_handler
#135 opened Feb 29, 2024 by greenhat • Draft
1
1
ProTip! Exclude everything labeled bug with -label:bug.