chriseth 00c8fc73ad Re-organize EVM object names.

2020-09-15 11:29:10 +02:00

..

analysis

Move collision warnings to StaticAnalyzer

2020-09-14 02:52:00 +02:00

ast

Unify collision warnings

2020-09-14 02:17:53 +02:00

codegen

Store optimized code if optimizer is activated.

2020-09-15 11:22:41 +02:00

formal

Merge pull request #9731 from ethereum/smt_import

2020-09-12 00:56:04 +02:00

interface

Re-organize EVM object names.

2020-09-15 11:29:10 +02:00

parsing

Merge pull request #9649 from a3d4/improve-error-coverage-erorrecovery

2020-08-31 18:33:19 +02:00

CMakeLists.txt

Assign scopes as a separate step.

2020-09-02 20:45:33 +02:00