| 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 | -11/+24 |
| 2024-08-01 | ada: Fix bug in resolution of Ghost_Predicate | Bob Duff | 1 | -0/+1 |
| 2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2023-06-20 | ada: Remove references to Might_Not_Return and Always_Return | Claire Dross | 1 | -2/+3 |
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2022-07-12 | [Ada] Annotate libraries with returning annotation | Joffrey Huguet | 1 | -0/+1 |
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-10-21 | [Ada] Basic support for 128-bit types | Eric Botcazou | 1 | -1/+34 |
| 2020-10-15 | [Ada] AI12-0385 Predefined shifts and rotates should be static | Arnaud Charlet | 1 | -0/+198 |
 |
index : rocket-tools/riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |