3 Commits

Author	SHA1	Message	Date
Massimo Fioravanti	f11ed394d1	Rework yield and efa cross relations ... Yield and efa shared the same namespace, this commits splits them and introduces tuple tree containers as well.	2023-01-31 10:48:30 +01:00
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