Skip to content

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.

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

434 Open 5,521 Closed
434 Open 5,521 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

SMTChecker: Z3 in CHC engine incorrectly determines assertion as safe, when it should report possible violation bug 🐛 smt
#15255 opened Jul 10, 2024 by blishko
@blishko
Overflow operations are not detected when enabling via-ir compilation bug 🐛
#15249 opened Jul 8, 2024 by lum7na
Assembly exception for bytecode occurs when compiling with via-ir bug 🐛
#15248 opened Jul 8, 2024 by lum7na
Syntax fix for docs/index.rts documentation 📖
#15244 opened Jul 6, 2024 by aaronzshey
The unary " " in "((x) /= (2 % x)) (-y)" reports an error bug 🐛 low effort There is not much implementation work to be done. The task is very easy or tiny. medium impact Default level of impact selected for development It's on our short-term development
#15236 opened Jul 1, 2024 by haoyang9804
2
Detailed Errors Instead of Gas Error For Easy Debugging feature
#15235 opened Jul 1, 2024 by vidhanmangla
Higher optimize-runs parameter results in yul::StackTooDeepError bug 🐛
#15233 opened Jul 1, 2024 by lum7na
--userdoc and --devdoc are uknown options, solc bug 🐛
#15227 opened Jun 30, 2024 by hammersharkfish
A possible lack of warning for no-effect statement "x 2"; bug 🐛
#15222 opened Jun 26, 2024 by haoyang9804
solc --gas outputs nothing bug 🐛
#15219 opened Jun 25, 2024 by haoyang9804
2
Support for CodeSection type for linking externally written/compiled bytecode with EOF supported Solidity contracts. feature
#15211 opened Jun 21, 2024 by AmadiMichael
1
Consider changing linker on Linux from ld.gold to ld build system 🏗️ 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. 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.
#15199 opened Jun 14, 2024 by cameel
Update Z3 to 4.13.0 or later build system 🏗️ 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. must have Something we consider an essential part of Solidity 1.0. smt
#15198 opened Jun 14, 2024 by cameel
1
ICE in Z3Interface::fromZ3Expr() when running tests on Arch Linux bug 🐛 high impact Changes are very prominent and affect users or the project in a major way. low effort There is not much implementation work to be done. The task is very easy or tiny. must have Something we consider an essential part of Solidity 1.0. smt
#15196 opened Jun 12, 2024 by MariusVanDerWijden
8
[Yul EVM code transform] Stack too deep in standalone Yul test case bug 🐛
#15194 opened Jun 12, 2024 by bshastry
Redundant ISZERO and PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND in covertType bug 🐛
#15190 opened Jun 8, 2024 by molly-ting
Reuse optimized IR/bytecode for bytecode dependencies high impact Changes are very prominent and affect users or the project in a major way. medium effort Default level of effort must have Something we consider an essential part of Solidity 1.0. optimizer performance 🐎
#15179 opened Jun 4, 2024 by cameel
@cameel
Deduplicate bytecode dependencies used by both creation and deployed object 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. performance 🐎 should have We like the idea but it’s not important enough to be a part of the roadmap.
#15178 opened Jun 4, 2024 by cameel
2
Optimize resizeDynamicArray bug 🐛
#15176 opened Jun 4, 2024 by molly-ting
Redundant DUP1 and POP in CallValueCheck bug 🐛
#15165 opened May 31, 2024 by molly-ting
assignment to struct in array bug 🐛
#15164 opened May 30, 2024 by SvenMeyer
1
Function selectors from inherited interfaces are not visible in parent interface bug 🐛 low effort There is not much implementation work to be done. The task is very easy or tiny. medium impact Default level of impact should compile without error Error is reported even though it shouldn't. Source is fine.
#15157 opened May 28, 2024 by mnusurov
1
Declaring struct at null memory location feature
#15155 opened May 28, 2024 by zemse
Add abi.decodeCall reciprocal function of abi.encodeCall feature
#15154 opened May 28, 2024 by CedarMist
Member not unique after argument-dependent lookup, really ? bug 🐛
#15144 opened May 24, 2024 by Amxx
ProTip! Mix and match filters to narrow down what you’re looking for.