Djordje Mijovic 9b8634f2a7 [Sol->Yul] Skipping mapping types when deleting structs and arrays.		2020-12-21 13:19:25 +01:00
..
analysis	Report meaningful error if parsing a version pragma failed	2020-12-18 11:50:37 +00:00
ast	Disallow some explicit conversions to address payable	2020-12-15 15:01:40 +01:00
codegen	[Sol->Yul] Skipping mapping types when deleting structs and arrays.	2020-12-21 13:19:25 +01:00
formal	[SMTChecker] Replace constants by their value in-place	2020-12-18 14:22:28 +01:00
interface	Output runtime object in IR	2020-12-16 19:23:10 +00:00
parsing	Report meaningful error if parsing a version pragma failed	2020-12-18 11:50:37 +00:00
CMakeLists.txt	Enable the -Wconversion warning	2020-12-08 16:45:24 +00:00