| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix MPR#7259 by implementing switch branch sharing for flambda (#603) | Pierre Chambart | 2017-08-09 | 1 | -4/+0 |
| * | Declare record type for flambda function parameters (#1028) | Pierre Chambart | 2017-03-16 | 1 | -1/+1 |
| * | Fix PR#7291 | Pierre Chambart | 2016-12-14 | 1 | -0/+15 |
| * | Merge pull request #480 from mshinwell/flambda_unbox-closures | Mark Shinwell | 2016-02-26 | 1 | -0/+1 |
| * | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -2/+2 |
| * | Import latest Flambda changes | Mark Shinwell | 2016-02-09 | 1 | -2/+18 |
| * | 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/+197 |
