Top solidity issues

[SMTChecker] SMT logic error during analysis: throw in static solidity::smtutil::Expression solidity::smtutil::Expression::int2bv(solidity::smtutil::Expression, size_t)

bug
agroce picture agroce·2 Jun 2020·2 Comments

Disallow override for non-public state variables.

bug
ddeclerck picture ddeclerck·29 May 2020·3 Comments

ICE in the CSE optimizer

bug
agroce picture agroce·10 Feb 2020·18 Comments

Fix solc-bin upload script and rename 0.5.14 to full commit hash.

bug
ekpyron picture ekpyron·10 Jan 2020·13 Comments

Passing calldata to memory modifier

bug
emilbayes picture emilbayes·9 Dec 2019·13 Comments

ImportDirective symbolAliases are not pointing to external nodes

bug
blitz-1306 picture blitz-1306·20 Nov 2019·1 Comments

brew install solidity@4 fails with Error 2 (has no symbols)

bug
hu55a1n1 picture hu55a1n1·10 Oct 2019·13 Comments

The function dev::test::Option::get() should be avoided

bug
chriseth picture chriseth·16 Jul 2019·12 Comments

SMTChecker throws InternalCompilerError

bug
elenadimitrova picture elenadimitrova·26 Jun 2019·4 Comments

[abi coder v2] mismatch between coded and actual value

bug
bshastry picture bshastry·25 Jun 2019·3 Comments
 Previous issues
Next issues