chriseth c16b535804 Validate external functions from calldata.		2020-11-03 13:28:08 +01:00
..
analysis	Allow arrays of contract types as type expressions e.g. for abi.decode.	2020-10-16 19:40:41 +02:00
ast	Fix inherited state vars for BMC	2020-11-02 11:42:39 +00:00
codegen	Validate external functions from calldata.	2020-11-03 13:28:08 +01:00
formal	[SMTChecker] Fix internal error when array.push() is used as LHS of assignment	2020-11-02 13:32:53 +00:00
interface	Fix dependency tracking for abstract contracts for Yul codegen	2020-10-20 16:58:24 +02:00
parsing	Constants at file-level.	2020-10-08 18:56:17 +02:00
CMakeLists.txt	Move AsmJsonImporter from libsolidity to libyul	2020-10-29 14:06:34 +00:00