summaryrefslogtreecommitdiff
path: root/middle_end/inlining_decision_intf.mli
Commit message (Expand)AuthorAgeFilesLines
* Move some middle-end files around (#2281)Mark Shinwell2019-04-011-49/+0
* Update headers for the new license.Damien Doligez2016-02-181-2/+2
* 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/+47