summaryrefslogtreecommitdiff
path: root/caml/PrintPPC.ml
Commit message (Expand)AuthorAge
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30
* Extract Coq lists to Caml lists.Gravatar xleroy2008-12-29
* Revised back-end so that only 2 integer registers are reserved for reloading.Gravatar xleroy2008-12-21
* Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore ...Gravatar xleroy2008-05-30
* MAJGravatar xleroy2008-04-15
* Alignement de la pile dans PrintPPCGravatar xleroy2008-04-13
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27
* Problemes d'alignement des variables globales et a l'interieur de leurs initi...Gravatar xleroy2007-10-31
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* Suite des stubs variadiques.Gravatar xleroy2006-09-17
* Revu generation de stubs pour les fonctions variadiquesGravatar xleroy2006-09-17
* Ajout de Init_pointer (experimental)Gravatar xleroy2006-09-17
* Suite de l'adaptation du front-end CILGravatar xleroy2006-09-08
* MAJGravatar xleroy2006-09-06
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Declaration des variables avec .commGravatar xleroy2006-07-11
* Renommage List -> CList lors de l'extractionGravatar xleroy2006-03-09
* Initial import of compcertGravatar xleroy2006-02-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 22:03:03 +0000