Skip to content
This repository has been archived by the owner on Jan 28, 2022. It is now read-only.

Issues: circify/compiler

13 Open 7 Closed
13 Open 7 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

QEQ error on negative 1 bug Something isn't working
#29 opened Jan 26, 2021 by jkwoods
12
Slow constraints generation/memory issue bug Something isn't working
#25 opened Jan 15, 2021 by jkwoods
9
evaluate CArray expression enhancement New feature or request
#22 opened Dec 28, 2020 by jkwoods
2
Ty.RoundFpToDynBv Bug bug Something isn't working
#18 opened Dec 8, 2020 by jkwoods
5
Discussion of compile + solve discussion Further information is requested
#13 opened Nov 3, 2020 by sga001
1
Decomposition to a different base enhancement New feature or request
#12 opened Nov 3, 2020 by sga001
R1CS output schema enhancement New feature or request
#11 opened Oct 30, 2020 by sga001
@sga001
10
Pointer Handling Issue bug Something isn't working
#10 opened Oct 29, 2020 by jkwoods
5
Double Handling enhancement New feature or request
#8 opened Oct 29, 2020 by jkwoods
@jkwoods
18
Control flow: Inlining, recursion unrolling enhancement New feature or request
#6 opened Oct 28, 2020 by elefthei
@elefthei @jkwoods
1
Support 2-D (n-D?) C arrays enhancement New feature or request
#5 opened Oct 28, 2020 by elefthei
Integrate loop flattening into SMT transform
#4 opened Oct 28, 2020 by elefthei
@elefthei
Make sure undefined behavior modelling is correct for Add, Sub, and Mul
#1 opened Dec 18, 2019 by mlfbrown
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.