aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/a-cfinse.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-345/+5
2022-07-12[Ada] Annotate libraries with returning annotationJoffrey Huguet1-1/+4
2022-07-04[Ada] Create new unbounded functional sequenceJulien Bortolussi1-0/+377