Skip to content

Issues: zksecurity/noname

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

87 Open 42 Closed
87 Open 42 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

checks in int are not enough bug Something isn't working
#242 opened Dec 10, 2024 by mimoo
1
@katat
better error when a keyword is used as identifier easy
#236 opened Nov 20, 2024 by mimoo
2
Error reporting in programs without constraints
#233 opened Nov 12, 2024 by bufferhe4d
1
Create trait for builtins easy
#227 opened Nov 10, 2024 by mimoo
2
Allow pub attribute for struct fields easy
#224 opened Nov 8, 2024 by katat
1
2
[stdlib] add sparse merkle tree in easy
#223 opened Nov 8, 2024 by katat
Have our own Field trait? discussion
#221 opened Nov 6, 2024 by mimoo
1
Support kimchi and string type in debugger API easy
#219 opened Oct 30, 2024 by katat
5
Map native functions to builtin operators medium
#214 opened Oct 24, 2024 by katat
2
Add Bool type in stdlib easy
#213 opened Oct 24, 2024 by katat
1
Support generic struct hard
#212 opened Oct 24, 2024 by katat
1
Enhancement for ITE medium
#211 opened Oct 24, 2024 by katat
2
use proptest to test functions like less_than easy
#210 opened Oct 23, 2024 by mimoo
Check and reassign the field type bug Something isn't working
#205 opened Oct 17, 2024 by katat
@katat
1
Support sub dependency in a package medium
#202 opened Oct 11, 2024 by katat
1
Test monomorphized AST easy
#200 opened Oct 10, 2024 by katat
1
Support const attribute to custom type's field
#194 opened Sep 26, 2024 by katat
1
Support constant attribute for function variable discussion
#192 opened Sep 23, 2024 by katat
1
change the Symbolic::parse to a TryFrom<Expr> easy
#190 opened Sep 23, 2024 by katat
when to fold a constant variable discussion
#188 opened Sep 20, 2024 by katat
1
Add builtin function to return the size of a field discussion
#182 opened Sep 10, 2024 by katat
@katat
1
Support << left shift or >> right shift operator medium
#181 opened Sep 10, 2024 by katat
1
Ensure no generic function call within iterator loop easy
#177 opened Sep 2, 2024 by katat
document how match_expected is different from same_as easy
#166 opened Aug 23, 2024 by mimoo
2
enforce a new/check function for custom types? (to properly constrain them) discussion
#165 opened Aug 23, 2024 by mimoo
ProTip! Add no:assignee to see everything that’s not assigned.