Files
Andrea Gussoni 646ad4f97a GenericRegion: improve Head election
The `Head` election now works in a bottom-up fashion (child regions are
processed before the parent ones), and ensures that the `Head` election
process is coherent across multiple nested regions.
This means that:
1) The late entries are coherent between the nested regions. If a node
   is selected as a late entry for a region, the parent region must
   follow this decision too.
2) If a node which is a `Head` candidate for a parent region, is
   selected as the `Head` for a child region, the same choice must be
   performed for the parent region too.
2025-12-03 16:37:17 +01:00
..
2024-11-21 10:50:55 +01:00
2025-06-26 09:34:26 +02:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2024-02-29 17:03:36 +01:00
2024-11-21 10:50:55 +01:00
2024-11-21 10:50:55 +01:00
2025-10-08 12:22:30 +03:00
2024-02-29 17:03:36 +01:00
2024-02-29 17:03:36 +01:00
2024-02-29 17:03:36 +01:00
2024-02-29 17:03:36 +01:00