Skip to content

Pull requests: 0xMiden/compiler

New pull request New
13 Open 608 Closed
13 Open 608 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

feat: preserve ABI types
#1151 opened May 29, 2026 by djolertrk Collaborator Loading…
1
test: explicitly include edge cases in arithmetic prop tests
#1150 opened May 29, 2026 by mooori Contributor Loading…
Wasm CM variant (Rust enum), option and result support
#1149 opened May 29, 2026 by greenhat Contributor • Draft
feat(hir): implement dialect conversion infrastructure codegen Issues or features related to lowering IR into MASM ir Improvements to, or bugs in, the implementation of the IR
#1148 opened May 28, 2026 by bitwalker Collaborator Loading…
chore: migrate to VM v0.23, protocol v0.15
#1146 opened May 26, 2026 by greenhat Contributor • Draft
1
feat: improve debug loc tracking
#1136 opened May 18, 2026 by djolertrk Collaborator Loading…
11
FPI
#1113 opened May 6, 2026 by greenhat Contributor Loading…
1
feat: add swapp projects
#1073 opened Apr 9, 2026 by lima-limon-inc Contributor • Draft
1
test: convert issue 831 regression test to lit test
#1062 opened Apr 6, 2026 by giwaov Loading…
1
test: Felt constructor edge cases
#991 opened Mar 3, 2026 by mooori Contributor • Draft
1
5
chore: add test coverage reporting job to CI
#262 opened Jul 29, 2024 by greenhat Contributor • 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 Contributor • Draft
Semantic tests for Wasm code generated with wasm-smith
#219 opened Jun 21, 2024 by greenhat Contributor • Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.