Skip to content

Pull requests: 0xMiden/compiler

New pull request New
16 Open 650 Closed
16 Open 650 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

fix: temporarily suppress UntrustedMastForest error logs from miden-core
#1239 opened Jul 3, 2026 by greenhat Contributor Loading…
1
feat(cargo-miden): print the compiled artifact path on build
#1238 opened Jul 3, 2026 by greenhat Contributor Loading…
1
feat: improve debug info dialect and debug info generation
#1236 opened Jul 2, 2026 by djolertrk Collaborator Loading…
1
feat: add I32RemS op to wasm dialect
#1233 opened Jul 1, 2026 by mooori Contributor Loading…
3
Fix invalid trait object slice example
#1232 opened Jul 1, 2026 by CryptAm Contributor Loading…
test(cargo-miden): remove test_all_templates and its exclusive infra
#1231 opened Jul 1, 2026 by greenhat Contributor Loading…
1
feat(sdk)!: generate per-component traits for #[account] wrappers
#1218 opened Jun 29, 2026 by greenhat Contributor Loading…
1
feat: support i64::checked_mod
#1196 opened Jun 18, 2026 by mooori Contributor • Draft
1
8
fix(codegen): check narrowed int32 operand
#1195 opened Jun 18, 2026 by 1sgtpepper Loading…
1
3
Differential fuzzing: concrete-input harness mode, area-scoped fuzza-agent, and new coverage cases
#1164 opened Jun 8, 2026 by greenhat Contributor Loading…
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! Exclude everything labeled bug with -label:bug.