7 Commits

Author	SHA1	Message	Date
Massimo Fioravanti	742e1a0c56	TupleTree: switch from public fields to accessors	2022-12-12 18:36:57 +01:00
Alessandro Di Federico	974dd0c680	yield::Function: do not use efa::BasicBlock ... This change introduces some duplication but ensures an important property of `tuple_tree_generate`d: data structures: all the leaves are scalars. Previously, yield::Function was using efa::BasicBlock, making things more difficult under certain conditions. Specifically, we can rely on the fact that, when generating a visit to the TupleTree, we know everything about all non-scalars.	2022-12-09 10:11:27 +01:00
Massimo Fioravanti	14d71289fc	Minor changes	2022-08-10 09:49:16 +02:00
Alessandro Di Federico	6a6cd939db	Rework EarlyFunctionAnalysis	2022-08-08 13:55:34 +02:00
Alessandro Di Federico	c2f16b0907	Minor changes	2022-08-08 13:54:40 +02:00
Ivan Krysak	65d1a016d4	Standardize concept naming across the codebase	2022-08-05 17:27:56 +03:00
Ivan Krysak	49d0c316a0	Implement GenericGraph-based CFG exporter	2022-06-15 15:51:18 +03:00