summaryrefslogtreecommitdiff
path: root/.depend
Commit message (Expand)AuthorAge
* Added tail call optimization passGravatar xleroy2009-03-26
* Reorganized the development, modularizing away machine-dependent parts.Gravatar xleroy2008-12-30
* Revised back-end so that only 2 integer registers are reserved for reloading.Gravatar xleroy2008-12-21
* MAJ documentationGravatar xleroy2008-07-27
* Alignement de la pile dans PrintPPCGravatar xleroy2008-04-13
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...Gravatar xleroy2007-08-28
* Ajout de common/Complements.vGravatar xleroy2007-08-26
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...Gravatar xleroy2007-03-02
* Petites adaptations pour Coq 8.1gammaGravatar xleroy2006-11-11
* Ajout de dependances dans extraction/MakefileGravatar tristan2006-09-06
* Revu la repartition des sources Coq en sous-repertoiresGravatar xleroy2006-09-04
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Initial import of compcertGravatar xleroy2006-02-09