aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/a-coorse.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-17ada: Fix containers' Reference_Preserving_Key functions' memory leaksSteve Baird1-1/+15
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-07-04[Ada] Add Ada 2022 features to sets containersBob Duff1-0/+55
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-12-01[Ada] Avoid duplication for Sets functionsEtienne Servais1-31/+6
2021-06-21[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_OutputSteve Baird1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-19[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff1-0/+26
2020-07-15[Ada] Mark standard containers as not in SPARKYannick Moy1-1/+3
2020-06-17[Ada] Ada2020: AI12-0110 Tampering checks are performed firstBob Duff1-2/+2
2020-06-03[Ada] Incorrect accessibility checking on aliased formalsJustin Squirek1-2/+2
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-10-10[Ada] Replace in Ordered_Maps gets tampering failureBob Duff1-5/+5
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-06-11[Ada] Minor reformattingHristian Kirtchev1-3/+4
2018-06-11[Ada] Dangling cursor checks in Element functionBob Duff1-0/+7
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/+1999