Skip to content

Pull requests: powdr-labs/powdr

New pull request New
43 Open 1,690 Closed
43 Open 1,690 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

[WIP] Simple evaluator
#2194 opened Dec 4, 2024 by georgwiese • Draft
[WIP] Hand-written bus witness generation
#2191 opened Dec 3, 2024 by georgwiese • Draft
expose publics in session
#2190 opened Dec 3, 2024 by leonardoalt • Draft
Expose stdout/stderr in Session
#2189 opened Dec 3, 2024 by leonardoalt Loading…
14
Add PhantomBusInteraction
#2183 opened Dec 2, 2024 by georgwiese Loading…
10
Simplify empty permutations
#2171 opened Nov 28, 2024 by leonardoalt Loading…
6
Disallow iteration over hash types
#2167 opened Nov 27, 2024 by Schaeff Loading…
3
Remove constant intermediates
#2163 opened Nov 27, 2024 by Schaeff Loading…
13
Future optimization for plonky3 keccak memory (16 bits limbs)
#2146 opened Nov 26, 2024 by qwang98 • Draft
powdr-asmopt: remove unused submachines, instructions, registers
#2143 opened Nov 25, 2024 by gzanitti Loading…
21
Add support for constant column in STWO backend
#2112 opened Nov 19, 2024 by ShuangWu121 Loading…
43
Prepare to call jit from block machine.
#2098 opened Nov 15, 2024 by chriseth Loading…
12
[WIP] Mandatory degree
#2097 opened Nov 15, 2024 by georgwiese • Draft
8
Plonky3 keccak optimization
#2089 opened Nov 13, 2024 by qwang98 • Draft
7
pilopt: equal-constrained witness columns removal
#2086 opened Nov 13, 2024 by gzanitti Loading…
1
29
Auto witgen
#2071 opened Nov 11, 2024 by chriseth • Draft
8
Jit block machine
#2065 opened Nov 8, 2024 by chriseth • Draft
DeclaredType in TypeChecker
#2008 opened Oct 31, 2024 by gzanitti Loading…
11
Convert Keccak non memory circuit endianness
#1960 opened Oct 26, 2024 by qwang98 Loading…
2
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
ProTip! Add no:assignee to see everything that’s not assigned.