Skip to content

Pull requests: powdr-labs/powdr

New pull request New
32 Open 1,068 Closed
32 Open 1,068 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Hints for assignment registers
#1430 opened Jun 6, 2024 by chriseth • Draft
Flat lookup
#1428 opened Jun 6, 2024 by chriseth • Draft
Process pc lookup first.
#1427 opened Jun 6, 2024 by chriseth Loading…
[WIP] Profile identities
#1426 opened Jun 6, 2024 by georgwiese • Draft
Modmul
#1425 opened Jun 6, 2024 by qwang98 • Draft
Rust witgen
#1424 opened Jun 5, 2024 by chriseth • Draft
Refactoring powdr asm generator to make it source agnostic.
#1422 opened Jun 5, 2024 by lvella Loading…
1
[WIP] Registers in memory
#1420 opened Jun 4, 2024 by georgwiese • Draft
Add explicit hint for lookups
#1419 opened Jun 4, 2024 by chriseth • Draft
PIL -> rust compiler
#1416 opened Jun 4, 2024 by chriseth • Draft
Source reference for pattern
#1411 opened May 31, 2024 by chriseth • Draft
Keccak Rust Wrapper Finalize
#1408 opened May 29, 2024 by qwang98 • Draft
Allow the type checker to accept empty values
#1393 opened May 21, 2024 by gzanitti Loading…
36
[WIP] Machines communicating through shared memory
#1380 opened May 15, 2024 by georgwiese • Draft
1 of 4 tasks
Attempting to fake std unsing risc0 target.
#1364 opened May 8, 2024 by lvella • Draft
Machine arguments
#1356 opened May 6, 2024 by pacheco Loading…
25
Run tests on estark-polygon backend
#1343 opened May 3, 2024 by lvella • Draft
3
Keccak Rust Wrappers
#1337 opened Apr 30, 2024 by qwang98 Loading…
118
Builtin: Capture stage
#1334 opened Apr 30, 2024 by chriseth Loading…
3
Non exhaustiveness of patterns
#1318 opened Apr 25, 2024 by gzanitti • Draft
56
Implement permutation argument using extension field
#1306 opened Apr 23, 2024 by georgwiese Loading…
39
Keccak with pluggable helpers
#1266 opened Apr 10, 2024 by qwang98 • Draft
Traits
#1223 opened Apr 1, 2024 by chriseth • Draft
Circuit compiler
#1218 opened Mar 31, 2024 by chriseth • Draft
3
Permutation example
#1195 opened Mar 25, 2024 by chriseth • Draft
3
ProTip! Follow long discussions with comments:>50.