Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove unnecesary executable bit from sources | David Allsopp | 2019-02-27 | 1 | -0/+0 |
* | typos ('middle_end' directory) | Fourchaux | 2016-06-11 | 1 | -1/+1 |
* | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -2/+2 |
* | Add warning headers to flambda files | Pierre Chambart | 2016-01-22 | 1 | -0/+2 |
* | Correct name of licence | Mark Shinwell | 2016-01-05 | 1 | -1/+1 |
* | New files for flambda | Mark Shinwell | 2016-01-04 | 1 | -0/+45 |