Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove Spacetime | Nicolás Ojeda Bär | 2020-10-08 | 1 | -1/+1 |
* | Rewrite the instrumented runtime to store traces in the CTF format. | Enguerrand Decorne | 2020-04-30 | 1 | -1/+2 |
* | Run whole of gen_primitives.sh with LC_ALL=C | David Allsopp | 2019-09-26 | 1 | -1/+4 |
* | Improve shell scripts (#1690) | zapashcanon | 2019-06-19 | 1 | -1/+1 |
* | Statistical memory profiling of blocks allocated in the major heap. | Jacques-Henri Jourdan | 2019-05-09 | 1 | -2/+2 |
* | fix PR#2146 (#2149) | Damien Doligez | 2018-11-16 | 1 | -2/+2 |
* | Make a few int64 primitives use [@@unboxed] stubs on 32bits (#2146) | Jérémie Dimino | 2018-11-13 | 1 | -1/+3 |
* | downgrade two shell scripts from 'bash' to 'sh' | Gabriel Scherer | 2018-10-16 | 1 | -1/+1 |
* | shebangs: use `/usr/bin/env bash` instead of `/bin/bash` for BSD compat | Gabriel Scherer | 2018-10-16 | 1 | -1/+1 |
* | Provide a way to build the bytecode compiler using Dune (#2093) | Thomas Refis | 2018-10-10 | 1 | -0/+28 |