aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/snames.ads-tmpl
AgeCommit message (Expand)AuthorFilesLines
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
2020-11-30[Ada] Expand integer-only implementation of ordinary fixed-point typesEric Botcazou1-0/+4
2020-11-30[Ada] Confusion in Transform_Function_Array and internal subprogramsArnaud Charlet1-173/+6
2020-11-27[Ada] Implement AI12-0187 (Stable properties of abstract data types)Steve Baird1-0/+1
2020-11-24[Ada] Implement No_Unrecognized_{Aspects,Pragmas} restrictionsGhjuvan Lacambre1-0/+2
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-0/+1
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-10/+4
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-0/+1
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-2/+4
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+3
2020-10-16[Ada] Ada2020: AI12-0129 Make protected objects more protectingArnaud Charlet1-0/+1
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet1-2/+0
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-0/+2
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet1-0/+4
generated by cgit v1.1 at 2025-01-19 05:18:07 +0000