solidity
solidity copied to clipboard
ethereum
Solidity, the Smart Contract Programming Language
Under development, don't review yet. - [x] CLI - [x] Standard JSON - [x] Forbid --experimental with --standard-json - [x] Pragmas - [ ] Docs? - [ ] Changelog -...
Continuation of **PR #14167** by @k06a Fixes #14157 Add more required tests. Use original struct name for aliased name struct in different paths. Support recursive structs in dynamic arrays as...
This only replaces if statements with a single assignment in them, as multi-assignment replacement is more expensive than just having the branch. An expansion to this idea would be to...
As suggested here: https://github.com/argotorg/solidity/pull/16253#issuecomment-3406269159. This PR replaces our current code-style setup by a github action. After merging we can completely remove the need of a bot account and remove the...
remove the redundant `? true : false` ternary when creating the SMT expression for boolean literals, keep the resulting expression identical while making the intent clearer
`transfer` is deprecated and will be removed in the next breaking release. depends on #16174.
Depends on #16319. This PR puts in to practice what we signaled earlier in [[Deprecation feedback] Niche distribution channels for compiler binaries](https://forum.soliditylang.org/t/deprecation-feedback-niche-distribution-channels-for-compiler-binaries/3385). We are dropping PPAs (moved to #16319) and...
Summary This issue proposes adding a small but provably-safe peephole optimization to the Solidity EVM backend. The optimization rewrites the common function selector guard (checking for CALLDATASIZE ≥ 4) into...
This PR introduces a new differential fuzzer for the new codegen pipeline. It compares the bytecode generated by the Via-IR and SSA CFG pipelines using HEVM. Still working in progress...
I think it is critical issue, we need to fix it out
