summaryrefslogtreecommitdiff
path: root/driver/optcompile.ml
Commit message (Expand)AuthorAgeFilesLines
* Added lambda option to -stop-after comiler flag and logic to compile_common, ...Doug Smith2023-01-121-22/+33
* Remove unused labelsLeo White2021-03-221-2/+0
* Move typed_impl to Typedtree.tLeandro Ostera2020-11-051-2/+2
* Introduce typed_impl recordLeandro Ostera2020-11-051-6/+4
* Expose module signature when typing implementationLeandro Ostera2020-11-051-2/+4
* ability to restart compilation from .cmir-linear IR files Greta Yorsh2020-10-131-2/+11
* Move some code from Asmgen to the middle end directory etc. (#2288)Mark Shinwell2019-05-101-12/+21
* Move some middle-end files around (#2281)Mark Shinwell2019-04-011-4/+4
* Remove support for compiler plugins (#2276)Mark Shinwell2019-03-131-2/+2
* Compile_common: turn `init` into continuation-passing `with_info`Gabriel Scherer2019-01-051-6/+4
* Compile_common.init: make ppf_dump a labelled argumentGabriel Scherer2019-01-041-2/+2
* driver/compile_common: refactor interface/implementation entry pointsGabriel Scherer2019-01-041-9/+17
* driver: consistently use _ as word separatorGabriel Scherer2019-01-041-9/+9
* Compile_common.implementationValentin Gatien-Baron2018-08-041-17/+4
* compile_common: remove wrap_compilationGabriel Scherer2018-08-041-7/+15
* Add compile_common.ml which contains the basic compilation pipeline.Drup2018-07-271-124/+62
* Add option to dump the output of e.g. -dlambda in a file (#1913)sliquister2018-07-271-19/+23
* Implement reviewer suggestionsNicolás Ojeda Bär2018-07-251-62/+61
* Use reraise_raw_backtrace in Misc.try_finallyFrançois Bobot2018-07-251-8/+6
* remove redundant calls to simplify_signatureThomas Refis2018-07-251-1/+1
* Create warning 64, for uses of -unsafe with a -pp that returns a marshalled astValentin Gatien-Baron2018-07-151-2/+2
* PR#6416 et al.: injective mapping between identifiers and printed names (#1120)Florian Angeletti2018-06-261-1/+2
* Whitespace and overlong line fixes.David Allsopp2018-06-141-1/+2
* Fix MPR#7751 (#1657)Jacques Garrigue2018-03-271-1/+1
* generalize -dtimings to show allocation, top heap size (#1152)sliquister2017-06-091-8/+8
* display the output of -dtimings as a hierarchyValentin Gatien-Baron2017-03-071-99/+102
* making -dtimings include time spent typing mli'sValentin Gatien-Baron2017-02-011-18/+20
* Fix order of arguments with -cclib XXX (#761)Fabrice Le Fessant2016-12-141-4/+1
* fix whitespace, long lines, headersDamien Doligez2016-08-011-1/+2
* Add hooks on some compilation phasesFabrice Le Fessant2016-07-121-3/+3
* Also remove the forced dependency dummy code hack for closurePierre Chambart2016-07-081-4/+4
* Some cleanup to explicit transl_implementation_flambda return valuesPierre Chambart2016-07-081-4/+4
* Allow to force linking modules without generating dummy codePierre Chambart2016-07-081-4/+6
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Tidy up new command-line parametersLeo White2016-02-111-12/+2
* Make warning 59 less unhelpful (includes work by Runhang Li)Mark Shinwell2016-02-111-0/+1
* Reformatting only (to the standards of tools/check-typo)Mark Shinwell2016-02-101-1/+3
* Revert "PR#6475: accept -o in ocamlc when compiling C files"Damien Doligez2016-02-101-2/+1
* Import latest Flambda changesMark Shinwell2016-02-091-1/+3
* Enable flambdaPierre Chambart2016-01-281-12/+51
* use Timings.source_provenance in more placesThomas Refis2015-12-311-3/+3
* Rename type build_kind and sourcefile arguments to source_provenancePierre Chambart2015-12-181-1/+1
* Record the source file name being built in CompilenvPierre Chambart2015-12-181-1/+2
* Remove last use of Timining.start/stop in {opt,}compile.mlPierre Chambart2015-12-181-6/+6
* Avoid using Timings.start/stopPierre Chambart2015-12-181-6/+4
* Record compiler runtimePierre Chambart2015-12-181-1/+7
* Add module to deal with 'front-end' built-in attributes.alainfrisch2015-12-021-1/+1
* Keep deprecation flag on compilation unit, extracted from a floating attribut...alainfrisch2015-11-271-1/+2
* merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-171-11/+5
* minor: cut too-long linesGabriel Scherer2014-12-211-1/+2