Skip to content

Pull requests: powdr-labs/powdr

New pull request New
37 Open 2,884 Closed
37 Open 2,884 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

Run crepe pre solver
#3480 opened Dec 8, 2025 by chriseth • Draft
1
Upgrade to OVM 1.4.3
#3478 opened Dec 8, 2025 by qwang98 • Draft
6
[empirical collection] Use symbolic machine in trace collection
#3475 opened Dec 4, 2025 by Schaeff Loading…
[empirical collection] Named types
#3474 opened Dec 4, 2025 by Schaeff Loading…
1
[empirical collection] Include debug info in empirical constraints
#3473 opened Dec 4, 2025 by Schaeff Loading…
[empirical collection] Pass segment idx to do_with_trace callback
#3472 opened Dec 4, 2025 by Schaeff Loading…
fix(number/goldilocks): enforce canonicalization in from_str_radix
#3470 opened Dec 4, 2025 by MozirDmitriy Loading…
Empirical constraints suggestions
#3468 opened Dec 4, 2025 by Schaeff • Draft
6
Replace quadratic equiv
#3467 opened Dec 4, 2025 by chriseth • Draft
2 tasks done
3
Minimal crepe
#3465 opened Dec 2, 2025 by chriseth Loading…
22
Put bigint branching instrutions in their own BB to not end up in APCs
#3464 opened Dec 2, 2025 by leonardoalt Loading…
Collect empirical constraints
#3461 opened Nov 27, 2025 by georgwiese Loading…
72
Reduce max quadratic analysis size.
#3454 opened Nov 24, 2025 by chriseth • Draft
Branch prediction
#3453 opened Nov 21, 2025 by georgwiese • Draft
[WIP] Direct to APC trace gen
#3452 opened Nov 19, 2025 by qwang98 • Draft
2
Fall back to software after trace generation
#3449 opened Nov 19, 2025 by Schaeff • Draft
1 of 3 tasks
32
[OVM] Bump ovm to to powdr/ovm merge of latest ovm/ovm main
#3445 opened Nov 15, 2025 by qwang98 Loading…
[WIP] Optimistic Precompiles
#3443 opened Nov 15, 2025 by georgwiese • Draft
18
[PGO] collect cycle data
#3442 opened Nov 14, 2025 by qwang98 • Draft
4
Explore crepe
#3440 opened Nov 13, 2025 by chriseth • Draft
10
Simplify original arenas
#3438 opened Nov 12, 2025 by Schaeff Loading…
4
[CI] build once for CPU and GPU
#3434 opened Nov 7, 2025 by qwang98 • Draft
Inline inside solver.
#3432 opened Nov 6, 2025 by chriseth • Draft
2
Refactor constraint splitter
#3431 opened Nov 6, 2025 by chriseth • Draft
Create new dummy bus id
#3428 opened Nov 5, 2025 by qwang98 Loading…
5
ProTip! Adding no:label will show everything without a label.