Skip to content

Pull requests: 0xMiden/compiler

New pull request New
17 Open 561 Closed
17 Open 561 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

test: add proptests for checked arith
#1092 opened Apr 28, 2026 by mooori Contributor Loading…
1
LTO-safe linker stubs
#1090 opened Apr 28, 2026 by greenhat Contributor • Draft
1
3
Add midenc-fuzza differential fuzzing harness
#1087 opened Apr 24, 2026 by greenhat Contributor • Draft
6
feat(objtool): add masm2masp command
#1083 opened Apr 20, 2026 by mooori Contributor • Draft
16
feat: enable trace based println
#1077 opened Apr 13, 2026 by mooori Contributor Loading…
1 task
14
chore(sdk): add docs.rs wasm targets
#1076 opened Apr 11, 2026 by KitaroMoha563 Loading…
1
1
refactor: use project assembler to build a Package
#1071 opened Apr 9, 2026 by greenhat Contributor Loading…
1
1
fix: propagate verification errors and add PassManager integrity test
#1066 opened Apr 7, 2026 by giwaov Loading…
1
test(codegen): extend memory load tests with random addresses
#1063 opened Apr 6, 2026 by giwaov Loading…
1
test: convert issue 831 regression test to lit test
#1062 opened Apr 6, 2026 by giwaov Loading…
1
fix: update outdated doc paths in rust-toolchain.toml comment
#1055 opened Apr 4, 2026 by CryptAm Loading…
docs: fix Rust toolchain version
#1054 opened Apr 4, 2026 by CryptAm Loading…
docs: fix table column alignment for long double
#1020 opened Mar 21, 2026 by stackoverflowed1 Loading…
test: Felt constructor edge cases
#991 opened Mar 3, 2026 by mooori Contributor Loading…
1
3
feat: add Word::empty() method to Miden SDK
#826 opened Dec 17, 2025 by PivasDesant Loading…
1
3
Track variable locations blocker This issue is one of our top priorities
#820 opened Dec 15, 2025 by djolertrk Collaborator Loading…
10
Add synthetic source locations
#812 opened Dec 9, 2025 by djolertrk Collaborator • Draft
3
ProTip! Follow long discussions with comments:>50.