chriseth 3f52ee43a8 Merge pull request #8581 from ethereum/immutableDebug ...

Debug information for immutable references.

2020-04-06 14:22:31 +02:00

..

analysis

Disallow external function pointers as immutables.

2020-04-03 11:56:51 +02:00

ast

Merge pull request #8592 from random-internet-cat/ast-visitor-constructor

2020-04-06 14:16:20 +02:00

codegen

Debug information for immutable references.

2020-04-06 10:56:42 +02:00

formal

Allow constructing symbolic arrays from smt sort

2020-04-06 10:50:00 +02:00

interface

Format immutable references similarly to link references.

2020-04-06 11:21:53 +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