Skip to content

Pull requests: powdr-labs/powdr

New pull request New
25 Open 2,571 Closed
25 Open 2,571 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

Apc ranking script
#3121 opened Jul 31, 2025 by qwang98 Loading…
Improve evaluate_apc
#3120 opened Jul 31, 2025 by georgwiese Loading…
5
ECC guests using hint
#3118 opened Jul 31, 2025 by ShuangWu121 Loading…
12
Use solver directly for memory
#3111 opened Jul 29, 2025 by chriseth • Draft
Boolean extracted solver
#3094 opened Jul 28, 2025 by chriseth Loading…
22
Find and replace functions that compute "are all equal zero"
#3046 opened Jul 14, 2025 by chriseth • Draft
14
Test optimize or
#3044 opened Jul 14, 2025 by chriseth • Draft
2
memset loop tests
#3035 opened Jul 10, 2025 by chriseth • Draft
8
Use column width breakdown in json summary and python script
#3027 opened Jul 10, 2025 by qwang98 Loading…
5
Use hint for pairing guest
#3005 opened Jul 8, 2025 by ShuangWu121 • Draft
Utils for future APC optimization
#3000 opened Jul 4, 2025 by qwang98 Loading…
6
Add TODOs in autoprecompiles::build
#2995 opened Jul 3, 2025 by georgwiese • Draft
2
Move max columns to PowdrConfig
#2994 opened Jul 3, 2025 by Schaeff Loading…
Keep a single PGO strategy
#2985 opened Jul 3, 2025 by Schaeff Loading…
4
metrics for autoprecompiles
#2978 opened Jul 2, 2025 by pacheco Loading…
5
Pairing guest executables
#2966 opened Jun 30, 2025 by pacheco Loading…
4
[Discussion Only] Detect and count non-Powdr columns for cell PGO max column use
#2953 opened Jun 27, 2025 by qwang98 • Draft
2
Add plonk circuit builder from QuadraticSymbolicExpression
#2927 opened Jun 19, 2025 by ShuangWu121 Loading…
Apc stacking
#2917 opened Jun 18, 2025 by pacheco • Draft
23
Actually store journal.
#2896 opened Jun 13, 2025 by chriseth • Draft
2
Try to detect terminating branches
#2881 opened Jun 11, 2025 by chriseth • Draft
1
Use journalled constraint system for memory and bitwise
#2874 opened Jun 10, 2025 by chriseth Loading…
14
Ovm heap witgen
#2850 opened Jun 6, 2025 by qwang98 Loading…
3 tasks done
3
Rust bench for OVM execution
#2826 opened Jun 3, 2025 by qwang98 Loading…
46
Quadratic equiv revamped
#2751 opened May 21, 2025 by chriseth Loading…
6
ProTip! Mix and match filters to narrow down what you’re looking for.