| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| | * | Experiment: track the scopes of local variables via __builtin_debug. | Xavier Leroy | 2015-09-20 | 1 | -38/+36 |
| * | | Started implementing the scope for the Debug Informations. | Bernhard Schommer | 2015-09-18 | 1 | -0/+1 |
| * | | First version with computation of dwarf info from debug info. | Bernhard Schommer | 2015-09-17 | 1 | -1/+1 |
| * | | Move more functionality in the new interface. | Bernhard Schommer | 2015-09-16 | 1 | -4/+7 |
| * | | X | Bernhard Schommer | 2015-09-06 | 1 | -1/+1 |
| |\| |
|
| | * | Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong. | Xavier Leroy | 2015-08-22 | 1 | -1/+1 |
| * | | Added symbol functions for printing of the location for global variables. | Bernhard Schommer | 2015-08-21 | 1 | -2/+8 |
| |/ |
|
| * | Tighten and prove correct the underflow/overflow bounds for parsing of FP lit... | Xavier Leroy | 2015-07-06 | 1 | -41/+29 |
| * | Added a fast test for too large exponents too avoid never ending computations. | Bernhard Schommer | 2015-07-03 | 1 | -29/+42 |
| * | Check also the discarded part of the switch statements for cases outside of a... | Bernhard Schommer | 2015-06-26 | 1 | -1/+26 |
| * | In AST.calling_conventions, record whether the original C function was "old-s... | Xavier Leroy | 2015-05-22 | 1 | -9/+11 |
| * | Ctyping: better typing of conditional expressions. | Xavier Leroy | 2015-05-21 | 1 | -4/+2 |
| * | Extended inline asm: revised treatment of clobbered registers. | Xavier Leroy | 2015-05-09 | 1 | -1/+1 |
| * | Warn if a nonzero FP literal converts to infinity (overflow) or to 0 (underfl... | Xavier Leroy | 2015-04-25 | 1 | -3/+17 |
| * | Use Cerrors for error reporting instead of rolling our own reporting in C2C. | Xavier Leroy | 2015-04-21 | 1 | -11/+5 |
| * | Support for GCC-style extended asm, continued: | Xavier Leroy | 2015-04-21 | 1 | -80/+15 |
| * | Experiment: support a subset of GCC's extended asm statements. | Xavier Leroy | 2015-04-17 | 1 | -2/+93 |
| * | Merge pull request #34 from AbsInt/extended-annotations | Xavier Leroy | 2015-04-01 | 1 | -2/+1 |
| |\ |
|
| | * | Updated the Caml part. Added some more tests in annot1.c. | Xavier Leroy | 2015-03-27 | 1 | -2/+1 |
| * | | Support va_arg for vararg arguments of composite (struct/union) types. | Xavier Leroy | 2015-03-20 | 1 | -13/+37 |
| |/ |
|
| * | Issue #28: if the arguments of __builtin_memcpy_aligned are arrays, their typ... | Xavier Leroy | 2015-03-10 | 1 | -1/+3 |
| * | Merge branch 'named-structs' | Xavier Leroy | 2015-01-23 | 1 | -212/+183 |
| |\ |
|
| | * | Add a type system for CompCert C and type-checking constructor functions. | Xavier Leroy | 2014-12-31 | 1 | -64/+80 |
| | * | Represent struct and union types by name instead of by structure. | Xavier Leroy | 2014-12-22 | 1 | -148/+103 |
| * | | 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 |
| |/ |
|
| * | Record public global definitions via field "prog_public" in AST.program. | Xavier Leroy | 2014-11-24 | 1 | -57/+66 |
| * | 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 | 1 | -3/+1 |
| * | All targets: add __builtin_membar | xleroy | 2014-07-28 | 1 | -0/+5 |
| * | Merge of "newspilling" branch: | xleroy | 2014-07-23 | 1 | -6/+12 |
| * | - 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 | 1 | -22/+17 |
| * | C: Support array initializers that are too short + default init for remainder. | xleroy | 2014-03-28 | 1 | -4/+4 |
| * | 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 |
| * | 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 | 1 | -88/+44 |
| * | Support "default" cases in the middle of a "switch", not just at the end. | xleroy | 2013-12-21 | 1 | -15/+13 |
| * | powerpc/: new unary operation "addsymbol" | xleroy | 2013-11-17 | 1 | -6/+12 |
| * | Suppress warning on derefering volatile composites, because of false positives. | xleroy | 2013-11-10 | 1 | -4/+0 |
