argotorg/solidity

Solidity 0.8.37 Released

Solidity contracts built with `--via-ir` ALWAYS use a linear selector dispatch, so best to avoid `--via-ir` for contracts with many methods, or to reduce the number of methods when `--via-ir` is…

Evaluation order is unspecified, as per: So it's not a via-ir vs. no-via-ir. It's unspecified. For example, signed integer overflow during arithmetic computations produces undefined behavior in C.…

Found a parser gap in Solidity: pragma abicoder and pragma experimental silently accept string/unicode/hex literals where only identifiers are documented. `pragma abicoder hex"7631"; == pragma…

Solc had SMT checker built in since an eternity ago but no one really bothered to use it The tricky bit about formal verification is that systems explode in complexity quite quickly Sane heuristics…