aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/s-fatgen.adb
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-4/+0
2021-05-07[Ada] Raise Constraint_Error for Compose and Scaling if Machine_OverflowsEric Botcazou1-6/+13
2021-05-06[Ada] Do not second-guess the hardware for underflow handling of ScalingEric Botcazou1-4/+5
2021-05-06[Ada] Fix off-by-one bug in underflow handling of ScalingEric Botcazou1-1/+8
2021-05-06[Ada] Make new implementation of System.Fat_Gen.Valid more robustEric Botcazou1-1/+13
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-29[Ada] Reimplement Pred and Succ atttributes for floating-point typesEric Botcazou1-162/+213
2021-04-28[Ada] Fix computation of Prec/Succ of zero without denormalsEric Botcazou1-2/+31
2020-12-15[Ada] Implement tiered support for floating-point input operationsEric Botcazou1-0/+2
2020-12-14[Ada] Fix alignment warning in System.Fat_Gen unitEric Botcazou1-0/+1
2020-12-14[Ada] Add annotation after recent compiler changesArnaud Charlet1-0/+2
2020-12-14[Ada] Adjust again previous change to System.Fat_GenEric Botcazou1-3/+29
2020-12-14[Ada] Adjust previous change to System.Fat_GenEric Botcazou1-2/+5
2020-12-14[Ada] Implement part of System.Fat_Gen more efficientlyEric Botcazou1-326/+261
2020-12-14[Ada] Tidy up implementation of System.Fat_Gen.Valid and inline it againEric Botcazou1-81/+62
2020-10-21[Ada] Codepeer remarks take into accountLiaiss Merzougue1-0/+14
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Address potentially uninitialized variables and dead codeArnaud Charlet1-0/+4
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-05-29[Ada] Improper behavior of floating-point attributesEd Schonberg1-16/+2
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-15[multiple changes]Pierre-Marie de Rodat1-3/+4
2017-09-08Make-lang.in, [...]: Find runtime source in libgnat/Nicolas Roche1-0/+931