Wed, 21 Feb 2024 11:09:25 +0100 Pierre-Yves David phases: filter revision that are already in the right phase
Wed, 21 Feb 2024 13:05:29 +0100 Pierre-Yves David phases: invalidate the phases set less often on retract boundary
Wed, 21 Feb 2024 13:05:23 +0100 Pierre-Yves David phases: incrementally update the phase sets when reasonable
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip