Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | cparser: support for attributes over struct and union. | xleroy | 2011-05-12 | 1 | -4/+4 |
* | cparser/StructAssign: always use __builtin_memcpy + alignment indication | xleroy | 2011-05-11 | 1 | -49/+91 |
* | Preliminary support for 'aligned' and 'section' attributes, gcc-style. New-s... | xleroy | 2011-04-16 | 1 | -22/+15 |
* | More global initialization work done and proved in Coq. | xleroy | 2011-03-13 | 1 | -64/+23 |
* | Initializers for global variables: compile-time evaluation of expressions don... | xleroy | 2011-03-12 | 1 | -54/+25 |
* | Revised signed/unsigned char handling. | xleroy | 2011-03-10 | 1 | -1/+2 |
* | Treat "char" as unsigned OR signed depending on the configuration. | xleroy | 2011-03-09 | 1 | -7/+9 |
* | Updates for IA32-Cygwin. | xleroy | 2010-09-08 | 1 | -20/+31 |
* | Better emulation of long long as a struct. | xleroy | 2010-09-04 | 1 | -15/+50 |
* | Adding __builtin_annotation | xleroy | 2010-09-01 | 1 | -1/+45 |
* | Copyright banner | xleroy | 2010-08-18 | 1 | -0/+12 |
* | Renamed C2Clight into C2C | xleroy | 2010-08-18 | 1 | -0/+922 |