| Commit message (Expand) | Author | Age | Files | Lines |
* | PR#5029: typo in names of lib functions for float32<->float64 conversion. | Xavier Leroy | 2010-04-22 | 1 | -6/+6 |
* | PR#5030: start data labels higher. Also, use emit_floatNN_directive. | Xavier Leroy | 2010-04-22 | 1 | -8/+4 |
* | clean up spaces and tabs | Damien Doligez | 2010-01-22 | 2 | -3/+2 |
* | merge changes from release/3.11.1 to release/3.11.2 | Damien Doligez | 2010-01-20 | 1 | -0/+3 |
* | Updating the ARM port, continued: | Xavier Leroy | 2009-05-04 | 2 | -59/+48 |
* | Updated ARM port to new ABI (EABI), with software floating-point. | Xavier Leroy | 2009-03-31 | 3 | -171/+163 |
* | merge changes 3.10.0 -> 3.10.1 | Damien Doligez | 2008-01-11 | 2 | -8/+5 |
* | Can select which assembler to use at configuration time (PR#4171) | Xavier Leroy | 2007-10-30 | 1 | -1/+2 |
* | Constantes flottantes +0.0 / -0.0 (PR#2480) | Xavier Leroy | 2004-05-03 | 1 | -2/+3 |
* | PR#1914,PR#1956, suppression du portage Mac OS 9 | Damien Doligez | 2004-01-05 | 1 | -5/+5 |
* | depollution suite (PR#1914 et PR#1956) | Damien Doligez | 2004-01-01 | 1 | -4/+4 |
* | Ajout des litteraux de type int32, nativeint, int64 | Xavier Leroy | 2003-04-25 | 1 | -2/+2 |
* | Prevoir d'avoir des options de ligne de commande specifiques a un processeur | Xavier Leroy | 2002-11-29 | 1 | -0/+4 |
* | Introduction et utilisation de Cglobal_symbol pour declarer explicitement les... | Xavier Leroy | 2002-11-24 | 1 | -1/+2 |
* | deps | Damien Doligez | 2002-07-22 | 2 | -0/+3 |
* | Faire Filename.quote sur les noms de fichiers passes au compilo C, etc (PR#896) | Xavier Leroy | 2002-03-12 | 1 | -1/+1 |
* | Ajout du packaging d'unites de compilation (option -pack) | Xavier Leroy | 2002-02-08 | 1 | -5/+5 |
* | Suite revision immediats entiers (PR#327,#328) | Xavier Leroy | 2001-04-02 | 1 | -12/+9 |
* | Revu gestion des immediats entiers (PR#327,#328) -- non teste | Xavier Leroy | 2001-03-30 | 2 | -31/+50 |
* | Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf | Pierre Weis | 2000-04-21 | 1 | -22/+19 |
* | MAJ load/store revus | Xavier Leroy | 2000-04-06 | 3 | -157/+166 |
* | Ajout des modules Int32, Int64 et Nativeint | Xavier Leroy | 2000-02-11 | 1 | -7/+7 |
* | Révision de l'impression à l'aide de format: utilisation de printf | Pierre Weis | 2000-02-08 | 1 | -4/+4 |
* | tabs -> spaces | Damien Doligez | 1999-11-29 | 3 | -7/+7 |
* | Changement de la licence | Xavier Leroy | 1999-11-17 | 6 | -6/+12 |
* | Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ... | Xavier Leroy | 1999-11-08 | 1 | -1/+1 |
* | Bien traiter Ialloc de plus de 1024 octets | Xavier Leroy | 1999-03-04 | 1 | -152/+162 |
* | En ocamlopt, les acces hors bornes levent Invalid_argument au lieu de planter... | Xavier Leroy | 1998-11-11 | 1 | -3/+3 |
* | Portage ARM | Xavier Leroy | 1998-10-15 | 1 | -1/+1 |
* | Suite du portage ARM | Xavier Leroy | 1998-10-14 | 4 | -69/+143 |
* | Portage ARM -- premier jet | Xavier Leroy | 1998-10-09 | 6 | -0/+1043 |