Skip to content

Pull requests: powdr-labs/powdr

New pull request New
56 Open 2,086 Closed
56 Open 2,086 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

Quadratic symbolic expression only
#2647 opened Apr 10, 2025 by chriseth Loading…
4
Combine symbol list
#2646 opened Apr 10, 2025 by chriseth Loading…
2
[WIP] Opt: Inline expressions up to MAX_DEGREE
#2644 opened Apr 10, 2025 by gzanitti • Draft
Qse-based optimizer
#2643 opened Apr 10, 2025 by chriseth Loading…
Move constraint analysis
#2642 opened Apr 9, 2025 by chriseth Loading…
Solving for inverse.
#2637 opened Apr 8, 2025 by chriseth Loading…
2
Native bus tuning (use native BusInteraction route)
#2636 opened Apr 8, 2025 by qwang98 • Draft
fixUpdate README.md
#2634 opened Apr 4, 2025 by dedyshkaPexto Loading…
Bus native tuning (add Constr::BusLink route)
#2631 opened Apr 4, 2025 by qwang98 • Draft
Native bus tuning (condenser without reparsing route)
#2629 opened Apr 3, 2025 by qwang98 • Draft
Plonky3 parameters check
#2628 opened Apr 3, 2025 by ShuangWu121 • Draft
Quadratic symbolic expressions.
#2627 opened Apr 2, 2025 by chriseth Loading…
14
Solve quadratic constraints
#2619 opened Mar 31, 2025 by chriseth • Draft
2
Move bus_multi_linker to backend-aware tuning
#2611 opened Mar 31, 2025 by qwang98 • Draft
6
Reparse fail sample
#2610 opened Mar 31, 2025 by qwang98 • Draft
2
Prover functions for small arith.
#2608 opened Mar 28, 2025 by chriseth Loading…
3
More robust publics implementation for WriteOnceMemory
#2600 opened Mar 27, 2025 by georgwiese Loading…
2
Optimize PR test workflow
#2580 opened Mar 24, 2025 by qwang98 • Draft
Stwo logup-gkr, proving a single lookup
#2579 opened Mar 22, 2025 by ShuangWu121 • Draft
WASM support
#2576 opened Mar 21, 2025 by lvella • Draft
Update public examples
#2572 opened Mar 21, 2025 by qwang98 Loading…
43
Representing the WASM program as DAG to be able to elide memory copies.
#2560 opened Mar 18, 2025 by lvella • Draft
[WIP] JIT: Inline witness assignments
#2559 opened Mar 18, 2025 by georgwiese • Draft
1
[WIP] Block machine: only use JIT on Goldilocks
#2541 opened Mar 13, 2025 by georgwiese • Draft
1
Cheaper bootloader
#2529 opened Mar 7, 2025 by lvella • Draft
ProTip! Type g i on any issue or pull request to go back to the issue listing page.