summaryrefslogtreecommitdiff
path: root/asmcomp/cmmgen.mli
Commit message (Expand)AuthorAgeFilesLines
* Split cmmgen into generic cmm helpers and clambda-specific transformations (#...Vincent Laviron2019-10-041-17/+0
* Move some code from Asmgen to the middle end directory etc. (#2288)Mark Shinwell2019-05-101-5/+2
* Don't generate Clambda constants during Cmmgen, etc. (#2280)Mark Shinwell2019-03-051-0/+2
* Make (nat)dynlink soundMark Shinwell2018-11-121-2/+2
* Add option to dump the output of e.g. -dlambda in a file (#1913)sliquister2018-07-271-1/+2
* Spacetime: a new memory profiler (#585)Mark Shinwell2016-07-291-0/+2
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Add Clambda.preallocated_{block, constants} typesPierre Chambart2016-01-131-1/+5
* Change the representation of exception slots: instead of being represented as...Alain Frisch2013-10-231-1/+1
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* PR#5033: tools/objinfo made more general.Xavier Leroy2010-05-191-2/+2
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
* Add explicit references to external primitive symbols.Alain Frisch2008-01-311-0/+1
* Merge the natdynlink branch into HEAD.Alain Frisch2007-11-061-1/+4
* wrong branch... rollbackAlain Frisch2007-02-151-1/+1
* starting to implement native dynlink for UnixAlain Frisch2007-02-151-1/+1
* switch to new vtable representationJacques Garrigue2004-05-261-0/+1
* Pour l'option -pack, permettre de donner une interface explicite (via un .mli...Xavier Leroy2003-03-061-1/+0
* Ajout du packaging d'unites de compilation (option -pack)Xavier Leroy2002-02-081-0/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Support pour le Dynlink natif de Fabrice Le FessantXavier Leroy1998-11-201-0/+1
* Nouveau module Marshal dans stdlibXavier Leroy1997-07-021-0/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* proc_mips: as -nocppXavier Leroy1996-02-201-0/+1
* Modif. initialisation des structures toplevelXavier Leroy1996-02-181-1/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Production des exceptions predefinies par le linker natif.Xavier Leroy1995-07-181-0/+1
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-0/+9