| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2024-01-22 | Update copyright years. | Marc Poulhiès | 1 | -1/+1 |
| 2023-01-09 | ada: Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2022-09-02 | [Ada] Fix proof of runtime unit System.Wid_* | Claire Dross | 1 | -1/+15 |
| 2022-05-11 | [Ada] Proof of 'Image support for unsigned integers | Yannick Moy | 1 | -141/+122 |
| 2022-01-11 | [Ada] Update copyright notice and bump Gnatvsn.Current_Year | Arnaud Charlet | 1 | -1/+1 |
| 2022-01-10 | [Ada] Remove CodePeer annotations for pragma Loop_Variant | Piotr Trojanek | 1 | -3/+0 |
| 2021-12-02 | [Ada] Proof of support units for 'Width on signed integers | Yannick Moy | 1 | -18/+36 |
| 2021-11-10 | [Ada] Create explicit ghost mirror unit for big integers | Yannick Moy | 1 | -2/+2 |
| 2021-10-25 | [Ada] Shutdown codepeer message | Arnaud Charlet | 1 | -1/+4 |
| 2021-10-20 | [Ada] Proof of the runtime support for attribute 'Width | Yannick Moy | 1 | -0/+107 |
| 2021-05-03 | [Ada] Update copyright notice | Arnaud Charlet | 1 | -1/+1 |
| 2020-10-21 | [Ada] Support of attributes Image, Put_Image, Val and Width for 128-bit types | Eric Botcazou | 1 | -0/+60 |
 |
index : riscv-gnu-toolchain/gcc.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |