summaryrefslogtreecommitdiff
path: root/gcc/ada/aspects.ads
AgeCommit message (Expand)Author
2025-11-03ada: Direct attribute definition for constructorsDenis Mazzucato
2025-09-19ada: Fix comment about operational aspectsRonan Desplanques
2025-09-19ada: Remove commentRonan Desplanques
2025-09-15ada: Implement Super aspect and improve implementation of related features.Steve Baird
2025-09-09ada: Unsigned_Base_Range aspectJavier Miranda
2025-07-22ada: Add destructors extensionRonan Desplanques
2025-07-22ada: Fix unnecessary extra RE_Activation_Chain_Access with No_Task_PartsDenis Mazzucato
2025-07-03ada: Support Potentially_Invalid aspect in the frontendJoffrey Huguet
2025-06-06ada: Support aspect Program_Exit with no expressionPiotr Trojanek
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek
2025-06-06ada: Initial prototype of constructorssquirek
2025-01-07Update copyright years.Marc Poulhiès
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross
2024-12-12ada: Add minimal support for other delayed aspects on controlled objectsEric Botcazou
2024-11-04ada: Initial implementation of Extended_Access aspect (FE portion only)Steve Baird
2024-10-08ada: Add External_Initialization extensionRonan Desplanques
2024-08-23ada: First controlling parameter aspectJavier Miranda
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou
2024-06-21ada: Generic formal/actual matching -- misc cleanupBob Duff
2024-06-20ada: Remove Max_Entry_Queue_Depth pragma/aspectEric Botcazou
2024-06-14ada: Fix parts of classification of aspectsEric Botcazou
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek
2024-06-14ada: Minor tweaks to processing of Aggregate aspectEric Botcazou
2024-05-21ada: Fix layout in a list of aspectsPiotr Trojanek
2024-05-16ada: Fix alphabetic ordering of aspect identifiersPiotr Trojanek
2024-05-14ada: Fix classification of SPARK Boolean aspectsPiotr Trojanek
2024-01-22Update copyright years.Marc Poulhiès
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy
2023-08-01ada: Default Put_Image for composite derived types is missing informationPascal Obry
2023-06-15ada: Accept aspect Always_Terminates without expressionPiotr Trojanek
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy
2023-05-25ada: Add missing supportive code for recently added SPARK aspectsPiotr Trojanek
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek
2023-01-09ada: Update copyright noticeArnaud Charlet
2022-09-05[Ada] Fix crash for Default_Initial_Condition on derived enumeration typeEric Botcazou
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet
2021-11-10[Ada] ACATS BDC1002 shall not error on arbitrary aspectEtienne Servais
2021-10-05[Ada] Front-end support for Storage_Model featureGary Dismukes
2021-10-01[Ada] Stub CUDA_Device aspectGhjuvan Lacambre
2021-09-22[Ada] Removal of technical debtJustin Squirek
2021-07-05[Ada] Turn GNAT_Annotate into its own pragmaGhjuvan Lacambre
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff
2021-06-15[Ada] No_Task_Parts aspectBob Duff
2021-05-07[Ada] Implement aspect No_Controlled_PartsJustin Squirek
2021-05-03[Ada] Update copyright noticeArnaud Charlet