Thu, 22 Feb 2024 15:06:16 +0100 | Raphaël Gomès | rust-index: improve phase computation speed | changeset | files |
Fri, 23 Feb 2024 06:37:25 +0100 | Pierre-Yves David | phases: directly update the phase sets in advanceboundary | changeset | files |
Fri, 23 Feb 2024 05:25:35 +0100 | Pierre-Yves David | phases: large rework of advance boundary | changeset | files |
Thu, 22 Feb 2024 19:21:14 +0100 | Pierre-Yves David | phases: apply similar early filtering to advanceboundary | changeset | files |
Wed, 21 Feb 2024 11:09:25 +0100 | Pierre-Yves David | phases: filter revision that are already in the right phase | changeset | files |
Wed, 21 Feb 2024 13:05:29 +0100 | Pierre-Yves David | phases: invalidate the phases set less often on retract boundary | changeset | files |
Wed, 21 Feb 2024 13:05:23 +0100 | Pierre-Yves David | phases: incrementally update the phase sets when reasonable | changeset | files |
Fri, 23 Feb 2024 00:01:33 +0100 | Pierre-Yves David | phasees: properly shallow caopy the phase sets dictionary | changeset | files |