aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.ads
AgeCommit message (Expand)AuthorFilesLines
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-24/+30
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-2/+13
2023-05-25ada: Fix comments for recently added SPARK aspectsPiotr Trojanek1-0/+2
2023-05-25ada: Add missing supportive code for recently added SPARK aspectsPiotr Trojanek1-21/+25
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+8
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-0/+29
2022-07-04[Ada] Avoid unwanted warnings for statically-known-successful assertionsSteve Baird1-0/+1
2022-06-01[Ada] Fix classification of Subprogram_Variant as assertion pragmaYannick Moy1-0/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-10-01[Ada] Stub CUDA_Device aspectGhjuvan Lacambre1-0/+1
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-1/+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-1/+0
2021-05-04[Ada] Fix handling of access-to-variable objects in Global and DependsPiotr Trojanek1-3/+3
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+7
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet1-0/+1
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Allow GNATprove to set overflow modeYannick Moy1-0/+5
2019-08-14[Ada] Warn about unknown condition in Compile_Time_WarningBob Duff1-8/+0
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-2/+3
2019-07-08[Ada] Code reorganizationJavier Miranda1-0/+6
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
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-11-09exp_ch3.adb, [...]: Minor reformatting.Pierre-Marie de Rodat1-0/+2
2017-09-25[multiple changes]Pierre-Marie de Rodat1-0/+19
2017-09-08[multiple changes]Arnaud Charlet1-0/+2
2017-09-06[multiple changes]Arnaud Charlet1-2/+2
2017-04-25sem_prag.adb, [...]: Minor reformatting.Hristian Kirtchev1-6/+11
2017-01-12[multiple changes]Arnaud Charlet1-0/+1
2017-01-09einfo.ads, einfo.adb: Remove uses of flags Has_Default_Init_Cond...Hristian Kirtchev1-27/+0
2017-01-06aspects.adb, [...]: Reverted previous change for now.Patrick Bernardi1-1/+0
2017-01-06aspect.adb, aspect.ads: Added new aspect Secondary_Stack_Size.Patrick Bernardi1-0/+1
2016-10-13exp_ch7.adb, [...]: Minor typo fixes and reformatting.Gary Dismukes1-2/+2
2016-10-13sem_prag.ads (Process_Compile_Time_Warning_Or_Error): New overloaded subprogr...Javier Miranda1-0/+8
2016-07-07[multiple changes]Arnaud Charlet1-4/+4
2016-07-07[multiple changes]Arnaud Charlet1-1/+3
2016-07-04[multiple changes]Arnaud Charlet1-8/+13
2016-07-04Minor reformatting.Arnaud Charlet1-7/+5
2016-07-04freeze.adb (Check_Inherited_Conditions): Perform two passes over the primitiv...Ed Schonberg1-0/+11
2016-06-22sem_prag.ads (Build_Classwide_Expression): new procedure to build the express...Ed Schonberg1-0/+11
2016-06-20[multiple changes]Arnaud Charlet1-8/+12
2016-04-18[multiple changes]Arnaud Charlet1-6/+6
2016-04-18[multiple changes]Arnaud Charlet1-7/+3
2016-04-18[multiple changes]Arnaud Charlet1-0/+17
2016-04-18[multiple changes]Arnaud Charlet1-0/+5
generated by cgit v1.1 at 2025-01-04 00:56:50 +0000