aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/a-cihama.adb
AgeCommit message (Expand)AuthorFilesLines
2022-05-18[Ada] Disable Vet calls when container checks are disabledBob Duff1-1/+5
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-2/+0
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
2021-04-28[Ada] Hashed container Cursor type predefined equality non-conformanceRichard Wai1-1/+3
2020-10-26[Ada] Delete: set Position to No_ElementBob Duff1-0/+2
2020-10-20[Ada] AI12-0339: Empty function for Aggregate aspect of Ada containersEd Schonberg1-0/+11
2020-10-19[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def typesBob Duff1-0/+31
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-6/+6
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-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-09-08Make-lang.in, [...]: Find runtime source in libgnat/Nicolas Roche1-0/+1364