| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | bug 20679, more precise description of -g | Michael Schmidt | 2017-01-17 | 1 | -1/+1 |
| | | |||||
| * | Fix typos | Michael Schmidt | 2017-01-04 | 1 | -2/+2 |
| | | |||||
| * | bug 20593, document new warning class in man-page | Michael Schmidt | 2016-12-14 | 1 | -0/+4 |
| | | |||||
| * | fix targets in section for code generation options | Michael Schmidt | 2016-12-02 | 1 | -1/+5 |
| | | |||||
| * | update info about x86 in manpage | Michael Schmidt | 2016-11-03 | 1 | -2/+2 |
| | | |||||
| * | Minor improvements | Michael Schmidt | 2016-10-17 | 1 | -4/+4 |
| | | |||||
| * | Update description for debugging options | Michael Schmidt | 2016-10-14 | 1 | -4/+3 |
| | | |||||
| * | Add a man-page | Michael Schmidt | 2016-10-14 | 1 | -0/+534 |
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |