| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add optimization option finline. | Bernhard Schommer | 2017-04-07 | 1 | -0/+5 |
| * | update manpage for new options | Michael Schmidt | 2017-02-21 | 1 | -4/+16 |
| * | drop .cm support from man page | Michael Schmidt | 2017-02-15 | 1 | -4/+0 |
| * | mention share directory for -target option | Michael Schmidt | 2017-01-26 | 1 | -0/+1 |
| * | describe -conf and -target | Michael Schmidt | 2017-01-26 | 1 | -0/+11 |
| * | describe environment variable for configuration file | Michael Schmidt | 2017-01-26 | 1 | -2/+10 |
| * | 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 |