aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/s-arit64.adb
AgeCommit message (Expand)AuthorFilesLines
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-11-10[Ada] Prove double precision integer arithmetic unitPierre-Alexandre Bazin1-1/+3
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-628/+15
2020-10-21[Ada] Codepeer remarks take into accountLiaiss Merzougue1-0/+19
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-09-17[Ada] Fix rounding of fixed-point arithmetic operationYannick Moy1-8/+35
2019-09-17[Ada] Minor fixes mostly in comments of runtime arithmetic unitYannick Moy1-6/+20
2019-09-17[Ada] Raise Constraint_Error in overflow case involving roundingYannick Moy1-0/+8
2019-09-17[Ada] Fix possible suppressed overflows in arithmetic run-timeYannick Moy1-2/+6
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-09-08Make-lang.in, [...]: Find runtime source in libgnat/Nicolas Roche1-0/+605