aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Suppressed -fall-extensions option, too dangerous wrt flonglongxleroy2010-03-031-2/+3
* Updated raytracer test. Added SPASS test.xleroy2010-03-03129-159/+83911
* Switching to the new C parser/elaborator/simplifierxleroy2010-03-0329-0/+384
* Protoizedxleroy2010-03-021-1/+1
* Protoizedxleroy2010-03-021-2/+2
* Typo in Makefilexleroy2010-02-171-2/+2
* Reorganization test directoryxleroy2010-02-17235-15573/+50
* 3 more benchmarksxleroy2010-02-177-1/+863
* Moved test harness C files herexleroy2010-02-1714-1/+1649
* Backtracking on commit 1220v1.6xleroy2010-01-131-0/+0
* Test result more reproduciblexleroy2009-12-162-2/+2
* Support Clight initializers of the form "int * x = &y;".xleroy2009-11-011-0/+9
* Problem with const enum initializersxleroy2009-09-152-0/+4
* Stronger constant folding, esp. w.r.t. floatsxleroy2009-08-212-0/+7
* Cil2Csyntax: added goto and labels; added assignment between structsxleroy2009-08-161-0/+6
* 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
generated by cgit (git 2.34.1) at 2024-06-02 14:19:36 +0000