| 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 |
