| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Also test if the __VA_LIST macro is defined to avoid problems with the typede... | Bernhard Schommer | 2015-07-09 | 1 | -2/+8 |
| * | Better define the __GNUC__ macro which avoids the inclusion of va_list header... | Bernhard Schommer | 2015-07-07 | 1 | -0/+4 |
| * | Improve compatibility with MacOS X. | Xavier Leroy | 2015-04-26 | 1 | -0/+3 |
| * | Provide and use compiler-dependent standard headers. | Xavier Leroy | 2015-04-25 | 1 | -0/+58 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |