| Commit message (Expand) | Author | Age |
|---|
| * | Elab.ml: more warnings. |  xleroy | 2013-12-30 |
| * | Improved detection of variables with incomplete types. | xleroy | 2013-12-30 |
| * | Check in C2C that packed structs were properly emulated. | xleroy | 2013-12-28 |
| * | Simpler, more robust emulation of calls to variadic functions: | xleroy | 2013-12-28 |
| * | Hack StructReturn to better adhere to PowerPC and ARM calling conventions. | xleroy | 2013-12-20 |
| * | Bring sizeof and alignof in sync with cfrontend/Ctypes. | xleroy | 2013-12-11 |
| * | Revised treatment of _Alignas, for better compatibility with GCC and Clang, a... | xleroy | 2013-11-06 |
| * | Make it possible to use the "__packed__" keyword as an attribute name | xleroy | 2013-11-05 |
| * | Eliminate unreferenced inline functions | xleroy | 2013-10-28 |
| * | Revise parsing of character constants for conformance with ISO C 99. | xleroy | 2013-10-25 |
| * | Typing of integer literals: follow C99 rules exactly. | xleroy | 2013-10-21 |
| * | PackedStructs.ml: cleanups and bug-fixes | xleroy | 2013-10-13 |
| * | Merge of the "alignas" branch. | xleroy | 2013-10-05 |
| * | Follow-up to commit 2339: | xleroy | 2013-10-05 |
| * | Elab: | xleroy | 2013-10-04 |
| * | Bad printing of alignment on 'comm' symbols. | xleroy | 2013-07-07 |
| * | Recognize attribute((packed)) after a "struct {...}" and not just between "st... | xleroy | 2013-06-21 |
| * | 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 |
xleroy