Skip to content

Issues: SRI-CSL/solidity

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

45 Open 115 Closed
45 Open 115 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

Foundings of solc-verify
#175 opened Dec 26, 2022 by vincenth1
Error when trying to verify a contract that uses tx.origin state variable
#174 opened Jun 8, 2022 by jcrreis
4
Support for encode function
#171 opened Sep 6, 2021 by dongyu123
Inheritance of specs in overloaded functions enhancement New feature or request
#155 opened Sep 13, 2020 by hajduakos
3
internal exception: Expected tuple as RHS bug Something isn't working
#152 opened Jul 24, 2020 by dddejan
Event tracking doesn't handle references bug Something isn't working events
#148 opened Jul 9, 2020 by dddejan
Issue with casting and verifier functions bug Something isn't working
#146 opened Jun 16, 2020 by dddejan
@hajduakos
5
Friendlier messages when implicit constructor cannot be created enhancement New feature or request
#137 opened Mar 9, 2020 by hajduakos
@hajduakos
2
support for addmod
#135 opened Jan 27, 2020 by dddejan
constructor calls with additional msg parameters bug Something isn't working
#132 opened Jan 22, 2020 by dddejan
call to undeclared procedure: address_0x... bug Something isn't working
#130 opened Jan 22, 2020 by dddejan
call to undeclared procedure: gasleft
#126 opened Jan 16, 2020 by dddejan
call to undeclared procedure: blockhash enhancement New feature or request
#125 opened Jan 16, 2020 by dddejan
strings not passed/returned/cast properly to/from functions/modifiers bug Something isn't working
#123 opened Jan 13, 2020 by dddejan
3
this.balance in Truffle bug Something isn't working
#122 opened Dec 24, 2019 by hajduakos
1
Require statement with constant string field
#120 opened Dec 3, 2019 by beillahi
2
Support for solidity global variables
#119 opened Dec 3, 2019 by beillahi
@dddejan
2
Internal call to contract selfdestruct
#118 opened Dec 3, 2019 by beillahi
1
Default value of return values enhancement New feature or request
#116 opened Nov 30, 2019 by hajduakos
@hajduakos
Side effects for default values enhancement New feature or request
#114 opened Nov 21, 2019 by hajduakos
@hajduakos
Support for delete of memory types enhancement New feature or request
#110 opened Oct 18, 2019 by dddejan
Default values for fixed size arrays enhancement New feature or request
#109 opened Oct 18, 2019 by dddejan
1
Support for relevant aspects of ecrecover enhancement New feature or request question Further information is requested
#105 opened Oct 17, 2019 by suhabe
1
Annotation for specifying reverts enhancement New feature or request question Further information is requested
#104 opened Oct 17, 2019 by suhabe
1
Deep copy of arrays enhancement New feature or request
#99 opened Oct 10, 2019 by dddejan
2
ProTip! Exclude everything labeled bug with -label:bug.