chriseth 216fca5b70 Merge pull request #8578 from ethereum/interface-function-modifier-error ...

Added error for interface functions that have modifiers; test case

2020-04-02 18:05:32 +02:00

..

analysis

Added error for interface function with modifiers; test case

2020-04-02 20:30:43 +05:30

ast

Zero initialize memory arrays

2020-04-02 15:55:18 +02:00

codegen

Zero initialize memory arrays

2020-04-02 15:55:18 +02:00

formal

[SMTChecker] Add SortProvider

2020-03-26 14:55:54 +01:00

interface

Validate immutable variables

2020-04-02 13:52:27 +02:00

parsing

Parsing of immutable state variable.

2020-03-12 17:11:24 +01:00

CMakeLists.txt

Validate immutable variables

2020-04-02 13:52:27 +02:00