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