diff options
| author | Pierre-Marie Pédrot | 2019-05-03 00:38:25 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-05-11 12:43:22 +0200 |
| commit | ec6c11c67a01122f52f615691f120bde9da9a61e (patch) | |
| tree | 16bcbe751040f6b87ca1b2b5679e9eabab63125d /stm/asyncTaskQueue.ml | |
| parent | 3c6ed7485293c7eb80f9c4d415af0ee0b977f157 (diff) | |
Introducing a local flag to hypothesis conversion function.
If the reduction function is known not to depend on the named context,
then we can perform it in parallel on the various variables.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
0 files changed, 0 insertions, 0 deletions