diff options
| author | Enrico Tassi | 2014-01-27 17:42:55 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-30 17:29:33 +0100 |
| commit | 0a61e18a60fe05b989c24f28c769c3b0cd296cf1 (patch) | |
| tree | fcbc7116840fa403ffc0671cc05711104a899907 /kernel/nativelambda.mli | |
| parent | 7516c468528c83593fe4094db35502bc2cda94f8 (diff) | |
STM: worker sends back to master the last valid state
So that the master process does not require to compute it.
Still not all valid states are sent back.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions