| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Change to AbsInt version string. | Bernhard Schommer | 2019-05-10 | 1 | -2/+2 |
| | | | | | | The AbsInt build number no longer contains "release", so it must be printed additionally. | ||||
| * | Share code for common options. | Bernhard Schommer | 2018-01-29 | 1 | -0/+89 |
| In order to avoid more divergence between the command line options of clightgen and ccomp the code for the common options, the language support options, the version string and the general options. | |||||
 |
index : compcert | |
| CompCert fork with minor modifications for Vericert. |
| aboutsummaryrefslogtreecommitdiffstats |