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