swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Tip revision: d23100d28be7288611eeb474d98d624750a2c56b authored by Roberto Di Cosmo on 30 November 2017, 20:59:20 UTC
Merge pull request #69 from UnixJunkie/disable_core_pinning
Merge pull request #69 from UnixJunkie/disable_core_pinning
Tip revision: d23100d
| File | Mode | Size |
|---|---|---|
| example | ||
| m4 | ||
| tests | ||
| .depend | -rw-r--r-- | 159 bytes |
| .gitignore | -rw-r--r-- | 58 bytes |
| AUTHORS | -rw-r--r-- | 716 bytes |
| Changelog | -rw-r--r-- | 979 bytes |
| INSTALL | -rw-r--r-- | 194 bytes |
| LICENSE | -rw-r--r-- | 25.8 KB |
| META | -rw-r--r-- | 219 bytes |
| Makefile.in | -rw-r--r-- | 2.9 KB |
| Makefile_3.11.in | -rw-r--r-- | 2.3 KB |
| README | -rw-r--r-- | 6.3 KB |
| README.maintainer | -rw-r--r-- | 380 bytes |
| README.md | -rw-r--r-- | 6.2 KB |
| _oasis | -rw-r--r-- | 567 bytes |
| _tags | -rw-r--r-- | 216 bytes |
| bytearray.ml | -rw-r--r-- | 3.8 KB |
| bytearray.mli | -rw-r--r-- | 1.6 KB |
| bytearray_stubs.c | -rw-r--r-- | 2.1 KB |
| config.h.in | -rw-r--r-- | 1.8 KB |
| configure | -rwxr-xr-x | 197.2 KB |
| configure.ac | -rw-r--r-- | 945 bytes |
| libparmap_stubs.clib | -rw-r--r-- | 34 bytes |
| myocamlbuild.ml | -rw-r--r-- | 648 bytes |
| oasis_test.sh | -rwxr-xr-x | 148 bytes |
| opam | -rw-r--r-- | 716 bytes |
| parmap.ml | -rw-r--r-- | 24.2 KB |
| parmap.mldylib | -rw-r--r-- | 38 bytes |
| parmap.mli | -rw-r--r-- | 11.3 KB |
| parmap.mllib | -rw-r--r-- | 38 bytes |
| parmap.odocl | -rw-r--r-- | 7 bytes |
| parmap_utils.ml | -rw-r--r-- | 1.3 KB |
| parmap_utils.mli | -rw-r--r-- | 270 bytes |
| setcore.ml | -rw-r--r-- | 206 bytes |
| setcore_stubs.c | -rw-r--r-- | 1.7 KB |
README.md
Loading README.md ...
