Skip to content

Pull requests: 0xPolygonMiden/compiler

New pull request New
13 Open 177 Closed
13 Open 177 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[4/x] Implement VM's call op in IR and codegen
#358 opened Nov 28, 2024 by greenhat • Draft
[5/x] Lifting/Lowering for cross-context calls
#357 opened Nov 26, 2024 by greenhat • Draft
2 of 5 tasks
[2/x] chore: remove pure cargo-component-based tests and artifacts, hand-written Wasm CM tests
#356 opened Nov 26, 2024 by greenhat Loading…
[3/x] Link Miden packages without cross-context calls lifting/lowering
#353 opened Nov 14, 2024 by greenhat • Draft
1
[1/x] Load LinkLibrary from package; Move Package to miden-package crate in the VM repo
#349 opened Oct 25, 2024 by greenhat • Draft
3 of 4 tasks
wip: hir refactoring blocker This issue is one of our top priorities frontend
#332 opened Sep 23, 2024 by bitwalker • Draft
@bitwalker
23
chore: update Miden VM crates to the commit 1b4609e (next, Sep 5, 2024)
#319 opened Sep 12, 2024 by greenhat Loading…
1
5
Add tests for memory intrinsics for i8, u8, i16, u16 types
#293 opened Aug 30, 2024 by greenhat • Draft
1
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
docs: initial package format documentation documentation Improvements or additions to documentation feature New feature or request todo This is a task related to an incomplete feature
#129 opened Feb 19, 2024 by bitwalker Loading…
@bitwalker
37
ProTip! Exclude everything labeled bug with -label:bug.