chriseth 5e94fce7df Provide selector for some internal functions.		2021-03-01 16:19:59 +01:00
..
analysis	Fix call graph with respect to constants.	2021-02-25 16:00:53 +01:00
ast	Check that there is an interface type before querying validity of location.	2021-02-24 11:22:40 +01:00
codegen	Provide selector for some internal functions.	2021-03-01 16:19:59 +01:00
formal	Fix issue with pop on storage array.	2021-02-23 14:26:55 +01:00
interface	Remove IRGenerator::verifyCallGraphs and make generate() verify the graphs automatically	2021-02-23 10:47:02 +01:00
parsing	Properly parse address member.	2021-02-24 16:44:16 +01:00
CMakeLists.txt	Move CallGraph structure to a separate module	2021-02-23 10:47:02 +01:00