| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2025-01-07 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2024-11-12 | ada: Include design documentation within runtime sources | Pat Bernardi | 1 | -2/+2 |
| 2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2023-07-06 | ada: Refactor the proof of the Value and Image runtime units | Claire Dross | 1 | -0/+60 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |