| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Merge branch 'named-structs' | Xavier Leroy | 2015-01-23 | 21 | -1418/+3717 |
|\ |
|
| * | Define a nonnegative integer "rank" for types to support structural induction... | Xavier Leroy | 2015-01-10 | 2 | -22/+120 |
| * | Add a type system for CompCert C and type-checking constructor functions. | Xavier Leroy | 2014-12-31 | 2 | -64/+2079 |
| * | Represent struct and union types by name instead of by structure. | Xavier Leroy | 2014-12-22 | 20 | -1308/+1518 |
| * | Introduce symbol environments (type Senv.t) as a restricted view on global en... | Xavier Leroy | 2014-11-26 | 3 | -44/+20 |
* | | Delay reads from !Machine.config before it is properly initialized. | Xavier Leroy | 2015-01-22 | 1 | -2/+2 |
* | | Protect against redefinition of the __i64_xxx helper library functions. | Xavier Leroy | 2015-01-20 | 1 | -1/+54 |
* | | PR#19: there is no reason to reject an empty "switch" statement. | Xavier Leroy | 2015-01-06 | 1 | -2/+0 |
* | | PR#15: vararg functions are not eligible for inlining. | Xavier Leroy | 2015-01-02 | 1 | -1/+1 |
* | | Translation of wide string literals. | Xavier Leroy | 2015-01-01 | 1 | -6/+57 |
|/ |
|
* | Add Genv.public_symbol operation. | Xavier Leroy | 2014-11-24 | 5 | -22/+51 |
* | Record public global definitions via field "prog_public" in AST.program. | Xavier Leroy | 2014-11-24 | 3 | -59/+68 |
* | Revised translation of '&&' and '||' to Clight. | Xavier Leroy | 2014-10-13 | 10 | -123/+108 |
* | Tolerance in parsing of 'section' pragma | xleroy | 2014-09-17 | 1 | -0/+3 |
* | More careful detection of inlined builtins. Produces better error messages i... | xleroy | 2014-08-25 | 1 | -0/+1 |
* | Support C99 compound literals (by expansion in Unblock pass). | xleroy | 2014-08-21 | 1 | -0/+2 |
* | Issue with switch labels that are negative 32-bit integers. | xleroy | 2014-08-17 | 1 | -4/+7 |
* | - Support "switch" statements over 64-bit integers | xleroy | 2014-08-17 | 15 | -57/+102 |
* | All targets: add __builtin_membar | xleroy | 2014-07-28 | 1 | -0/+5 |
* | Merge of "newspilling" branch: | xleroy | 2014-07-23 | 18 | -249/+460 |
* | Cleaner, more resilient parsing of pragmas. | xleroy | 2014-06-05 | 1 | -55/+25 |
* | - Re-added support for "__func__" identifier as per ISO C99. | xleroy | 2014-05-15 | 1 | -3/+7 |
* | Clean-up pass on C types: | xleroy | 2014-04-23 | 4 | -91/+324 |
* | Continued: change typeconv t into incrdecr_type t for Epostincr. | xleroy | 2014-04-16 | 2 | -3/+3 |
* | Use "incrdecr_type ty" instead of "typeconv ty" as the intermediate type | xleroy | 2014-04-15 | 3 | -7/+18 |
* | Constprop: use "not" for "xorimm(-1)"; optimize == 1 and != 0 comparisons ove... | xleroy | 2014-04-09 | 1 | -7/+3 |
* | __builtin_absfloat can be applied to integers too. | xleroy | 2014-03-29 | 3 | -22/+60 |
* | C: Support array initializers that are too short + default init for remainder. | xleroy | 2014-03-28 | 3 | -54/+47 |
* | Support array initialization lists that are too short | xleroy | 2014-03-18 | 2 | -6/+14 |
* | Beautify the output. | xleroy | 2014-02-21 | 1 | -3/+7 |
* | Remove useless checks on type_of_global in dynamic semantics | xleroy | 2014-02-20 | 7 | -64/+5 |
* | Better printing of integer literals: add U and LL suffixes when needed. | xleroy | 2014-01-12 | 2 | -9/+26 |
* | Introduce and use the platform-specific Archi module giving: | xleroy | 2014-01-03 | 1 | -7/+12 |
* | Incomplete types are OK for 'extern' global variables. | xleroy | 2014-01-02 | 1 | -1/+1 |
* | Fine hair splitting depending on whether va_list is a scalar type (IA32, ARM)... | xleroy | 2014-01-01 | 1 | -4/+9 |
* | Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test... | xleroy | 2014-01-01 | 1 | -5/+82 |
* | Ctypes.sizeof ty = 0 for empty types ty (zero-sized array, empty struct/union). | xleroy | 2013-12-30 | 6 | -125/+122 |
* | Improved detection of variables with incomplete types. | xleroy | 2013-12-30 | 1 | -1/+3 |
* | More tolerance for functions declared without a prototype | xleroy | 2013-12-28 | 1 | -6/+22 |
* | Check in C2C that packed structs were properly emulated. | xleroy | 2013-12-28 | 1 | -2/+4 |
* | Removed obsolete check on aligned fields. | xleroy | 2013-12-28 | 1 | -8/+4 |
* | Simpler, more robust emulation of calls to variadic functions: | xleroy | 2013-12-28 | 20 | -235/+230 |
* | Support "default" cases in the middle of a "switch", not just at the end. | xleroy | 2013-12-21 | 16 | -207/+366 |
* | Merge of branch value-analysis. | xleroy | 2013-12-20 | 3 | -825/+63 |
* | Revised semantics of external functions, continued: | xleroy | 2013-11-18 | 1 | -35/+36 |
* | Revised modeling of external functions and built-in functions: just axiomatize | xleroy | 2013-11-17 | 1 | -17/+18 |
* | powerpc/: new unary operation "addsymbol" | xleroy | 2013-11-17 | 2 | -15/+22 |
* | Suppress warning on derefering volatile composites, because of false positives. | xleroy | 2013-11-10 | 1 | -4/+0 |
* | Cleaner printing of global variables. | xleroy | 2013-11-09 | 1 | -21/+30 |
* | - Recognize __builtin_fabs as an operator, not just a builtin, | xleroy | 2013-11-06 | 6 | -1/+21 |