Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2025-06-05 | ada: Remove ghost code and SPARK annotations from runtime units | Arnaud Charlet | 1 | -2/+1 |
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 | -2/+21 |
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-05-12 | [Ada] Proof of 'Image support for signed integers | Yannick Moy | 1 | -1/+2 |
2022-05-11 | [Ada] Proof of 'Image support for unsigned integers | Yannick Moy | 1 | -1/+0 |
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-11-26 | [Ada] Add support for 128-bit fixed-point types on 64-bit platforms | Eric Botcazou | 1 | -0/+69 |