aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Fix "clean" rule.xleroy2012-12-291-1/+1
* Test bitfields of enum typexleroy2012-12-182-0/+28
* Support for inline assembly (asm statements).xleroy2012-12-181-1/+1
* Test for __builtin_fctixleroy2012-11-241-1/+3
* Globalenvs: allocate one-byte block with permissions Nonempty for eachxleroy2012-11-125-1/+22
* Merge of branch seq-and-or. See Changelog for details.xleroy2012-10-068-11/+187
* Use Flocq for floatsxleroy2012-06-283-1/+7954
* PrintCminor: printing Sskipxleroy2012-03-093-5/+5
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsxleroy2012-03-071-1/+1
* Simplified and cleaned up the passing of information from C2C to PrintAsm, as...xleroy2012-02-221-0/+1
* Initializers: handle By_copy accesses (e.g. for &(glob.field))xleroy2012-02-074-0/+21
* Merge of the "volatile" branch:xleroy2012-02-045-3/+41
* Out-of-bounds error in testxleroy2012-01-212-16/+16
* Merge of the nonstrict-ops branch:xleroy2012-01-143-1/+148
* cparser/*: refactoring of the expansion of read-modify-write operatorsxleroy2011-11-265-5/+86
* Fixed serious bug in handling of volatile arrays.xleroy2011-11-263-2/+24
* Corrected initialization of char arrays by string literals.xleroy2011-10-172-2/+23
* Revised emulation of packed structsxleroy2011-10-162-4/+14
* Presimplification SimplVolatile: cleaned up and integrated.xleroy2011-08-188-8/+126
* IA32: wrong moves generated in print_builtin_memcpy_big.xleroy2011-08-103-1/+41
* Wrong ifdef PPCxleroy2011-08-051-1/+1
* More builtins for ARM and PowerPCxleroy2011-08-051-1/+3
* arm/PrintAsm: bugs in expansion of new builtinsxleroy2011-08-051-14/+31
* Added animation of the CompCert C semantics (ccomp -interp)xleroy2011-07-283-3/+3
* In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the...xleroy2011-07-163-1/+62
* Coloringaux: better cost estimate for annotation builtinsxleroy2011-06-141-3/+39
* Revised handling of annotation statements, and more generally built-in functi...xleroy2011-06-131-8/+9
* 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
generated by cgit (git 2.34.1) at 2024-06-02 20:03:00 +0000