| Commit message (Expand) | Author | Age | Files | Lines |
* | Improve error reporting for unsupported compound literals. | xleroy | 2014-08-20 | 1 | -1/+4 |
* | Improve error detection and error messages for enums. | xleroy | 2014-08-17 | 1 | -3/+7 |
* | Spurious error on a local static function declaration | xleroy | 2014-08-13 | 1 | -0/+1 |
* | Make Alphabet.v compatible with an environnment where Containers is installed | jjourdan | 2014-07-04 | 1 | -1/+1 |
* | Empty declarations | jjourdan | 2014-05-23 | 3 | -11180/+11249 |
* | In enter_or_refine_ident: revised handling of "extern" decls. | xleroy | 2014-05-18 | 1 | -29/+38 |
* | Another corner case for string literal initializers: char * x[] = { "lit" } | xleroy | 2014-05-18 | 1 | -1/+2 |
* | Typo in struct_declaration_list causing conflicts. | xleroy | 2014-05-18 | 1 | -1/+1 |
* | - Re-added support for "__func__" identifier as per ISO C99. | xleroy | 2014-05-15 | 5 | -5746/+5462 |
* | Assorted fixes to fix parsing issues and be more GCC-like: | xleroy | 2014-05-12 | 7 | -13538/+14066 |
* | Incorrect conversion of K&R functions. Example of problem: | xleroy | 2014-05-12 | 2 | -2/+10 |
* | Fix string litteral parsing | jjourdan | 2014-05-11 | 2 | -3/+7 |
* | Fixed regression on initializers of the form T x[N] = "literal"; | xleroy | 2014-05-08 | 1 | -8/+10 |
* | - Added alternate keywords __inline, __restrict, etc, for GCC compatibility | xleroy | 2014-05-08 | 1 | -2/+24 |
* | Stern warning on non-prototype function definitions. | xleroy | 2014-05-05 | 1 | -0/+1 |
* | Do not allow typedef_name in identifier lists of K&R style definitions | jjourdan | 2014-05-05 | 1 | -4/+4 |
* | Support for old-style K&R function definitions. | xleroy | 2014-05-05 | 6 | -4545/+5621 |
* | Treat all identifiers as VAR_NAME by default (i.e. if not bound by a typedef)... | xleroy | 2014-05-05 | 2 | -15/+8 |
* | Be less picky in the way we parse '#' lines | xleroy | 2014-05-02 | 1 | -11/+23 |
* | Integration of Jacques-Henri Jourdan's verified parser. | xleroy | 2014-04-29 | 31 | -3153/+66118 |
* | Clean-up pass on C types: | xleroy | 2014-04-23 | 4 | -44/+55 |
* | Merge of branch linear-typing: | xleroy | 2014-04-06 | 3 | -12/+13 |
* | "->" can also be applied to array types, not just pointer types. | xleroy | 2014-03-30 | 1 | -1/+1 |
* | C: Support array initializers that are too short + default init for remainder. | xleroy | 2014-03-28 | 5 | -140/+361 |
* | Do not transform __builtin_va_arg for a struct or union type, this causes | xleroy | 2014-02-24 | 1 | -31/+37 |
* | Wrong type used for transforming lval = f(...) | xleroy | 2014-02-21 | 1 | -1/+1 |
* | Add option -Os to optimize for code size rather than for execution speed. | xleroy | 2014-02-19 | 1 | -9/+15 |
* | - Back to origins: suppress Mfloat64al32 chunk and align Mfloat64 to 4. | xleroy | 2014-01-12 | 1 | -1/+4 |
* | Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test... | xleroy | 2014-01-01 | 1 | -4/+8 |
* | Catch and report Env errors arising out of some Cutil functions | xleroy | 2013-12-30 | 2 | -8/+9 |
* | Elab.ml: more warnings. | xleroy | 2013-12-30 | 2 | -6/+16 |
* | Improved detection of variables with incomplete types. | xleroy | 2013-12-30 | 1 | -4/+9 |
* | Check in C2C that packed structs were properly emulated. | xleroy | 2013-12-28 | 1 | -3/+8 |
* | Simpler, more robust emulation of calls to variadic functions: | xleroy | 2013-12-28 | 5 | -5/+9 |
* | Hack StructReturn to better adhere to PowerPC and ARM calling conventions. | xleroy | 2013-12-20 | 3 | -67/+142 |
* | Bring sizeof and alignof in sync with cfrontend/Ctypes. | xleroy | 2013-12-11 | 1 | -22/+18 |
* | Revised treatment of _Alignas, for better compatibility with GCC and Clang, a... | xleroy | 2013-11-06 | 2 | -10/+19 |
* | Make it possible to use the "__packed__" keyword as an attribute name | xleroy | 2013-11-05 | 1 | -0/+1 |
* | Eliminate unreferenced inline functions | xleroy | 2013-10-28 | 1 | -2/+4 |
* | Revise parsing of character constants for conformance with ISO C 99. | xleroy | 2013-10-25 | 2 | -12/+14 |
* | Typing of integer literals: follow C99 rules exactly. | xleroy | 2013-10-21 | 1 | -28/+29 |
* | PackedStructs.ml: cleanups and bug-fixes | xleroy | 2013-10-13 | 2 | -15/+17 |
* | Merge of the "alignas" branch. | xleroy | 2013-10-05 | 8 | -257/+211 |
* | Follow-up to commit 2339: | xleroy | 2013-10-05 | 1 | -1/+1 |
* | Elab: | xleroy | 2013-10-04 | 2 | -29/+34 |
* | Bad printing of alignment on 'comm' symbols. | xleroy | 2013-07-07 | 1 | -2/+2 |
* | Recognize attribute((packed)) after a "struct {...}" and not just between "st... | xleroy | 2013-06-21 | 3 | -18/+39 |
* | 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 |