Mathias L. Baumann 69a596b0ff Merge pull request #9418 from ethereum/stateMutForOverride ... Issue state mutability restriction for overriding and not for virtual functions.		2020-07-20 15:01:25 +02:00
..
analysis	Merge pull request #9418 from ethereum/stateMutForOverride	2020-07-20 15:01:25 +02:00
ast	Merge pull request #9432 from ethereum/develop	2020-07-16 17:14:45 +02:00
codegen	Merge pull request #9432 from ethereum/develop	2020-07-16 17:14:45 +02:00
formal	Fix ICE when bitwise operator on fixed bytes	2020-07-15 19:32:15 +02:00
interface	Merge remote-tracking branch 'origin/develop' into breaking	2020-07-08 09:37:14 +02:00
parsing	Removed specialized errors related to constant state mutability	2020-07-14 12:42:47 +05:30
CMakeLists.txt	Create libsmtutil	2020-05-20 12:55:18 +02:00