Mentions légales du service

Skip to content

Checkpoints: stateful restore & repair `INS_IPC`

Théophile BASTIAN requested to merge tbastian/repair_ipc_load into master

This MR enables checkpoints to perform a stateful save/restore, not assuming anymore that checkpoint functions are pure. It also uses this mechanism to restore instructions' IPC, since they are class attributes.

Merge request reports