bfdf714 | Roberto Di Cosmo | 18 August 2011, 10:13:20 UTC | Fixed various type issues. | 18 August 2011, 10:13:20 UTC |
5919da5 | Roberto Di Cosmo | 17 August 2011, 19:54:22 UTC | Fixed missing dependency in META file, thanks to a report from Ashish | 17 August 2011, 19:54:22 UTC |
3360634 | Roberto Di Cosmo | 17 August 2011, 17:02:34 UTC | Export parfold and parmapfold | 17 August 2011, 17:02:34 UTC |
304cbad | Roberto Di Cosmo | 11 August 2011, 15:50:32 UTC | Added documentation files. | 16 August 2011, 16:40:23 UTC |
79d9d17 | Roberto Di Cosmo | 06 August 2011, 10:28:50 UTC | first version implementing parmap, parfold, and parmapfold, the first two as special cases for the last one. | 16 August 2011, 16:40:23 UTC |
046c355 | Roberto Di Cosmo | 16 August 2011, 16:38:48 UTC | Inverted order of loop to avoid using List.rev | 16 August 2011, 16:40:23 UTC |
73084ea | Roberto Di Cosmo | 29 July 2011, 20:13:57 UTC | First stable version of the library, stand-alone, defunctorised, with two examples. | 16 August 2011, 16:40:15 UTC |
aaed3b0 | Roberto Di Cosmo | 29 July 2011, 07:44:39 UTC | Added .gitignore | 29 July 2011, 12:49:56 UTC |
7d7774e | Roberto Di Cosmo | 28 July 2011, 15:07:21 UTC | Cleaned up the code, and adjusted the size of the mmap to the size of the file. | 28 July 2011, 15:07:21 UTC |
7fbaa70 | Roberto Di Cosmo | 20 July 2011, 21:38:38 UTC | Cleaned up code for mmap using BigArray | 20 July 2011, 21:38:38 UTC |
f99eb4e | Roberto Di Cosmo | 19 July 2011, 15:13:03 UTC | stable version with exact copy of the string of the shared mmapped file obtained via a pipe | 19 July 2011, 15:13:03 UTC |
04c74f0 | Roberto Di Cosmo | 19 July 2011, 14:36:04 UTC | Version with shared mmapped file and exact string copy using size passed in a pipe | 19 July 2011, 14:36:04 UTC |
7bf19cb | Roberto Di Cosmo | 19 July 2011, 13:46:02 UTC | Trying to get the size of the Marshal buffer ... | 19 July 2011, 13:46:02 UTC |
ed4d937 | Roberto Di Cosmo | 19 July 2011, 10:20:44 UTC | First working version with file interface: no significant gain w.r.t. the pipes on big data structures. | 19 July 2011, 10:20:44 UTC |
fdc77b1 | Roberto Di Cosmo | 19 July 2011, 09:44:50 UTC | Stable version with pipes, but inefficient on big data structure: saving state before trying a different strategy. | 19 July 2011, 09:44:50 UTC |
25b4052 | Roberto Di Cosmo | 18 July 2011, 15:32:28 UTC | Fixed upper bound in iterations for lat chunk. | 18 July 2011, 15:32:28 UTC |
d4e231b | Roberto Di Cosmo | 18 July 2011, 15:28:51 UTC | First working version using only one level for communication (OCaml channels). Before removing debugging output. | 18 July 2011, 15:28:51 UTC |
f61a98d | Roberto Di Cosmo | 18 July 2011, 15:24:15 UTC | First working version: we had forgotten to flush the output channel! | 18 July 2011, 15:24:15 UTC |
a1e0fc4 | Roberto Di Cosmo | 18 July 2011, 14:53:54 UTC | initial version (does not work) | 18 July 2011, 14:53:54 UTC |