| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Support __attribute__(ident) where ident is not bound. Useful for GCC compat... | xleroy | 2013-05-13 | 1 | -3/+6 |
| * | 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 |
