aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/snames.ads-tmpl
AgeCommit message (Expand)AuthorFilesLines
2024-08-23ada: First controlling parameter aspectJavier Miranda1-0/+2
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou1-0/+3
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-2/+1
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-0/+2
2024-06-20ada: Replace "All" argument to Extensions_Allowed pragma with "All_Extensions"Steve Baird1-0/+1
2024-06-20ada: New pragma to default all interrupts to system.Doug Rupp1-0/+2
2024-06-20ada: Remove Max_Entry_Queue_Depth pragma/aspectEric Botcazou1-2/+1
2024-06-14ada: Minor tweak in SnamesEric Botcazou1-4/+1
2024-06-14ada: Remove unused name of aspect from SnamesEric Botcazou1-1/+0
2024-05-16ada: Implement new experimental attribute 'SuperJustin Squirek1-0/+2
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+4
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+2
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+2
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-0/+1
2023-05-26ada: Fix crash on 'Img as generic actual functionBob Duff1-1/+1
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+2
2023-05-23ada: Remove the body of System.Storage_ElementsEric Botcazou1-1/+2
2023-05-16ada: Bad handling of ASCII with -gnatynArnaud Charlet1-0/+1
2022-09-12[Ada] Accept explicit SPARK_Mode Auto as configuration pragmaYannick Moy1-0/+1
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-1/+1
2022-09-06[Ada] Enable lock free protected implementation by defaultSteve Baird1-13/+6
2022-07-13[Ada] Extend No_Dependence restriction to code generation (continued)Eric Botcazou1-0/+4
2022-07-12[Ada] Extend No_Dependence restriction to code generationEric Botcazou1-0/+4
2022-07-12[Ada] Avoid namespace pollution for Next and PreviousBob Duff1-0/+2
2022-07-05[Ada] Remove kludge for validity checks on Long_Float typePiotr Trojanek1-1/+0
2022-05-18[Ada] Ada2022: AI12-0143 Index attribute for entry familiesJavier Miranda1-0/+2
2022-05-11[Ada] Sort Detect_Blocking alphabetically among names and pragmasPiotr Trojanek1-2/+2
2022-05-11[Ada] Fix Compile_Time_(Error|Warning) as non-configuration pragmasPiotr Trojanek1-4/+4
2022-05-10[Ada] Accept Structural in aspect Subprogram_Variant and pragma Loop_VariantClaire Dross1-0/+1
2022-01-11[Ada] Remove name constant used by GNATprove but not by GNATPiotr Trojanek1-0/+1
2022-01-11[Ada] Remove unreferenced name constantsPiotr Trojanek1-37/+0
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-4/+0
2021-12-02[Ada] Cleanup detection of suspension objectsPiotr Trojanek1-1/+0
2021-10-05[Ada] Remove left-overs of Unaligned_Valid attributeEric Botcazou1-1/+0
2021-10-05[Ada] Front-end support for Storage_Model featureGary Dismukes1-0/+7
2021-10-01[Ada] Stub CUDA_Device aspectGhjuvan Lacambre1-0/+2
2021-09-22[Ada] Update status of some attributesArnaud Charlet1-4/+4
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-3/+24
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-0/+1
2021-07-05[Ada] Turn GNAT_Annotate into its own pragmaGhjuvan Lacambre1-1/+2
2021-06-21[Ada] Implement 'Valid_Value attributeBob Duff1-0/+2
2021-06-18[Ada] Minor comment cleanupsBob Duff1-1/+0
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-8/+0
2021-06-15[Ada] No_Task_Parts aspectBob Duff1-0/+1
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-3/+3
2021-05-07[Ada] Implement aspect No_Controlled_PartsJustin Squirek1-0/+1
2021-05-04[Ada] Preliminary cleanup in floating-point output implementationEric Botcazou1-1/+0
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-0/+5
generated by cgit v1.1 at 2025-08-06 14:50:24 +0000