An error occurred while fetching folder content.
Select Git revision
checkpointing
-
-
- Open in your IDE
- Download source code
- Download this directory
Stéphane Del Pino authored
This happens when manually changing the resuming checkpoint. Let n be the number of the last checkpoint and i be the number of the resuming checkpoint. If i!=n, then the checkpoints i+1, i+2, ... and n are removed when one writes the checkpoint i+1.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||