| Commit message (Expand) | Author | Age | Files | Lines |
* | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 2022-01-11 | 1 | -1/+1 |
* | [Ada] Update copyright notice | Arnaud Charlet | 2021-05-03 | 1 | -1/+1 |
* | [Ada] Update header of front-end files | Arnaud Charlet | 2020-10-23 | 1 | -10/+4 |
* | [Ada] Bump copyright year | Arnaud Charlet | 2020-06-02 | 1 | -1/+1 |
* | [Ada] Removing support for SCIL "contract-only" subprogram bodies | Javier Miranda | 2019-07-05 | 1 | -13/+1 |
* | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 2019-01-08 | 1 | -1/+1 |
* | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 2018-01-11 | 1 | -1/+1 |
* | [multiple changes] | Arnaud Charlet | 2017-01-13 | 1 | -7/+0 |
* | [multiple changes] | Arnaud Charlet | 2017-01-12 | 1 | -3/+22 |
* | [multiple changes] | Arnaud Charlet | 2010-06-23 | 1 | -0/+48 |