aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/s-imfi32.ads
AgeCommit message (Expand)AuthorFilesLines
2025-06-05ada: Remove ghost code and SPARK annotations from runtime unitsArnaud Charlet1-2/+1
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2024-11-12ada: Include design documentation within runtime sourcesPat Bernardi1-2/+21
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-05-12[Ada] Proof of 'Image support for signed integersYannick Moy1-1/+2
2022-05-11[Ada] Proof of 'Image support for unsigned integersYannick Moy1-1/+0
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-11-26[Ada] Add support for 128-bit fixed-point types on 64-bit platformsEric Botcazou1-0/+69