| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2025-06-05 | ada: Remove ghost code and SPARK annotations from runtime units | Arnaud Charlet | 1 | -0/+4 |
| 2024-05-20 | ada: Add direct workaround for limitations of RTSfind mechanism | Eric Botcazou | 1 | -8/+11 |
| 2023-06-20 | ada: Remove references to Might_Not_Return and Always_Return | Claire Dross | 1 | -3/+4 |
| 2023-05-25 | ada: Decouple size of addresses and pointers from size of memory space | Eric Botcazou | 1 | -3/+3 |
| 2022-07-12 | [Ada] Annotate libraries with returning annotation | Joffrey Huguet | 1 | -0/+2 |
| 2021-12-02 | [Ada] Proof of Interfaces.C with SPARK | Yannick Moy | 1 | -31/+389 |
| 2021-06-17 | [Ada] AI12-0411 Add "bool" to Interfaces.C | Arnaud Charlet | 1 | -2/+2 |
| 2021-05-06 | [Ada] AI12-0411: Add "bool" to Interfaces.C | Arnaud Charlet | 1 | -0/+5 |
| 2020-06-04 | [Ada] AI12-0184: Long Long C Data types | Arnaud Charlet | 1 | -3/+5 |
| 2017-09-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 1 | -0/+230 |
 |
index : rocket-tools/riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |