aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/a-cofove.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-947/+5
2022-07-12[Ada] Annotate libraries with returning annotationJoffrey Huguet1-0/+2
2022-06-02[Ada] Fix iteration on formal vectorsClaire Dross1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-05[Ada] Disable contract cases on formal containersClaire Dross1-0/+1
2021-07-05[Ada] Add Reference and Constant_Reference functions to formal containersClaire Dross1-1/+43
2021-06-29[Ada] Disable Pre/Post in formal containersClaire Dross1-0/+5
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-21[Ada] Allow for of iteration on formal vectorsClaire Dross1-1/+48
2019-08-19[Ada] Add formal function parameter equality to SPARK containersJoffrey Huguet1-0/+2
2019-07-05[Ada] Ada.Containers.Formal_Vectors: make vectors always boundedClaire Dross1-50/+9
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/+924
generated by cgit v1.1 at 2024-10-05 03:11:02 +0000