| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2023-06-20 | ada: Remove references to Might_Not_Return and Always_Return | Claire Dross | 1 | -18/+21 |
| 2022-07-12 | [Ada] Annotate libraries with returning annotation | Joffrey Huguet | 1 | -11/+17 |
| 2020-12-16 | [Ada] Mark generic body outside of SPARK | Yannick Moy | 1 | -1/+1 |
| 2019-07-05 | [Ada] Add contracts to Ada.Text_IO for SPARK | Joffrey Huguet | 1 | -6/+29 |
| 2017-09-08 | Make-lang.in, [...]: Find runtime source in libgnat/ | Nicolas Roche | 1 | -0/+69 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |