summaryrefslogtreecommitdiff
path: root/test/cminor
Commit message (Expand)AuthorAge
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...Gravatar xleroy2008-04-19
* Amelioration compilation des switchGravatar xleroy2008-04-17
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...Gravatar xleroy2007-08-28
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu MakefilesGravatar xleroy2007-08-06
* DocumentationGravatar xleroy2007-08-05
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* NettoyageGravatar xleroy2007-03-02
* Mettre les 2 demi-espaces dans 2 blocs separesGravatar xleroy2007-03-02
* Ajout test mark&sweep GCGravatar xleroy2006-10-27
* Ajout test stop&copy GCGravatar xleroy2006-10-26
* Simplification de Cminor: les affectations de variables locales ne sontGravatar xleroy2006-09-18
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Initial import of compcertGravatar xleroy2006-02-09