aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Bizarre use of struct valuev1.8xleroy2010-09-212-2/+2
* No crash if nonexistent input file.xleroy2010-09-142-2/+3
* ++ on volatile not supported.xleroy2010-09-041-2/+2
* Merge of the reuse-temps branch:xleroy2010-09-0210-36/+74
* Adding __builtin_annotationxleroy2010-09-012-1/+24
* Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi...xleroy2010-09-015-0/+51
* Merge of branches/full-expr-4:xleroy2010-08-188-7/+87
* Bug in cparser/AddCasts.ml.xleroy2010-07-083-1/+18
* Another regressionxleroy2010-05-103-1/+10
* More struct testsxleroy2010-04-171-1/+2
* __builtin_memcpy, continued.xleroy2010-04-174-0/+88
* Test bit field of size 32xleroy2010-04-093-1/+18
* Bug fix: infinite loop in cparser/ on bit field of size 32 bits.xleroy2010-04-091-1/+1
* Static initialization of structs with bitfieldsxleroy2010-04-072-0/+35
* In cparser/SimplExpr.ml:xleroy2010-04-023-1/+15
* cparser/AddCasts.ml: forgot to materialize cast at return statement.xleroy2010-04-013-1/+17
* Determine endianness at run-timexleroy2010-03-301-21/+23
* Extra volatile testxleroy2010-03-283-1/+45
* Bug in multidimensional read-only arraysxleroy2010-03-131-0/+2
* Handling of volatile accesses through builtin functions.xleroy2010-03-082-0/+68
* 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
generated by cgit (git 2.34.1) at 2024-06-02 19:31:39 +0000