| Commit message (Expand) | Author | Age | Files | Lines |
* | Revert suppression of __builtin_{read,write}_reversed for x86 and ARM, | xleroy | 2013-04-29 | 3 | -33/+49 |
* | Add __builtin_bswap16 and __builtin_bswap32 to all ports. | xleroy | 2013-04-20 | 1 | -15/+35 |
* | Updated | xleroy | 2013-03-26 | 2 | -18/+23 |
* | Better locations for error messages relative to type specifiers. | xleroy | 2013-03-25 | 1 | -14/+9 |
* | Remove the C primitives for unsigned long long arithmetic, replaced | xleroy | 2013-03-18 | 3 | -44/+25 |
* | Suppress int64_unsigned_to_float, now unused. | xleroy | 2013-03-11 | 2 | -7/+0 |
* | Support for inline assembly (asm statements). | xleroy | 2012-12-18 | 16 | -71/+198 |
* | Flocq-based parsing of floating-point literals (Jacques-Henri Jourdan) | xleroy | 2012-11-03 | 10 | -86/+84 |
* | Update cparser/Makefile (fix by Jacques-Henri Jourdan) | xleroy | 2012-11-03 | 2 | -28/+28 |
* | checklink: first import of Valentin Robert's validator for asm and link | xleroy | 2012-03-28 | 11 | -14/+36 |
* | Cprint: export Cprint.attributes | xleroy | 2012-03-07 | 2 | -6/+25 |
* | Problems with multiple declarations of publically-visible identifiers | xleroy | 2012-02-29 | 2 | -10/+22 |
* | 'typeof' is not a keyword | xleroy | 2012-02-29 | 1 | -0/+2 |
* | - Support for _Alignof(ty) operator from ISO C 2011 | xleroy | 2012-02-26 | 10 | -19/+27 |
* | Interp: help debug stuck expressions | xleroy | 2012-02-10 | 3 | -5/+4 |
* | Merge of the "volatile" branch: | xleroy | 2012-02-04 | 13 | -1243/+31 |
* | cparser/*: refactoring of the expansion of read-modify-write operators | xleroy | 2011-11-26 | 8 | -225/+342 |
* | Corrected initialization of char arrays by string literals. | xleroy | 2011-10-17 | 1 | -24/+23 |
* | More cleanups in packed struct emulation. | xleroy | 2011-10-16 | 2 | -14/+18 |
* | Revised emulation of packed structs | xleroy | 2011-10-16 | 2 | -56/+53 |
* | arm/PrintAsm: don't generate "vfd" directive, useless? | xleroy | 2011-08-22 | 4 | -20/+31 |
* | Wrong check: &e must be rejected if e has array type and is not a l-value. | xleroy | 2011-08-21 | 1 | -8/+5 |
* | Presimplification SimplVolatile: cleaned up and integrated. | xleroy | 2011-08-18 | 1 | -12/+18 |
* | SimplVolatile: new pass to eliminate read-modify-write ops over volatiles | xleroy | 2011-08-18 | 10 | -169/+265 |
* | Factor out bind_lvalue | xleroy | 2011-08-17 | 3 | -41/+20 |
* | More vigorous scrubbing of r-value structs | xleroy | 2011-08-09 | 1 | -12/+8 |
* | Improved treatment of structs/unions as r-values | xleroy | 2011-08-08 | 2 | -21/+47 |
* | Added animation of the CompCert C semantics (ccomp -interp) | xleroy | 2011-07-28 | 1 | -27/+23 |
* | Check for duplicate label definitions | xleroy | 2011-07-18 | 1 | -7/+11 |
* | More precise typechecking of statements | xleroy | 2011-07-17 | 1 | -33/+75 |
* | In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the... | xleroy | 2011-07-16 | 1 | -1/+3 |
* | Revised handling of annotation statements, and more generally built-in functi... | xleroy | 2011-06-13 | 1 | -11/+0 |
* | Silence a warning that happens all too often in MacOS X | xleroy | 2011-05-12 | 1 | -2/+2 |
* | cparser: support for attributes over struct and union. | xleroy | 2011-05-12 | 17 | -135/+613 |
* | cparser/StructAssign: always use __builtin_memcpy + alignment indication | xleroy | 2011-05-11 | 1 | -87/+53 |
* | powerpc/PrintAsm.ml arm/PrintAsm.ml: updated (no label elimination). | xleroy | 2011-05-08 | 1 | -2/+0 |
* | Added pass CleanupLabels to remove unreferenced labels in a proved way. | xleroy | 2011-05-08 | 1 | -0/+1 |
* | Support compile-time constant expressions as arguments to gcc-style attributes | xleroy | 2011-04-20 | 1 | -23/+30 |
* | Use memcpy_word only if alignment AND size are multiples of word size. | xleroy | 2011-04-17 | 1 | -3/+5 |
* | cparser/Elab: __attribute, not attribute | xleroy | 2011-04-16 | 1 | -1/+1 |
* | Revised handling of GCC attributes. Preliminary, untested support for __alig... | xleroy | 2011-04-14 | 3 | -17/+34 |
* | Revised handling of sizeof(string-literal) | xleroy | 2011-03-15 | 1 | -5/+12 |
* | Bitfields: MSB-to-LSB in addition to LSB-to-MSB | xleroy | 2011-03-10 | 3 | -11/+39 |
* | In StructAssign: be careful not to duplicate accesses to a volatile variable. | xleroy | 2010-11-10 | 1 | -8/+10 |
* | Inconsistent treatment of "lone" zero-width bit fields | xleroy | 2010-09-24 | 2 | -23/+31 |
* | Updates for IA32-Cygwin. | xleroy | 2010-09-08 | 1 | -1/+1 |
* | Adding __builtin_annotation | xleroy | 2010-09-01 | 1 | -0/+11 |
* | Bugs with 1- empty bitfields, 2- anonymous bitfields, 3- result type of readi... | xleroy | 2010-09-01 | 5 | -15/+68 |
* | Merge of branches/full-expr-4: | xleroy | 2010-08-18 | 7 | -194/+440 |
* | Wrong cast in constant_expr | xleroy | 2010-08-04 | 1 | -3/+3 |