aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/a-cofuve.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-09-12[Ada] Replace SPARK containers implementation by Compile_Time_ErrorJoffrey Huguet1-376/+5
2022-07-12[Ada] Annotate libraries with returning annotationJoffrey Huguet1-1/+4
2022-05-30[Ada] Add empty constructors to the functional containersJulien Bortolussi1-0/+6
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-05[Ada] Remove extra space in parameter associationsPiotr Trojanek1-1/+1
2021-07-05[Ada] Add Reference and Constant_Reference functions to formal containersClaire Dross1-0/+7
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-06-05[Ada] Add missing Global contract to Ada.Containers.Functional_VectorsPiotr Trojanek1-1/+2
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-19[Ada] Add formal function parameter equality to SPARK containersJoffrey Huguet1-0/+1
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/+393