Skip to content

Issues: powdr-labs/powdr

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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
Assignee
Filter by who’s assigned
Sort

Issues list

auto-wit-jit-gen performance ideas performance witness generation Concerning the module of automated witness derivation
#2246 opened Dec 17, 2024 by chriseth
Implement segmentation faults
#2245 opened Dec 17, 2024 by lvella
Runtime-branchnig for jit-witgen
#2237 opened Dec 16, 2024 by chriseth
Fully support Bus Interactions
#2184 opened Dec 2, 2024 by georgwiese
Mock prover
#2152 opened Nov 26, 2024 by georgwiese
2 of 3 tasks
6. Precompiles
Delay provision of degree ranges
#2150 opened Nov 26, 2024 by Schaeff
Detect equivalent closures
#2128 opened Nov 21, 2024 by Schaeff
Auto-generated prover functions
#2066 opened Nov 11, 2024 by chriseth
1 of 9 tasks
ProTip! Updated in the last three days: updated:>2024-12-21.