| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Support C99 compound literals (by expansion in Unblock pass). | xleroy | 2014-08-21 | 11 | -453/+625 |
| * | 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 |
