summaryrefslogtreecommitdiff
path: root/middle_end/flambda.mli
Commit message (Expand)AuthorAgeFilesLines
* Declare record type for flambda function parameters (#1028)Pierre Chambart2017-03-161-2/+2
* Fix importing of missing set of closures bug (#1019)Pierre Chambart2017-02-151-0/+6
* typos ('middle_end' directory)Fourchaux2016-06-111-2/+2
* Annotate Let_mutable with the kind of valuePierre Chambart2016-04-121-1/+8
* Attend to final Flambda CR comments for 4.03 releaseMark Shinwell2016-03-301-14/+23
* Merge pull request #480 from mshinwell/flambda_unbox-closuresMark Shinwell2016-02-261-0/+8
* Update headers for the new license.Damien Doligez2016-02-181-2/+2
* Reformatting only (to the standards of tools/check-typo)Mark Shinwell2016-02-101-3/+4
* Addressing CR comments for FlambdaMark Shinwell2016-02-101-7/+10
* Support for unroll and and specialise attributesLeo White2016-02-101-0/+6
* Import latest Flambda changesMark Shinwell2016-02-091-31/+51
* Enable flambdaPierre Chambart2016-01-281-2/+1
* Add warning headers to flambda filesPierre Chambart2016-01-221-0/+2
* Update middle_end/ for recent changes from flambda_trunkMark Shinwell2016-01-121-0/+2
* Correct name of licenceMark Shinwell2016-01-051-1/+1
* New files for flambdaMark Shinwell2016-01-041-0/+599