summaryrefslogtreecommitdiff
path: root/asmcomp/mach.mli
Commit message (Expand)AuthorAgeFilesLines
* 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-4/+3
* Stack backtraces on uncaught exceptions in native code (merge of the opt_back...Xavier Leroy2007-01-291-2/+3
* new or-pat compilation + exhaustiveness used in compilationLuc Maranget2000-08-111-2/+2
* Nativeint.t -> nativeint.Xavier Leroy2000-02-211-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Representer les constantes entieres par le type Nativeint.tXavier Leroy1997-03-041-1/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Ajout des instructions negf et absf (negation flottante, valeurXavier Leroy1996-03-071-1/+1
* Retour en arriere sur les stores initialisants. Completement inefficace.Xavier Leroy1995-12-171-1/+1
* Scheduling plus agressif des remplissages de blocs allouesXavier Leroy1995-12-171-1/+1
* Changement des comparaisons flottantes pour etre conforme a IEEE.Xavier Leroy1995-11-281-1/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Suppression de Cmodify / Imodify.Xavier Leroy1995-07-251-1/+0
* Ajout des tests Ieventest et Ioddtest dans Mach.operationXavier Leroy1995-07-171-0/+2
* Branchement du GC de la version bytecode sur le compilateur natifXavier Leroy1995-07-101-2/+2
* Ajout construction "checkbounds" dans C--.Xavier Leroy1995-07-071-0/+1
* Integration du generateur de code et du compilateur.Xavier Leroy1995-07-021-2/+8
* Iloop est maintenant une boucle infinie, on en sort par catch...exit.Xavier Leroy1995-06-151-4/+1
* Premiere version.Xavier Leroy1995-06-151-0/+73