Skip to content

Pull requests: powdr-labs/powdr

New pull request New
30 Open 3,102 Closed
30 Open 3,102 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

Remove memory bus interaction trait
#3706 opened Apr 17, 2026 by Schaeff Collaborator Loading…
Verify checksum for Actions runner download
#3705 opened Apr 15, 2026 by AlzaAlzaki76 Loading…
1 of 2 tasks
Fix APC constraint and interaction metric counters
#3704 opened Apr 14, 2026 by IrshadKohl51 Loading…
memcpy optimization.
#3703 opened Apr 7, 2026 by chriseth Member • Draft
3
Parallel chunk-and-merge optimizer for autoprecompiles
#3701 opened Apr 2, 2026 by leonardoalt Member • Draft
4 of 5 tasks
Add artifact compile/load support to CLI
#3700 opened Apr 2, 2026 by leonardoalt Member • Draft
4 tasks
Fix metrics viewer for OpenVM v2 CPU backend
#3699 opened Apr 1, 2026 by leonardoalt Member • Draft
1 of 2 tasks
Sync OpenVM to upstream develop-v2.0.0-rc.1
#3697 opened Mar 31, 2026 by leonardoalt Member • Draft
5 of 6 tasks
[Prototype] LeanVM + Autoprecompiles
#3693 opened Mar 30, 2026 by georgwiese Collaborator • Draft
Explain openvm proving times
#3690 opened Mar 25, 2026 by georgwiese Collaborator • Draft
[do not merge] Use add-air-id-v2 branches
#3680 opened Mar 20, 2026 by georgwiese Collaborator • Draft
Generate unconditional superblocks
#3669 opened Mar 16, 2026 by Schaeff Collaborator • Draft
8
Introduce StaticBlocks
#3668 opened Mar 16, 2026 by Schaeff Collaborator Loading…
36
Allow overlapping basic blocks
#3662 opened Mar 12, 2026 by Schaeff Collaborator • Draft
7
Remove VarDispenser trait
#3659 opened Mar 12, 2026 by georgwiese Collaborator Loading…
3 tasks done
3
Simplify expressions via exhaustive search on flag variables
#3654 opened Mar 11, 2026 by georgwiese Collaborator • Draft
5 tasks done
1
24
Add WOMIR optimizer test fixtures and APC export instrumentation
#3652 opened Mar 11, 2026 by leonardoalt Member • Draft
3 of 4 tasks
Openvm v2 integration
#3635 opened Mar 5, 2026 by leonardoalt Member • Draft
14
Prototype: Approximate full circuit effectiveness
#3588 opened Jan 27, 2026 by georgwiese Collaborator • Draft
Extend RangeConstraints::combine_product for ranges spanning zero
#3573 opened Jan 19, 2026 by georgwiese Collaborator • Draft
3 tasks done
1
Extend combine_product to handle negative and wrapping ranges
#3572 opened Jan 19, 2026 by Copilot AI • Draft
@chriseth
[DO NOT MERGE] Superblocks rebase
#3548 opened Jan 13, 2026 by qwang98 Collaborator • Draft
[EXPERIMENT] solve for one column records
#3521 opened Dec 31, 2025 by qwang98 Collaborator Loading…
6
Superblocks
#3502 opened Dec 18, 2025 by pacheco Collaborator • Draft
73
Branch prediction
#3453 opened Nov 21, 2025 by georgwiese Collaborator • Draft
ProTip! Add no:assignee to see everything that’s not assigned.