swh:1:snp:78209702559384ee1b5586df13eca84a5123aa82
Tip revision: 072b23193d6c97828aef9216f9952b068b32dc39 authored by Roberto Di Cosmo on 29 July 2011, 20:32:49 UTC
Merged, modularised code allowing to use Mmap or BigArray
Merged, modularised code allowing to use Mmap or BigArray
Tip revision: 072b231
File | Mode | Size |
---|---|---|
example | ||
.depend | -rw-r--r-- | 105 bytes |
.gitignore | -rw-r--r-- | 15 bytes |
LICENSE | -rw-r--r-- | 30.4 KB |
META | -rw-r--r-- | 176 bytes |
Makefile | -rw-r--r-- | 1.1 KB |
_tags | -rw-r--r-- | 26 bytes |
parmap.ml | -rw-r--r-- | 5.0 KB |
parmap.mli | -rw-r--r-- | 1.0 KB |
util.ml | -rw-r--r-- | 7.2 KB |