Djordje Mijovic 9f747efb2d Using auto to avoid duplication of type name in same line in few places.

2020-12-09 17:20:05 +01:00

..

analysis

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00

ast

Report warning if contract uses abicoder v1, but IR is requested

2020-12-09 01:20:58 +00:00

codegen

Using auto to avoid duplication of type name in same line in few places.

2020-12-09 17:20:05 +01:00

formal

Do not run SMTChecker when file level functions/constants are present.

2020-12-09 12:18:55 +01:00

interface

Move standard-json "modelCheckerSettings" key to "settings.modelChecker".

2020-12-09 15:53:32 +01:00

parsing

Rename AsmData -> AST

2020-11-25 17:58:02 +00:00

CMakeLists.txt

Enable the -Wconversion warning

2020-12-08 16:45:24 +00:00