aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Nicer printing of annotations.xleroy2011-05-231-4/+0
* Another try for the ifdefxleroy2011-05-121-1/+1
* Wrong ifdefxleroy2011-05-121-1/+1
* Typoxleroy2011-05-121-1/+1
* cparser: support for attributes over struct and union.xleroy2011-05-125-5/+151
* Support compile-time constant expressions as arguments to gcc-style attributesxleroy2011-04-201-1/+1
* cparser/Elab: __attribute, not attributexleroy2011-04-163-1/+44
* Revised handling of sizeof(string-literal)xleroy2011-03-155-2/+29
* Initializers for global variables: compile-time evaluation of expressions don...xleroy2011-03-123-1/+26
* Improved test harnessxleroy2011-03-103-0/+14
* Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.xleroy2011-03-092-2/+4
* Treat "char" as unsigned OR signed depending on the configuration.xleroy2011-03-094-2/+31
* In StructAssign: be careful not to duplicate accesses to a volatile variable.xleroy2010-11-102-1/+14
* Inconsistent treatment of "lone" zero-width bit fieldsxleroy2010-09-243-1/+22
* 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
generated by cgit (git 2.34.1) at 2024-06-28 20:45:16 +0000