| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2020-10-23 | [Ada] Update header of front-end files | Arnaud Charlet | 1 | -10/+4 |
| 2020-10-16 | [Ada] Relax too strong assertions | Arnaud Charlet | 1 | -1/+1 |
| 2020-07-27 | [Ada] Use membership tests in front-end | Arnaud Charlet | 1 | -4/+3 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-07-05 | [Ada] Removing support for SCIL "contract-only" subprogram bodies | Javier Miranda | 1 | -67/+0 |
| 2019-01-08 | [Ada] Bump copyright years to 2019 | Pierre-Marie de Rodat | 1 | -1/+1 |
| 2018-01-11 | [Ada] Bump copyright notices to 2018 | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -1/+1 |
| 2017-01-13 | [multiple changes] | Arnaud Charlet | 1 | -28/+0 |
| 2017-01-12 | [multiple changes] | Arnaud Charlet | 1 | -44/+134 |
| 2012-06-12 | [multiple changes] | Arnaud Charlet | 1 | -3/+2 |
| 2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+14 |
| 2010-06-23 | [multiple changes] | Arnaud Charlet | 1 | -0/+130 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |