aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/par-prag.adb
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+56
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+1
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+1
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+1
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-2/+2
2023-05-15ada: Fix handling of pragma Warnings (Toolname, Off/On)Yannick Moy1-4/+5
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-11/+24
2022-07-13[Ada] Refine type for checking number of pragma argumentsPiotr Trojanek1-2/+2
2022-05-09[Ada] Simplify conversions from Uint to Char_CodePiotr Trojanek1-2/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-18/+0
2021-10-01[Ada] Stub CUDA_Device aspectGhjuvan Lacambre1-0/+1
2021-07-05[Ada] Turn GNAT_Annotate into its own pragmaGhjuvan Lacambre1-0/+1
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-2/+0
2021-06-18[Ada] Replace Opt.Extensions_Allowed by Ada_VersionArnaud Charlet1-3/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-4/+4
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] Use spans instead of locations for compiler diagnosticsYannick Moy1-20/+20
2020-11-24[Ada] Implement No_Unrecognized_{Aspects,Pragmas} restrictionsGhjuvan Lacambre1-0/+9
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+1
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet1-1/+0
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-1/+1
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet1-20/+22
2020-07-15[Ada] Extend static functionsArnaud Charlet1-1/+1
2020-06-17[Ada] Fix casing from GNATProve to GNATprovePiotr Trojanek1-1/+1
2020-06-12[Ada] Alphabetic ordering for name and pragmasPiotr Trojanek1-11/+11
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-10/+5
2020-06-04[Ada] Remove OpenACC supportArnaud Charlet1-4/+0
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-2/+2
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-20[Ada] New pragma Aggregate_Individually_AssignPatrick Bernardi1-0/+1
2019-08-20[Ada] Pragma Warning_As_Error works for style warningsBob Duff1-1/+15
2019-08-13[Ada] Implement pragma Max_Entry_Queue_LengthJustin Squirek1-0/+1
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-0/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-6/+6
2018-09-26[Ada] Front-end support for OpenACC pragmasOlivier Hainque1-0/+4
2018-05-30[Ada] Implement pragma Max_Entry_Queue_DepthJustin Squirek1-0/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-09-08[multiple changes]Arnaud Charlet1-18/+17
2017-09-06[multiple changes]Arnaud Charlet1-0/+1
2017-04-27[multiple changes]Arnaud Charlet1-1/+1
2017-04-27[multiple changes]Arnaud Charlet1-2/+6
2017-04-25[multiple changes]Arnaud Charlet1-1/+2
2017-04-25[multiple changes]Arnaud Charlet1-1/+1
2017-04-25[multiple changes]Arnaud Charlet1-0/+1
2017-04-25[multiple changes]Arnaud Charlet1-1/+1
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-219/+230