Source

ocaml / asmcomp / arm / arch.ml

Author Commit Message Labels Comments Date
xleroy
Remove some "open" to please the new warnings. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
PR#5513: protect against min_int / -1 crashing on x86 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer
[arm] Update copyright notices as suggested by Xavier. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer
Merge the new ARM backend into trunk (PR#5433). Initial merge of the new ARM backend (commit ec5b444c7f) from my development repository at https://github.com/bmeurer/ocaml-arm/tree/ec5b444c7f . Compared to the old ARM backend, this one does the following: - Support for both software and hardware floating-point (VFPv3). - Properly supports interworking with Thumb/Thumb-2 code for both OCaml and C code. - Supports dynamic linking and large mem…
doligez
renaming of Objective Caml to OCaml and cleanup of copyright headers git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Prevoir d'avoir des options de ligne de commande specifiques a un processeur git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
weis
Suppression de Formatmsg, réécriture des messages à l'aide de Format.fprintf git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
MAJ load/store revus git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
weis
Révision de l'impression à l'aide de format: utilisation de printf pour condenser les programmes et aussi préparer une future (éventuelle) internationalisation d'Objective Caml. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Changement de la licence git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Suite du portage ARM git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
xleroy
Portage ARM -- premier jet git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02