summaryrefslogtreecommitdiff
path: root/Compflags
Commit message (Collapse)AuthorAgeFilesLines
* per-round optimization paramsMark Shinwell2015-11-271-0/+1
|
* export infoMark Shinwell2015-08-281-0/+1
|
* export stuffMark Shinwell2015-08-271-1/+1
|
* export stuffMark Shinwell2015-08-271-2/+1
|
* Closure_offsetsMark Shinwell2015-08-261-2/+2
|
* clambdagenMark Shinwell2015-08-251-1/+1
|
* Comment everything to get almost to a building statePierre Chambart2015-08-181-0/+1
|
* stuffMark Shinwell2015-07-231-1/+2
|
* export info stuff, remove debug statementsMark Shinwell2015-07-231-0/+1
|
* Lifted_flambda_utilsPierre Chambart2015-07-171-0/+1
|
* Type annotations to make un-anf build with strict optionsPierre Chambart2015-07-171-0/+1
|
* Closure_offsetsPierre Chambart2015-07-171-0/+1
|
* lift_constantsPierre Chambart2015-07-151-0/+1
|
* Lift_constantsPierre Chambart2015-07-151-0/+1
|
* Flambda_invariantsMark Shinwell2015-07-101-0/+7
|
* compilationMark Shinwell2015-07-081-1/+2
|
* fix stupid error, deficiency in Compflags and some search/replace falloutMark Shinwell2015-06-191-45/+2
|
* tighten up warnings for Flambda even more; banish 'open' from the asmcomp ↵Mark Shinwell2015-06-191-7/+6
| | | | Flambda passes
* enable -principal for Flambda source files, continuedMark Shinwell2015-06-191-9/+34
|
* enable -principal for Flambda source filesMark Shinwell2015-06-191-1/+1
|
* Create the middle_end/ directoryMark Shinwell2015-06-181-23/+23
|
* add CompflagsMark Shinwell2015-06-171-0/+47