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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Include "review checklist" as part of security considerations
documentation 📖
#11300
opened Apr 23, 2021 by
axic
[SMTChecker] Map out of key exception in CHC.cpp
bug 🐛
fuzz-blocker
#11280
opened Apr 21, 2021 by
bshastry
Investigate InvalidDeposit error during code transform (instead of StackTooDeep).
#11260
opened Apr 15, 2021 by
ekpyron
Allow nonpayable implementation of payable function from interface
#11253
opened Apr 13, 2021 by
frangio
Consider not computing the revert message if revert condition is not met
#11201
opened Mar 31, 2021 by
Amxx
The enum members are missing announced referencedDeclaration property in AST
#11195
opened Mar 31, 2021 by
blitz-1306
Make the formal specification of the ABI encoding easier to understand
documentation 📖
#11191
opened Mar 29, 2021 by
cameel
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.

