3 Commits

Author	SHA1	Message	Date
Ivan Krysak	7d235f4fd0	Enforce licence header consistency ... Also do some basic cleanup: capitalize first letters, add `.` at the end of the sentences, and so on.	2023-07-03 15:23:10 +00: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