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