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