aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/s-imagef.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-13ada: Remove dynamic frame in System.Image_D and document it in System.Image_FEric Botcazou1-0/+9
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-10-19ada: Refactor code to remove GNATcheck violationSheri Bernstein1-35/+40
2023-07-06ada: Refactor the proof of the Value and Image runtime unitsClaire Dross1-7/+5
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-09-02[Ada] Fix proof of runtime unit System.Value* and System.Image*Claire Dross1-63/+10
2022-05-12[Ada] Make debug printouts more robustBob Duff1-1/+1
2022-05-12[Ada] Adapt CodePeer analysis of GNAT to changes in dependenciesYannick Moy1-0/+2
2022-05-12[Ada] Proof of 'Image support for signed integersYannick Moy1-1/+79
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-30[Ada] Expand integer-only implementation of ordinary fixed-point typesEric Botcazou1-17/+75
2020-11-27[Ada] Small tweaks to new implementation of Set_Image_FixedEric Botcazou1-14/+31
2020-11-26[Ada] Add support for 128-bit fixed-point types on 64-bit platformsEric Botcazou1-0/+287