Skip to content

Pull requests: powdr-labs/powdr

New pull request New
47 Open 1,401 Closed
47 Open 1,401 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

Use a different RNG seed for Poseidon2 constants.
#1869 opened Oct 3, 2024 by lvella Loading…
new optimizer rules
#1867 opened Oct 2, 2024 by leonardoalt • Draft
12
JIT: proper function types.
#1866 opened Oct 2, 2024 by chriseth • Draft
1
JIT: Support generic functions
#1865 opened Oct 2, 2024 by chriseth Loading…
Jit enums
#1858 opened Oct 1, 2024 by chriseth Loading…
3
Integrated plonky3 prover
#1857 opened Sep 30, 2024 by Schaeff • Draft
2 tasks
Sort benchmark
#1855 opened Sep 30, 2024 by chriseth • Draft
JIT: Support block statements
#1841 opened Sep 25, 2024 by chriseth Loading…
3
Target test for JIT compiler
#1836 opened Sep 24, 2024 by chriseth • Draft
Plonky3 keccak memory
#1832 opened Sep 24, 2024 by qwang98 • Draft
Struct parsing
#1827 opened Sep 23, 2024 by gzanitti Loading…
26
Stwobackend
#1822 opened Sep 23, 2024 by ShuangWu121 • Draft
2 of 4 tasks
fix publics bug halo2
#1814 opened Sep 19, 2024 by leonardoalt Loading…
3
Traits: Support for generic types
#1812 opened Sep 18, 2024 by gzanitti • Draft
Precompile for Poseidon2 BabyBear
#1807 opened Sep 16, 2024 by lvella • Draft
7
Riscv bb
#1790 opened Sep 11, 2024 by leonardoalt • Draft
25
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…
2
Witgen for public references
#1756 opened Sep 5, 2024 by georgwiese Loading…
22
Remove reset instruction
#1718 opened Aug 23, 2024 by Schaeff • Draft
Baby Bear params for benchmarking
#1716 opened Aug 22, 2024 by topanisto • Draft
Plonky3 keccak
#1708 opened Aug 20, 2024 by qwang98 • Draft
9
Witgen for multiplicities in LogUp in PIL
#1686 opened Aug 14, 2024 by onurinanc Loading…
25
[WIP] Memory with BabyBear
#1675 opened Aug 10, 2024 by leonardoalt • Draft
Detect submachine not being a machine
#1657 opened Aug 6, 2024 by Schaeff Loading…
29
ProTip! Adding no:label will show everything without a label.