| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Native support for bit fields (#400) | Xavier Leroy | 2021-08-22 | 1 | -4/+4 |
| * | Remove `-version-file` option from option summary | Xavier Leroy | 2021-04-23 | 1 | -1/+0 |
| * | Remove -version-file option | Xavier Leroy | 2020-10-12 | 1 | -19/+2 |
| * | Add missing comment for print_version_file_and_exit | Christoph Cullmann | 2020-07-30 | 1 | -0/+1 |
| * | No trailing commas for --version-file option. | Bernhard Schommer | 2020-07-09 | 1 | -1/+1 |
| * | Fix typo. | Bernhard Schommer | 2020-07-08 | 1 | -1/+1 |
| * | Revert "Use the same version string." | Bernhard Schommer | 2020-07-08 | 1 | -3/+10 |
| * | Use the same version string. | Bernhard Schommer | 2020-07-08 | 1 | -10/+3 |
| * | Introduce additional "branch" build information. | Bernhard Schommer | 2020-07-08 | 1 | -3/+5 |
| * | Add option to print version information in file | Bernhard Schommer | 2020-07-08 | 1 | -1/+17 |
| * | Change to AbsInt version string. | Bernhard Schommer | 2019-05-10 | 1 | -2/+2 |
| * | Share code for common options. | Bernhard Schommer | 2018-01-29 | 1 | -0/+89 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |