Skip to content

Issues: Consensys/corset

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.

Sign up for GitHub

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

44 Open 79 Closed
44 Open 79 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
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

Exit Code on Error enhancement New feature or request
#193 opened Jun 12, 2024 by DavePearce
1
Negative Trace Literals bug Something isn't working
#190 opened Jun 11, 2024 by DavePearce
On the Distinction Between loobean and boolean enhancement New feature or request
#189 opened Jun 10, 2024 by DavePearce
2
Option::unwrap() crash for byte@prove in Perspective bug Something isn't working
#186 opened Jun 10, 2024 by DavePearce
1
Duplicate Binarity Constraints bug Something isn't working
#185 opened Jun 10, 2024 by DavePearce
1
Inefficient Register Allocation optimisation
#183 opened Jun 10, 2024 by DavePearce
3
Loading filters into corset inspect
#181 opened Jun 7, 2024 by OlivierBBB
'Safe' and 'unsafe' trace methods
#180 opened Jun 5, 2024 by OlivierBBB
Unused Declaration for :array Column bug Something isn't working
#179 opened Jun 5, 2024 by DavePearce
2
Duplicate Columns Declarations for Perspectives bug Something isn't working
#178 opened Jun 5, 2024 by DavePearce
Undefined Column Used in define.go bug Something isn't working
#177 opened Jun 5, 2024 by DavePearce
Typing Instrinsic::Mul
#174 opened Jun 5, 2024 by DavePearce
1
Problems with Generated define.go
#173 opened Jun 4, 2024 by DavePearce
1 of 4 tasks
FR: give more context (perspective) in corset check errors output enhancement New feature or request error-messages
#172 opened Jun 4, 2024 by letypequividelespoubelles
1
Print perspective (shorthand) in corset output enhancement New feature or request error-messages
#170 opened Jun 3, 2024 by OlivierBBB
1
feat: make default configuration for trace generation/import the same
#168 opened May 29, 2024 by ivokub
2
Invalid Lookups Not Reported bug Something isn't working
#166 opened May 28, 2024 by DavePearce
5
feat: scope for functions enhancement New feature or request
#165 opened May 28, 2024 by lorenzogentile404
@DavePearce @powerslider
14
mul_assign not implemented
#163 opened May 27, 2024 by DavePearce
1
"Full debug" constraints enhancement New feature or request
#162 opened May 27, 2024 by OlivierBBB
1
lt Trace Size Optimisation enhancement New feature or request
#160 opened May 27, 2024 by DavePearce
Missing Spillage for Lookups / Range Constraints bug Something isn't working
#151 opened May 20, 2024 by DavePearce
11
Perspective-Aware Permutations
#149 opened May 17, 2024 by DavePearce
Missing Concretization Cases bug Something isn't working
#146 opened May 16, 2024 by DavePearce
Optimise Spillage Computation
#142 opened May 15, 2024 by DavePearce
1
ProTip! Mix and match filters to narrow down what you’re looking for.