-
Notifications
You must be signed in to change notification settings - Fork 5.6k
Issues: ethereum/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.
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
Issues list
[SMTChecker] Bug: Inconsistent Storage Array Bytes Writing
bug 🐛
smt
#15158
by sallywang147
was closed May 29, 2024
Identified potential issues in the current implementation of the Solidity command-line compiler.
bug 🐛
#15147
by AlexMercer00
was closed May 26, 2024
SMTChecker: Unable to support ripemd160, sha256 well
bug 🐛
#15143
by Subway2023
was closed May 27, 2024
Comparing function pointers may yield unpredictable results
bug 🐛
#15129
by yantao0527
was closed May 23, 2024
Add EVM Version Prague
low effort
There is not much implementation work to be done. The task is very easy or tiny.
low impact
Changes are not very noticeable or potential benefits are limited.
selected for development
It's on our short-term development
abi.decode error because of the Invalid opcode MCOPY in cancun
#15099
by alexanderhawl
was closed May 15, 2024
AST import cause memory difference with metadata-hash
bug 🐛
#15091
by Subway2023
was closed May 13, 2024
Segmentation fault when assigning to a parenthesized non-tuple expression of a tuple type
bug 🐛
low effort
There is not much implementation work to be done. The task is very easy or tiny.
low impact
Changes are not very noticeable or potential benefits are limited.
should report better error
Error is just badly reported. Should be a proper type error - source is not fine.
#15075
by Subway2023
was closed May 14, 2024
Single return works but Multiple return fails outside a function
#15038
by sebastiantf
was closed Apr 22, 2024
There is a place to initialize immutable parameters in the UpgradeableProxy type contract.
bug 🐛
#15029
by iteyelmp
was closed Apr 16, 2024
SMTChecker: Unable to accurately determine the correctness of operations following assembly code
smt
#15019
by Subway2023
was closed Apr 17, 2024
SMTChecker: Unable to accurately determine the modification of global variables by functions called using call()
smt
#15018
by Subway2023
was closed Apr 29, 2024
SMTChecker is unable to accurately determine the output of abi.decoder
smt
#15017
by Subway2023
was closed Apr 29, 2024
SMTChecker: Unable to accurately determine the value of an empty array
smt
#15016
by Subway2023
was closed Apr 17, 2024
SMTChecker: Incorrectly determines insufficient balance.
needs investigation
nice to have
We don’t see a good reason not to have it but won’t go out of our way to implement it.
smt
#15015
by Subway2023
was closed May 14, 2024
SMTChecker: Unable to accurately describe the balance
smt
#15014
by Subway2023
was closed May 8, 2024
SMTChecker: Unable to correctly determine the return value of a function-type variable call.
smt
#15013
by Subway2023
was closed Apr 25, 2024
SMTChecker: Unable to determine the return value of the function
smt
#15012
by Subway2023
was closed Apr 23, 2024
SMTChecker: Unable to correctly determine the result of function pointer comparison
smt
#15011
by Subway2023
was closed Apr 25, 2024
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.