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