| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Support _Generic from ISO C 2011 | Xavier Leroy | 2022-05-13 | 1 | -0/+1 |
| * | Use the LGPL instead of the GPL for dual-licensed files | Xavier Leroy | 2021-05-08 | 1 | -4/+5 |
| * | Add new static-assert token for deLexer utility; bug 29273 | Michael Schmidt | 2020-08-04 | 1 | -0/+1 |
| * | Update delexer for BUILTIN_OFFSETOF. Bug 23929 | Bernhard Schommer | 2018-07-05 | 1 | -0/+1 |
| * | Updating deLexer to PRE_NAME tokens | Jacques-Henri Jourdan | 2015-11-07 | 1 | -0/+3 |
| * | Added copyright banners to the new files. | François Pottier | 2015-10-23 | 1 | -0/+15 |
| * | Install the new system for reporting syntax errors. | François Pottier | 2015-10-23 | 1 | -0/+120 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |