| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | document new named warning class 'reduced-alignment', bug 23389 | Michael Schmidt | 2018-09-04 | 1 | -0/+4 |
| | | |||||
| * | Document new named warning for tentative static definitions with incomplete ↵ | Michael Schmidt | 2018-08-21 | 1 | -0/+4 |
| | | | | | type, bug 23377 | ||||
| * | Document new named warning for flexible arrays, bug 23324 | Michael Schmidt | 2018-08-21 | 1 | -1/+1 |
| | | |||||
| * | Document new named warning for flexible arrays, bug 23324 | Michael Schmidt | 2018-08-21 | 1 | -0/+4 |
| | | |||||
| * | Remove undocumented option. | Bernhard Schommer | 2018-08-07 | 1 | -4/+0 |
| | | | | | | The option -doptions was never document and no longer works. Bug 19775 | ||||
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -2/+2 |
| | | |||||
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -3/+3 |
| | | |||||
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -1/+1 |
| | | |||||
| * | bug 23325, document recently introduced named warnings | Michael Schmidt | 2018-06-05 | 1 | -4/+28 |
| | | |||||
| * | bug 23325, document changed default for c11 named warning | Michael Schmidt | 2018-06-05 | 1 | -1/+1 |
| | | |||||
| * | Update manpage for new warning name class | Michael Schmidt | 2018-03-08 | 1 | -0/+4 |
| | | |||||
| * | Mention the RISC-V port as well | Xavier Leroy | 2018-01-13 | 1 | -1/+1 |
| | | |||||
| * | Update man page for new Diab target option | Michael Schmidt | 2018-01-08 | 1 | -6/+8 |
| | | |||||
| * | Update man page for new Diab target option | Michael Schmidt | 2018-01-08 | 1 | -0/+6 |
| | | |||||
| * | Inlining of static functions which are only called once. (#37) | Bernhard Schommer | 2017-12-07 | 1 | -0/+5 |
| | | | | | | | | | | New inlining heuristic for static functions. Static functions that are only called once can always be inlined, since they can be removed safely after inlining and no call prologue, epilogue, as well as register saving and needs to be generated. | ||||
| * | Add optimization option finline. | Bernhard Schommer | 2017-04-07 | 1 | -0/+5 |
| | | | | | | | The new option f(no-)inline controlls whether inlining is active or not. Bug 21343. | ||||
| * | 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 |