| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2022-01-11 | [Ada] Remove extra space in single object declarations | Piotr Trojanek | 1 | -2/+2 |
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2021-10-11 | [Ada] Import binder globals as constant | Ghjuvan Lacambre | 1 | -1/+1 |
| 2021-10-04 | [Ada] Mark Ada.Text_IO in SPARK | Yannick Moy | 1 | -0/+1 |
| 2021-07-08 | [Ada] Make runtime code compatible with No_Dynamic_Accessibility_Checks | Arnaud Charlet | 1 | -7/+6 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-06-02 | [Ada] Bump copyright year | Arnaud Charlet | 1 | -1/+1 |
| 2019-07-05 | [Ada] Add contracts to Ada.Text_IO for SPARK | Joffrey Huguet | 1 | -1/+12 |
| 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-09-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 1 | -0/+2182 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |