Revision - 647530e - New feature: preserve order after parmap execution even when [...]

Revision 647530ec5027ccf2059c94a3885729b4312309c5 authored by Roberto Di Cosmo on 28 December 2020, 12:07:13 UTC, committed by Roberto Di Cosmo on 28 December 2020, 12:07:13 UTC

New feature: preserve order after parmap execution even when using load balancing

1 parent a674bf5

Files
Changes

Permalinks

File	Mode	Size
discover.ml	-rw-r--r--	1.3 KB
dune	-rw-r--r--	61 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...