| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 | -1/+1 |
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2022-06-02 | [Ada] Rename GNATprove annotate pragma for termination to Always_Return | Claire Dross | 1 | -1/+1 |
| 2022-05-30 | [Ada] Update proofs of double arithmetic unit after prover changes | Yannick Moy | 1 | -0/+59 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |