aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/s-rident.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Remove No_Dynamic_Priorities from Restricted_TaskingJohannes Kliemann1-1/+0
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-21ada: Internal compiler error for Sequential Partition_Elaboration_PolicySteve Baird1-2/+3
2022-05-11[Ada] New No_Local_Tagged_Types restrictionMarc Poulhiès1-1/+3
2022-05-11[Ada] Update categorization of implementation restrictionsPiotr Trojanek1-2/+2
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] New restriction No_Tagged_Type_RegistrationBob Duff1-0/+1
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-2/+3
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-0/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-11-24[Ada] Implement No_Unrecognized_{Aspects,Pragmas} restrictionsGhjuvan Lacambre1-0/+2
2020-10-22[Ada] Add No_Implicit_Task_Allocations and No_Implicit_PO_Allocations to JorvikPatrick Bernardi1-42/+9
2020-07-16[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPUBob Duff1-0/+1
2020-07-16[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment restrictionBob Duff1-4/+11
2020-06-08[Ada] Implement AI12-0291 (Jorvik profile)Steve Baird1-0/+62
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-1/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+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-11-09[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-09-08Make-lang.in, [...]: Find runtime source in libgnat/Nicolas Roche1-0/+642