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

58 Open 117 Closed
58 Open 117 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

Use column name for bitwidth exceptions bug Something isn't working
#279 opened Oct 16, 2024 by DavePearce
Support test models with length multipliers
#273 opened Oct 15, 2024 by DavePearce
:guard's should be applicable to an entire file quality of life
#265 opened Oct 14, 2024 by OlivierBBB
1
Tweak formatter
#261 opened Sep 26, 2024 by DavePearce
1
🐹 tui-textarea, ratatui dependency problem
#259 opened Sep 24, 2024 by OmegaTymbJIep
1
7
Remove support for parsing immediate expressions from CLI
#258 opened Sep 23, 2024 by DavePearce
Prevent Conflicting Function in Lookup bug Something isn't working
#257 opened Sep 19, 2024 by DavePearce
Corset didn't pick up typo in Shakira constraints file??? bug Something isn't working
#254 opened Sep 5, 2024 by booleanfunction
2
panicked at src/column.rs (unwrap() on a None value)
#253 opened Aug 30, 2024 by gusiri
Option to display module specific instruction names quality of life
#252 opened Aug 23, 2024 by OlivierBBB
@DavePearce
3
Option to display leading zeros in corset inspect quality of life
#250 opened Aug 22, 2024 by OlivierBBB
@DavePearce
Number of columns on both sides of a lookup argument bug Something isn't working
#249 opened Aug 20, 2024 by OlivierBBB
@DavePearce
2
Perspective aware lexicographic ordering arguments
#248 opened Aug 15, 2024 by OlivierBBB
@DavePearce @OlivierBBB @letypequividelespoubelles
7
Namespaces or so for naming constraints, constants and shorthands
#247 opened Aug 5, 2024 by OlivierBBB
Report Current Module in Inspect
#246 opened Jul 29, 2024 by DavePearce
Wrong Evaluation of Constraint Expressions using Expansion bug Something isn't working
#241 opened Jul 22, 2024 by LukiMueller
1
@DavePearce
6
Strange Lookup Configuration
#218 opened Jul 4, 2024 by DavePearce
1
Spillings change ?
#217 opened Jun 26, 2024 by OlivierBBB
5
Add Tests for Array Resolution enhancement New feature or request
#200 opened Jun 16, 2024 by DavePearce
Inefficient Handling of Sorted Permutations? enhancement New feature or request
#199 opened Jun 14, 2024 by DavePearce
1
Incorrect Padding for Descending Permutation Sorts bug Something isn't working
#198 opened Jun 14, 2024 by DavePearce
2
Exit Code on Error enhancement New feature or request
#193 opened Jun 12, 2024 by DavePearce
5
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
ProTip! Updated in the last three days: updated:>2024-10-16.