summaryrefslogtreecommitdiff
path: root/middle_end/flambda_utils.mli
Commit message (Expand)AuthorAgeFilesLines
* Fix MPR#7259 by implementing switch branch sharing for flambda (#603)Pierre Chambart2017-08-091-4/+0
* Declare record type for flambda function parameters (#1028)Pierre Chambart2017-03-161-1/+1
* Fix PR#7291Pierre Chambart2016-12-141-0/+15
* Merge pull request #480 from mshinwell/flambda_unbox-closuresMark Shinwell2016-02-261-0/+1
* Update headers for the new license.Damien Doligez2016-02-181-2/+2
* Import latest Flambda changesMark Shinwell2016-02-091-2/+18
* Add warning headers to flambda filesPierre Chambart2016-01-221-0/+2
* Correct name of licenceMark Shinwell2016-01-051-1/+1
* New files for flambdaMark Shinwell2016-01-041-0/+197