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

25 Open 54 Closed
25 Open 54 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

Unused Field Column::shift ?
#131 opened Apr 30, 2024 by DavePearce
1
JSON Traces Involving Perspectives
#130 opened Apr 18, 2024 by DavePearce
5
Refactor byte@prove to use Range Constraints
#129 opened Apr 18, 2024 by DavePearce
Improve Test Performance
#126 opened Apr 12, 2024 by DavePearce
Increase Testing Surface enhancement New feature or request
#122 opened Apr 12, 2024 by DavePearce
Implement Clone for ConstraintSet optimisation
#120 opened Apr 12, 2024 by DavePearce
Interleaved columns should have the same :display :type as source columns enhancement New feature or request
#119 opened Apr 11, 2024 by letypequividelespoubelles
4
Restructure into Standard Rust Project Layout refactoring
#118 opened Apr 10, 2024 by DavePearce
4
Implement Initial Testing Framework enhancement New feature or request
#117 opened Apr 10, 2024 by DavePearce
1
@DavePearce
Excessive Delta Constraints Generated for Permutation optimisation
#111 opened Apr 9, 2024 by DavePearce
3
Broken CSV Output from convert bug Something isn't working
#107 opened Apr 8, 2024 by DavePearce
Extended Testing Framework enhancement New feature or request
#105 opened Apr 8, 2024 by DavePearce
5
Error AUX_255_HOOD in Different Perspective bug Something isn't working
#104 opened Apr 8, 2024 by DavePearce
Missing Binarity Constraints for Perspectives bug Something isn't working
#101 opened Apr 2, 2024 by DavePearce
Corset Warning for Empty Columns
#90 opened Mar 27, 2024 by DavePearce
2
Resolving Typing Issues around and!, or, any and all!
#83 opened Mar 22, 2024 by DavePearce
2
Document concretize documentation Improvements or additions to documentation
#81 opened Mar 21, 2024 by DavePearce
Document expand_invs documentation Improvements or additions to documentation
#80 opened Mar 21, 2024 by DavePearce
Document expand_constraints documentation Improvements or additions to documentation
#79 opened Mar 21, 2024 by DavePearce
Document splatter documentation Improvements or additions to documentation
#78 opened Mar 21, 2024 by DavePearce
Fail on erroneous value import bug Something isn't working
#71 opened Feb 26, 2024 by delehef
@delehef
Add Tests for the Standard Library enhancement New feature or request
#65 opened Jan 16, 2024 by DavePearce
@DavePearce
Enable constraint C != cst
#60 opened Dec 28, 2023 by letypequividelespoubelles
1
Opportunistic NonZeronessWitness columns
#45 opened Nov 1, 2023 by OlivierBBB
1
Constraining a set of columns to a lexicograpgic order
#41 opened Oct 16, 2023 by letypequividelespoubelles
@delehef
ProTip! Updated in the last three days: updated:>2024-05-03.