Kamil Śliwak 33ff79bf82 Add missing checks for parameter compatibilty with ABIEncoderV1 in calls

2020-10-06 21:28:46 +02:00

..

analysis

Add missing checks for parameter compatibilty with ABIEncoderV1 in calls

2020-10-06 21:28:46 +02:00

ast

Stop after parsing.

2020-09-30 16:57:49 +02:00

codegen

[Sol->Yul] Implementing push for nested storage arrays and storage arrays of structs.

2020-10-06 13:06:40 +02:00

formal

[SMTChecker] Support type conversions

2020-10-02 10:26:02 +02:00

interface

Remove unneeded assert

2020-10-05 13:01:11 +02:00

parsing

Make isStateVariable regular scope check.

2020-09-28 19:31:54 +02:00

CMakeLists.txt

Support array slices

2020-10-01 11:52:02 +02:00