Skip to content
GitLab
Explore
Sign in
verimag
synchrone
lutin
Repository
lutin
lutin
src
lutExe.ml
Find file
Blame
History
Permalink
New: RdbgPlugin.t and Event.t now have now some save_state/restore_state functions.
· 43c4caa9
erwan
authored
Apr 10, 2019
Rationale: a step to make time traveling work correctly.
43c4caa9