summaryrefslogtreecommitdiff
path: root/middle_end/inlining_cost.ml
Commit message (Expand)AuthorAgeFilesLines
* Distinguish root and heap values in Lambda.initialization (#673)Frédéric Bour2016-12-271-2/+2
* add needed lambda IR for safe stringHongbo Zhang2016-08-071-1/+3
* Annotate Let_mutable with the kind of valuePierre Chambart2016-04-121-1/+1
* Attend to final Flambda CR comments for 4.03 releaseMark Shinwell2016-03-301-1/+2
* Correct erroneous commentMark Shinwell2016-03-021-10/+10
* Flambda: do not forget the default case when measuring the size of SwitchMark Shinwell2016-02-291-1/+2
* 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
* Tidy up new command-line parametersLeo White2016-02-111-7/+7
* Reformatting only (to the standards of tools/check-typo)Mark Shinwell2016-02-101-9/+16
* Addressing CR comments for FlambdaMark Shinwell2016-02-101-9/+16
* Import latest Flambda changesMark Shinwell2016-02-091-0/+24
* Add warning headers to flambda filesPierre Chambart2016-01-221-0/+2
* Update middle_end/ for recent changes from flambda_trunkMark Shinwell2016-01-121-33/+147
* Correct name of licenceMark Shinwell2016-01-051-1/+1
* New files for flambdaMark Shinwell2016-01-041-0/+527