Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | globroots.ml | 2450 | logplain |
-rw-r--r-- | globroots_parallel.ml | 763 | logplain |
-rw-r--r-- | globroots_parallel.reference | 3 | logplain |
-rw-r--r-- | globroots_parallel_spawn_burn.ml | 1854 | logplain |
-rw-r--r-- | globroots_parallel_spawn_burn.reference | 3 | logplain |
-rw-r--r-- | globroots_sequential.ml | 1790 | logplain |
-rw-r--r-- | globroots_sequential.reference | 20040 | logplain |
-rw-r--r-- | globrootsprim.c | 3359 | logplain |