Prototype lightweight checkpointing (non-combinator approach)#453

Closed

amesgen wants to merge 6 commits intomainfrom amesgen/lightweight-checkpointing-non-comb

+125-27

Commits on Feb 29, 2024

Prototype lightweight checkpointing

amesgen
authored and
nbacquey
committed
Switch unlesses to whens

facundominguez
authored and
nbacquey
committed
Rename InvalidCheckpoint to CheckpointMismatch

facundominguez
authored and
nbacquey
committed
Add extra info to CheckpointMismatch

facundominguez
authored and
nbacquey
committed
Add a changelog fragment

facundominguez
authored and
nbacquey
committed
Post-rebase linting
nbacquey
committed