aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.ads
AgeCommit message (Expand)AuthorFilesLines
2024-06-20ada: Remove Max_Entry_Queue_Depth pragma/aspectEric Botcazou1-6/+0
2024-06-14ada: Fix parts of classification of aspectsEric Botcazou1-34/+60
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+1
2024-06-14ada: Minor tweaks to processing of Aggregate aspectEric Botcazou1-2/+2
2024-05-21ada: Fix layout in a list of aspectsPiotr Trojanek1-8/+11
2024-05-16ada: Fix alphabetic ordering of aspect identifiersPiotr Trojanek1-2/+2
2024-05-14ada: Fix classification of SPARK Boolean aspectsPiotr Trojanek1-23/+16
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-28/+5
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+33
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+6
2023-08-01ada: Default Put_Image for composite derived types is missing informationPascal Obry1-2/+10
2023-06-15ada: Accept aspect Always_Terminates without expressionPiotr Trojanek1-1/+1
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+6
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-1/+7
2023-05-25ada: Add missing supportive code for recently added SPARK aspectsPiotr Trojanek1-0/+2
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+5
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-09-05[Ada] Fix crash for Default_Initial_Condition on derived enumeration typeEric Botcazou1-3/+3
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-11-10[Ada] ACATS BDC1002 shall not error on arbitrary aspectEtienne Servais1-0/+8
2021-10-05[Ada] Front-end support for Storage_Model featureGary Dismukes1-0/+10
2021-10-01[Ada] Stub CUDA_Device aspectGhjuvan Lacambre1-0/+4
2021-09-22[Ada] Removal of technical debtJustin Squirek1-1/+1
2021-07-05[Ada] Turn GNAT_Annotate into its own pragmaGhjuvan Lacambre1-3/+10
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-5/+1
2021-06-15[Ada] No_Task_Parts aspectBob Duff1-0/+5
2021-05-07[Ada] Implement aspect No_Controlled_PartsJustin Squirek1-0/+5
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-11-27[Ada] Implement AI12-0187 (Stable properties of abstract data types)Steve Baird1-19/+31
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-0/+4
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-10/+4
2020-10-22[Ada] AI12-0211: Consistency of inherited nonoverridable aspectsSteve Baird1-0/+10
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+5
2020-10-16[Ada] Ada2020: AI12-0129 Make protected objects more protectingArnaud Charlet1-0/+4
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet1-0/+4
2020-07-10[Ada] Part of implementation of AI12-0212: container aggregatesEd Schonberg1-0/+6
2020-07-06[Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive operationsArnaud Charlet1-1/+1
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-3/+7
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+4
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-0/+15
2020-06-15[Ada] Missing errors on aspect checkingArnaud Charlet1-1/+1
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-0/+6
2020-06-12[Ada] ACATS 4.2Q - BDD2007Arnaud Charlet1-0/+128
2020-06-04[Ada] Put_Image attributeBob Duff1-5/+9
2020-06-03[Ada] Remove ASIS tree generationArnaud Charlet1-6/+0
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-08-13[Ada] Implement pragma Max_Entry_Queue_LengthJustin Squirek1-1/+6
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-0/+4
generated by cgit v1.1 at 2024-07-24 15:43:33 +0000