| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-11-12 | ada: Include design documentation within runtime sources | Pat Bernardi | 1 | -0/+5 |
| 2021-07-05 | [Ada] Adapt SPARK checking after change in rules regarding heap modeling | Yannick Moy | 1 | -1/+4 |
| 2017-09-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 1 | -0/+23 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |