Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |