Skip to content

Pull requests: 0xMiden/compiler

New pull request New
22 Open 704 Closed
22 Open 704 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(cargo-miden): skip root manifest for workspace templates
#1335 opened Aug 14, 2026 by UfukNode Loading…
1
fix: integer overflow in int32_to_int mask calculation for n=1
#1334 opened Aug 14, 2026 by wodesiku Loading…
feat(sdk): add ActiveNote trait implemented by #[note] structs
#1332 opened Aug 13, 2026 by greenhat Contributor Loading…
1
1
feat: fix debug expression contract
#1329 opened Aug 12, 2026 by djolertrk Collaborator • Draft
Per-build package cache with caller adoption, WIT-in-package, and the contract build script
#1328 opened Aug 12, 2026 by greenhat Contributor Loading…
5
19
test: un-ignore overflowing_rem_i8/i16/i32
#1325 opened Aug 12, 2026 by ygd58 Loading…
1
test(arithmetic): add shift and rotate coverage
#1324 opened Aug 11, 2026 by erhnysr Loading…
1
5
test(wasm): cover remaining i32 binary operations
#1323 opened Aug 11, 2026 by crazywriter1 Loading…
1 task done
1
9
test: un-ignore spill_edge differential regression test
#1322 opened Aug 11, 2026 by ygd58 Loading…
1
test(arithmetic): add saturating arithmetic coverage
#1315 opened Aug 9, 2026 by UfukNode Loading…
4
fix(midenc): print compiled artifact path
#1314 opened Aug 8, 2026 by UfukNode Loading…
1
chore: migrate to Miden protocol 0.16.0-rc.3 and VM 0.29
#1311 opened Aug 7, 2026 by greenhat Contributor • Draft
1 of 4 tasks
1
1
feat[PoC]: add note storage schema and codec sections to note packages
#1309 opened Aug 6, 2026 by greenhat Contributor • Draft
1
2
feat(debug): add initial support for debugging inline calls
#1295 opened Jul 25, 2026 by djolertrk Collaborator • Draft
3
feat: note constructors (refactor: resolve through entrypoint function reference)
#1262 opened Jul 7, 2026 by greenhat Contributor • Draft
Fix invalid trait object slice example
#1232 opened Jul 1, 2026 by CryptAm Contributor Loading…
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
4
test: convert issue 831 regression test to lit test
#1062 opened Apr 6, 2026 by giwaov Loading…
1
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! Add no:assignee to see everything that’s not assigned.