aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Elimination of "alloc" instruction in Caml files and test files.xleroy2009-01-111-2/+4
* Test for int/float conversionsxleroy2009-01-073-1/+140
* Endianness in testsxleroy2009-01-054-2/+20
* Continuation of PowerPC/EABI portxleroy2008-12-312-2/+2
* Ajout nouveaux testsxleroy2008-08-0952-0/+8446
* Flag to turn on/off the recognition of fused multiply-add and multiply-subxleroy2008-07-311-1/+1
* Update test resultsxleroy2008-07-311-1/+1
* Augmenter le temps d'execution par defautxleroy2008-07-252-2/+2
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...xleroy2008-04-192-5/+8
* Amelioration compilation des switchxleroy2008-04-171-0/+1
* Ajout du test vmachxleroy2008-04-153-1/+219
* Problemes d'alignement des variables globales et a l'interieur de leurs initi...xleroy2007-10-313-3/+53
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...xleroy2007-08-282-2/+5
* Rendu le test lists.c plus interessantxleroy2007-08-061-4/+30
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefilesxleroy2007-08-065-226/+1
* Documentationxleroy2007-08-051-1/+1
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".xleroy2007-08-048-19/+38
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...xleroy2007-03-021-0/+5
* Nettoyagexleroy2007-03-021-1/+0
* Mettre les 2 demi-espaces dans 2 blocs separesxleroy2007-03-021-9/+10
* Ajout test mark&sweep GCxleroy2006-10-275-2/+439
* Ajout test stop&copy GCxleroy2006-10-263-1/+404
* Ajout et utilisation de compcert_stdio.hxleroy2006-10-226-6/+210
* Resolution d'un probleme (cf. big endian), etblazy2006-10-2010-19/+11
* Ajout du banc de tests de CCured (Olden benchmark suite, cf.blazy2006-10-20202-0/+12593
* cleaning...lrg2006-10-201-2/+1
* interpreter for "little"lrg2006-10-2016-0/+1336
* Simplification de Cminor: les affectations de variables locales ne sontxleroy2006-09-181-5/+10
* Nettoyagesxleroy2006-09-174-18/+16
* Davantage de testsxleroy2006-09-1733-33/+3010
* Ajout du test listsxleroy2006-09-112-2/+57
* MAJ des tests Cxleroy2006-09-088-61/+1082
* Integration du front-end CIL developpe par Thomas Moniotxleroy2006-09-071-78/+62
* Fusion de la branche "traces":xleroy2006-09-046-26/+113
* Ajout de fabsxleroy2006-07-111-0/+1
* Cast des litteraux de chaine en unsigned char *xleroy2006-07-112-12/+12
* Version C des tests Cminorxleroy2006-06-298-0/+1339
* Initial import of compcertxleroy2006-02-0918-0/+2224
generated by cgit (git 2.34.1) at 2024-06-02 23:10:37 +0000