summaryrefslogtreecommitdiff
path: root/middle_end/inline_and_simplify.ml
Commit message (Expand)AuthorAgeFilesLines
* Declare record type for flambda function parameters (#1028)Pierre Chambart2017-03-161-4/+4
* Fix fatal error when compiling objects with Flambda (#965)Mark Shinwell2017-02-151-0/+1
* Fix importing of missing set of closures bug (#1019)Pierre Chambart2017-02-151-15/+15
* Merge pull request #714 from chambart/lazy_warning_59Leo White2016-08-011-42/+58
|\
| * Reorganize switch handlingPierre Chambart2016-07-311-35/+32
| * Prevent warning 59 from triggering on Lazy of constantsPierre Chambart2016-07-311-21/+40
* | fix whitespace, long lines, headersDamien Doligez2016-08-011-1/+2
|/
* Optimize away string switch on constant stringsPierre Chambart2016-07-281-20/+35
* Apply review commentsPierre Chambart2016-07-251-12/+7
* Make meet call a bit lighterPierre Chambart2016-07-221-10/+5
* String switch and static catch returns better approximationsPierre Chambart2016-07-211-4/+14
* Apply really_import_approx in Simple_value_approx.meetPierre Chambart2016-07-211-3/+9
* Improve location handling in the middle end (version for merging) (#666)Mark Shinwell2016-07-061-2/+2
* typos ('middle_end' directory)Fourchaux2016-06-111-3/+3
* Make backtraces aware of inlining (#247)Frédéric Bour2016-05-251-0/+3
* Optimize away some intermediate immutable float recordsPierre Chambart2016-05-171-1/+1
* Array assignement primitive specialisation using the approximationPierre Chambart2016-04-121-2/+29
* Annotate Let_mutable with the kind of valuePierre Chambart2016-04-121-2/+7
* Attend to final Flambda CR comments for 4.03 releaseMark Shinwell2016-03-301-3/+0
* Flambda: restore correct simplification code for over-applicationsMark Shinwell2016-02-291-7/+1
* Merge pull request #480 from mshinwell/flambda_unbox-closuresMark Shinwell2016-02-261-187/+154
* Update headers for the new license.Damien Doligez2016-02-181-2/+2
* Tidy up new command-line parametersLeo White2016-02-111-4/+4
* Reformatting only (to the standards of tools/check-typo)Mark Shinwell2016-02-101-8/+11
* Addressing CR comments for FlambdaMark Shinwell2016-02-101-18/+16
* Support for unroll and and specialise attributesLeo White2016-02-101-12/+26
* Further Flambda fixesMark Shinwell2016-02-101-262/+230
* Import latest Flambda changesMark Shinwell2016-02-091-158/+332
* Fix small divergencesPierre Chambart2016-01-221-1/+1
* Add warning headers to flambda filesPierre Chambart2016-01-221-0/+2
* Further updates to middle_end/ onlyMark Shinwell2016-01-121-3/+8
* Update middle_end/ for recent changes from flambda_trunkMark Shinwell2016-01-121-2/+7
* Correct name of licenceMark Shinwell2016-01-051-1/+1
* New files for flambdaMark Shinwell2016-01-041-0/+1468