Skip to content

Pull requests: powdr-labs/powdr

New pull request New
37 Open 1,814 Closed
37 Open 1,814 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

Handle incomplete evaluation gracefully
#2326 opened Jan 10, 2025 by georgwiese Loading…
1
Propagate known.
#2325 opened Jan 10, 2025 by chriseth • Draft
1
Process identities in order (if possible)
#2323 opened Jan 10, 2025 by georgwiese • Draft
1
JIT: ignore bus interactions & reduce block machine row range
#2322 opened Jan 9, 2025 by georgwiese Loading…
3
ExpressionWalker
#2312 opened Jan 7, 2025 by georgwiese • Draft
Simplify stwo tests
#2311 opened Jan 7, 2025 by ShuangWu121 • Draft
2
Check multiplicities in mock prover
#2310 opened Jan 7, 2025 by Schaeff • Draft
1
[blocked] Support bus interactions in the mock prover
#2306 opened Jan 5, 2025 by Schaeff • Draft
1
Interpreter for witgen effects
#2301 opened Jan 2, 2025 by pacheco Loading…
82
Determine range constraints from fixed lookup.
#2300 opened Jan 2, 2025 by chriseth Loading…
20
Extend stwo to Support Machines with Varying Degrees
#2280 opened Dec 23, 2024 by ShuangWu121 Loading…
43
[Prototype] Simple Cache for JIT compilation
#2262 opened Dec 18, 2024 by georgwiese • Draft
pilopt: equal-constrained witness columns removal
#2224 opened Dec 11, 2024 by gzanitti Loading…
15
Future optimization for plonky3 keccak memory (16 bits limbs)
#2146 opened Nov 26, 2024 by qwang98 • Draft
Plonky3 keccak optimization
#2089 opened Nov 13, 2024 by qwang98 Loading…
8
DeclaredType in TypeChecker
#2008 opened Oct 31, 2024 by gzanitti Loading…
11
RISCV bootloader types
#1935 opened Oct 22, 2024 by pacheco Loading…
44
Proof of plonky3 verification
#1928 opened Oct 18, 2024 by Schaeff • Draft
1
riscv bb executor + continuations
#1921 opened Oct 17, 2024 by pacheco • Draft
12
Structs: Condenser & Evaluator
#1911 opened Oct 16, 2024 by gzanitti • Draft
Structs: Type inference
#1910 opened Oct 15, 2024 by gzanitti Loading…
34
Inject conversion function if a fixed column is not int -> fe.
#1905 opened Oct 14, 2024 by chriseth • Draft
[WIP] Match Analysis: Exhaustiveness & Redundancy
#1877 opened Oct 8, 2024 by gzanitti • Draft
2 tasks
Test machine stmts are block stmts
#1786 opened Sep 11, 2024 by chriseth • Draft
Arith machine (field operations only) for BabyBear field
#1775 opened Sep 10, 2024 by qwang98 Loading…
3
ProTip! Filter pull requests by the default branch with base:main.