/chump

A formally verified implementation of undo checkpointing.

Primary LanguageCoq

Chump

Chump is an Imp-like language featuring undo checkpointing.