Skip to content

Issues: Consensys/go-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

Clear current search query, filters, and sorts
79 Open 370 Closed
79 Open 370 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

feat: support highlighting underdefined values in trace command
#717 opened Feb 21, 2025 by DavePearce
Optimisations optimisation
#699 opened Feb 16, 2025 by DavePearce
3
fix: coverage path identifier coverage
#698 opened Feb 16, 2025 by DavePearce
feat: restrict structure of corset expressions enhancement New feature or request
#675 opened Feb 11, 2025 by DavePearce
1
feat: missing optimisations related to bitwidth optimisation
#669 opened Feb 10, 2025 by DavePearce
feat: optimise normalisations enhancement New feature or request optimisation
#643 opened Feb 6, 2025 by DavePearce
1
feat: support improved register allocation optimisation
#638 opened Feb 5, 2025 by DavePearce
fix: translation crash for perspective selectors bug Something isn't working
#630 opened Feb 4, 2025 by DavePearce
feat: save column filter history to disk inspector Related to inspect subcommand
#627 opened Feb 2, 2025 by DavePearce
feat: supported regex formats enhancement New feature or request inspector Related to inspect subcommand
#624 opened Feb 2, 2025 by DavePearce
fix: incorrect report when padding used bug Something isn't working good first issue Good for newcomers
#617 opened Jan 29, 2025 by DavePearce
1
feat: optimize Array interface
#605 opened Jan 26, 2025 by DavePearce
feat: reject input columns without types enhancement New feature or request field agnosticity related to becoming field agnostic
#601 opened Jan 24, 2025 by DavePearce
13
fix: range constraints for i16@prove bug Something isn't working good first issue Good for newcomers
#599 opened Jan 23, 2025 by DavePearce
chore: tidy up util package
#577 opened Jan 21, 2025 by DavePearce
feat: split interleave into a constraint and computation
#573 opened Jan 21, 2025 by DavePearce
feat: generalise Computation enhancement New feature or request
#572 opened Jan 21, 2025 by DavePearce
feat: replace ByteDecomposition with Computation enhancement New feature or request
#571 opened Jan 21, 2025 by DavePearce
chore: tidy up ast package enhancement New feature or request
#570 opened Jan 21, 2025 by DavePearce
fix: padding for negatively signed permutation sorts bug Something isn't working
#568 opened Jan 20, 2025 by DavePearce
feat: sources as arbitrary expressions in definterleaved enhancement New feature or request
#564 opened Jan 18, 2025 by DavePearce
fix: prevent global names in interleaving / permutations bug Something isn't working good first issue Good for newcomers
#561 opened Jan 18, 2025 by DavePearce
feat: tests for native functions testing Related to testing
#553 opened Jan 16, 2025 by DavePearce
feat: support @prove for defcomputed
#552 opened Jan 16, 2025 by DavePearce
chore: update README
#549 opened Jan 16, 2025 by DavePearce
ProTip! Updated in the last three days: updated:>2025-02-26.