Skip to content

Pull requests: powdr-labs/powdr

New pull request New
40 Open 1,847 Closed
40 Open 1,847 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

Fix fixed lookup that contains constants
#2371 opened Jan 22, 2025 by georgwiese • Draft
Access to nonconstant fixed columns.
#2368 opened Jan 21, 2025 by chriseth Loading…
1
Support Not sound challenges in Stwo
#2367 opened Jan 21, 2025 by ShuangWu121 • Draft
2 tasks done
Using JAL instead of CALL, allowing any link register.
#2365 opened Jan 20, 2025 by lvella Loading…
2
Bootloader fix
#2364 opened Jan 20, 2025 by pacheco • Draft
Witgen: Use bus natively (2)
#2361 opened Jan 19, 2025 by georgwiese • Draft
5
Single receive in bus linker
#2359 opened Jan 17, 2025 by Schaeff • Draft
3
Try zero
#2357 opened Jan 17, 2025 by chriseth • Draft
Human-readable formatting of JIT witgen (error) state.
#2352 opened Jan 16, 2025 by chriseth Loading…
2
Witgen: Use bus natively
#2351 opened Jan 16, 2025 by georgwiese • Draft
16
large data test
#2345 opened Jan 15, 2025 by leonardoalt Loading…
Integrate single step
#2338 opened Jan 14, 2025 by chriseth • Draft
2
Extend Stwo to support publics
#2329 opened Jan 13, 2025 by ShuangWu121 • Draft
Process identities in order (if possible)
#2323 opened Jan 10, 2025 by georgwiese • Draft
5
ExpressionWalker
#2312 opened Jan 7, 2025 by georgwiese • Draft
Simplify stwo tests
#2311 opened Jan 7, 2025 by ShuangWu121 • Draft
2
[Prototype] Simple Cache for JIT compilation
#2262 opened Dec 18, 2024 by georgwiese • Draft
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
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.