diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-16 18:23:44 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-17 15:05:05 +0100 |
| commit | 4618ab9961fc196a1f1912ed1b6b140eb8b4d407 (patch) | |
| tree | 2c04f9ea402d8b65a072e0e6d1b6fc86f5fa0dbe /checker/environ.mli | |
| parent | 77472779450b218711aa7024feafc19054371eaa (diff) | |
AsyncTaskQueue: simpler model (no parking area, continuation tasks)
Diffstat (limited to 'checker/environ.mli')
0 files changed, 0 insertions, 0 deletions