summaryrefslogtreecommitdiff
path: root/utils
Commit message (Expand)AuthorAgeFilesLines
* mergeMark Shinwell2015-11-301-1/+1
|\
| * Add support for [%ocaml.extension_constructor <path>]Jeremie Dimino2015-11-271-1/+1
* | per-round optimization paramsMark Shinwell2015-11-278-28/+224
* | add -drawclambda (pre-Un_anf); -dclambda is now post-Un_anfMark Shinwell2015-11-272-0/+2
* | remove newlineMark Shinwell2015-11-241-1/+1
* | Obj warningsMark Shinwell2015-11-191-1/+2
* | compiler flagsMark Shinwell2015-11-192-2/+5
* | merge with trunkMark Shinwell2015-11-195-5/+21
|\ \ | |/
| * simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/c...Damien Doligez2015-11-061-1/+0
| * Fix PR6998Leo White2015-11-042-4/+8
| * merge branches/gadt-warningsJacques Garrigue2015-10-234-4/+21
| |\
| | * switch to 'pat -> .' and add P/Texp_unreachablegadt-warningsJacques Garrigue2015-10-161-1/+1
| | * add distinct warning for unreachable casesJacques Garrigue2015-10-152-1/+8
| | * add refuted cases, syntax is 'pat -> _'Jacques Garrigue2015-10-152-0/+9
| * | GPR#173: Attributes to control inliningMark Shinwell2015-10-232-2/+21
| * | GPR#254: @ocaml.arg_on_literal_pattern attribute on constructorsAlain Frisch2015-10-152-2/+10
* | | Add optionnal dumping to unbox-closuresPierre Chambart2015-11-162-4/+4
* | | Clflags for dump-passes optionsPierre Chambart2015-11-162-0/+22
* | | import fix for GPR#261 (Mantis 6998)Mark Shinwell2015-11-162-4/+8
* | | augment the default inline_thresholdPierre Chambart2015-11-162-2/+5
* | | -max-inlining-depth; and don't change this depth when inlining a stubMark Shinwell2015-11-102-0/+2
* | | enable unbox_closures by defaultMark Shinwell2015-11-051-1/+1
* | | add -clambda-checksMark Shinwell2015-11-052-0/+2
* | | move -dflambda into optcomp args; add -dflambda-let=<stamp>Mark Shinwell2015-11-042-0/+2
* | | Reduce the agressiveness of inlining below conditionnalsPierre Chambart2015-11-032-0/+2
* | | Merge with inline_attribute branchMark Shinwell2015-10-222-11/+38
|\ \ \
| * | | finish merge with upstream trunkMark Shinwell2015-10-221-1/+3
| * | | merge with upstream trunkMark Shinwell2015-10-228-56/+254
| |\ \ \ | | |/ /
| * | | Typo Missplaced -> MisplacedPierre Chambart2015-04-272-5/+5
| * | | Inlining attribute on function application.Pierre Chambart2015-04-232-2/+9
| * | | Add a payload to the inline attribute to forbid inlinePierre Chambart2015-04-222-1/+6
| * | | warn on missplaced inline attributeThomas Refis2015-04-222-1/+7
* | | | Prevent timings from failing when compiling the same file multiple timesPierre Chambart2015-10-151-1/+3
* | | | Get opaque back to off by defaultPierre Chambart2015-10-081-3/+1
* | | | Temporarilly disable cross module inlining by defaultPierre Chambart2015-10-071-1/+3
* | | | re-enable Unbox_closures, with flag (default off)Mark Shinwell2015-09-162-0/+3
* | | | comment out problematic check, simplify fold_letsMark Shinwell2015-09-161-1/+3
* | | | Time regallocPierre Chambart2015-09-162-0/+3
* | | | Add timings for flambda passesPierre Chambart2015-09-162-9/+51
* | | | merge with upstream trunkMark Shinwell2015-09-142-8/+12
|\ \ \ \ | | |/ / | |/| |
| * | | whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-112-8/+12
* | | | merge with upstream trunkMark Shinwell2015-09-077-13/+197
|\ \ \ \ | |/ / /
| * | | Support [@unboxed] and [@untagged] attributesJérémie Dimino2015-08-251-5/+5
| * | | add option handling for colors in compiler, OCAMLPARAM and ocamlbuildGabriel Scherer2015-08-154-15/+18
| * | | add Color module MiscGabriel Scherer2015-08-152-0/+170
| * | | merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-174-8/+18
* | | | fix Semantics_of_primitivesMark Shinwell2015-09-071-1/+0
* | | | stuffMark Shinwell2015-09-071-1/+2
* | | | stuffMark Shinwell2015-09-071-19/+0
* | | | debuggingMark Shinwell2015-09-071-0/+19
View Lorry Controller Status