| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | merge version 3.12 from 3.12.1 to r12205 | Damien Doligez | 2012-03-08 | 1 | -0/+1 |
| * | PR#5513: protect against min_int / -1 crashing on x86 | Xavier Leroy | 2012-02-24 | 1 | -0/+4 |
| * | [arm] Update copyright notices as suggested by Xavier. | Benedikt Meurer | 2012-02-05 | 5 | -15/+20 |
| * | Merge the new ARM backend into trunk (PR#5433). | Benedikt Meurer | 2012-02-04 | 5 | -490/+1087 |
| * | Also pass Cmm.memory_chunk to select_addressing. | Benedikt Meurer | 2012-02-04 | 1 | -1/+1 |
| * | PR#4869: rare collisions between assembly labels for code and data | Xavier Leroy | 2011-12-18 | 1 | -2/+5 |
| * | PR#5336: add .type directives in ARM code | Xavier Leroy | 2011-09-18 | 1 | -0/+1 |
| * | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 6 | -6/+6 |
| * | 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 |
