summaryrefslogtreecommitdiff
path: root/test
Commit message (Expand)AuthorAge
* 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
* 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
* Ajout et utilisation de compcert_stdio.hGravatar xleroy2006-10-22
* Resolution d'un probleme (cf. big endian), etGravatar blazy2006-10-20
* Ajout du banc de tests de CCured (Olden benchmark suite, cf.Gravatar blazy2006-10-20
* cleaning...Gravatar lrg2006-10-20
* interpreter for "little"Gravatar lrg2006-10-20
* Simplification de Cminor: les affectations de variables locales ne sontGravatar xleroy2006-09-18
* NettoyagesGravatar xleroy2006-09-17
* Davantage de testsGravatar xleroy2006-09-17
* Ajout du test listsGravatar xleroy2006-09-11
* MAJ des tests CGravatar xleroy2006-09-08
* Integration du front-end CIL developpe par Thomas MoniotGravatar xleroy2006-09-07
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Ajout de fabsGravatar xleroy2006-07-11
* Cast des litteraux de chaine en unsigned char *Gravatar xleroy2006-07-11
* Version C des tests CminorGravatar xleroy2006-06-29
* Initial import of compcertGravatar xleroy2006-02-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 10:34:08 +0000