Revision - ed4d937 - First working version with file interface: no significant gain [...]

Revision ed4d937b4c55753ce0cf8731e647a6c57ea0c668 authored by Roberto Di Cosmo on 19 July 2011, 10:20:44 UTC, committed by Roberto Di Cosmo on 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.

1 parent fdc77b1

Files
Changes

Permalinks

File	Mode	Size
_tags	-rw-r--r--	26 bytes
parmap.ml	-rw-r--r--	2.8 KB

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

Computing file changes ...