diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-12 16:40:32 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-17 15:05:04 +0100 |
commit | 433f0bc4e5110db09c770022b277c419f8b35f64 (patch) | |
tree | 12f881fa7bbc72783dc2be9e7df7c39b05a7bbc7 /stm/spawned.ml | |
parent | 5f2f22e7ff5d53e3258affa0e0e41666d5e0691d (diff) |
Summary: more surgery functions
API to let one forge a frozen state out of another frozen state
plus some frozen bits
Diffstat (limited to 'stm/spawned.ml')
0 files changed, 0 insertions, 0 deletions