summaryrefslogtreecommitdiff
path: root/asmcomp/cmm.mli
Commit message (Expand)AuthorAgeFilesLines
* be explicit when constructing integers that are block headersMark Shinwell2014-03-171-0/+1
* Perform constant optimizations for integer division and modulus on the C-- le...Benedikt Meurer2013-11-191-1/+1
* Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-141-1/+1
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* PR#5487: addition of CFI directives and a few filename/linenumber info to gen...Xavier Leroy2012-02-211-1/+2
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* clean up spaces and tabsDamien Doligez2010-01-221-1/+0
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-4/+4
* Introduction et utilisation de Cglobal_symbol pour declarer explicitement les...Xavier Leroy2002-11-241-0/+1
* or-pat avec variables et compil du switchLuc Maranget2000-10-021-2/+2
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-111-2/+2
* Retour de Cconst_pointer et ajout de Cconst_natpointer (necessaires pour un b...Xavier Leroy2000-03-171-0/+2
* Suppression de Cconst_pointer, redondantXavier Leroy2000-03-121-1/+0
* Introduction de Double_u (doubles alignes sur un mot) par opposition a Double...Xavier Leroy2000-03-101-1/+2
* Nativeint.t -> nativeint.Xavier Leroy2000-02-211-3/+3
* Traitement plus uniforme des load et des store. Ajout load/store sur int32 e...Xavier Leroy2000-02-041-6/+9
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Representer les constantes entieres par le type Nativeint.tXavier Leroy1997-03-041-2/+2
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des instructions negf et absf (negation flottante, valeurXavier Leroy1996-03-071-0/+1
* cmmgen: faire attention aux debordements quand on convertit un entierXavier Leroy1995-10-261-0/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Suppression de Cmodify / Imodify.Xavier Leroy1995-07-251-1/+0
* Branchement du GC de la version bytecode sur le compilateur natifXavier Leroy1995-07-101-1/+1
* Ajout construction "checkbounds" dans C--.Xavier Leroy1995-07-071-0/+1
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-9/+7
* Fermetures representees en un seul blocXavier Leroy1995-06-221-2/+4
* Premiere version.Xavier Leroy1995-06-151-0/+96