summaryrefslogtreecommitdiff
path: root/middle_end/remove_unused_arguments.ml
Commit message (Expand)AuthorAgeFilesLines
* Declare record type for flambda function parameters (#1028)Pierre Chambart2017-03-161-11/+17
* Improve location handling in the middle end (version for merging) (#666)Mark Shinwell2016-07-061-2/+1
* Remove_unused_arguments stub functions should not be specialisedPierre Chambart2016-03-151-2/+2
* Fix Unbox_closures to lessen runtime performance penaltyMark Shinwell2016-02-241-0/+3
* 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-2/+3
* Addressing CR comments for FlambdaMark Shinwell2016-02-101-4/+6
* Support for unroll and and specialise attributesLeo White2016-02-101-2/+3
* Import latest Flambda changesMark Shinwell2016-02-091-34/+67
* Add warning headers to flambda filesPierre Chambart2016-01-221-0/+2
* Update middle_end/ for recent changes from flambda_trunkMark Shinwell2016-01-121-3/+18
* Correct name of licenceMark Shinwell2016-01-051-1/+1
* New files for flambdaMark Shinwell2016-01-041-0/+174