aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
2024-09-02ada: Create usage entry for -gnatw_lViljar Indus1-3/+3
2024-09-02ada: Fix minor issues in -gnaty0's documentationRonan Desplanques1-3/+3
2024-09-02ada: Documentation for generic type inferenceBob Duff1-1/+79
2024-08-29ada: First controlling parameter aspectJavier Miranda1-0/+82
2024-08-29ada: Update documentation for conditional when constructsJustin Squirek1-71/+70
2024-08-23ada: Emit a warning on inheritly limited typesViljar Indus1-0/+17
2024-08-02ada: Update doc of Style_Checks pragmaTonu Naks1-5/+74
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou4-6/+30
2024-08-02ada: Improve documenation about security of PRGNsJohannes Kliemann2-3/+7
2024-08-02ada: Fix layout of GNAT reference manual sectionRonan Desplanques1-2/+3
2024-08-01ada: Restrict string interpolation to single string literalJavier Miranda1-14/+2
2024-08-01ada: Implement full relaxed finalization semantics for controlled objectsEric Botcazou1-2/+1
2024-07-02ada: Fix crash on box-initialized component with No_Default_InitializationEric Botcazou1-2/+2
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-0/+33
2024-06-20ada: Replace "All" argument to Extensions_Allowed pragma with "All_Extensions"Steve Baird2-7/+8
2024-06-20ada: New pragma to default all interrupts to system.Doug Rupp2-0/+17
2024-06-20ada: Update Bit Ordering references in GNAT Reference ManualEric Botcazou2-11/+8
2024-06-20ada: Add documentation for Subprogram_Variant aspect and pragmaPiotr Trojanek2-0/+37
2024-06-20ada: Couple of minor fixes in GNAT Reference ManualEric Botcazou2-9/+8
2024-06-20ada: Change messages for -gnatw.v to warningsViljar Indus1-9/+8
2024-06-20ada: Convert -gnatw.n messages to warningsViljar Indus1-5/+7
2024-06-20ada: Add switch for suppressing info messagesViljar Indus1-0/+15
2024-06-20ada: Update documentation for 'SuperJustin Squirek2-24/+27
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+38
2024-06-13ada: Remove Iterable from list of GNAT-specific attributesEric Botcazou1-6/+0
2024-06-13ada: Fix Super attribute documentationSteve Baird1-1/+1
2024-06-10ada: Adjust comments and doc about the new use of restriction No_StreamsPiotr Trojanek2-6/+6
2024-05-21ada: Fix formatting in list of implemented Ada 2012 featuresPiotr Trojanek1-3/+3
2024-05-21ada: Sort list of implemented Ada 2012 featuresPiotr Trojanek1-812/+812
2024-05-21ada: Fix index entry for an implemented AI featurePiotr Trojanek1-1/+1
2024-05-21ada: Update documentation of warning messagesViljar Indus1-7/+7
2024-05-21ada: Do not leak tagged type names when Discard_Names is enabledPiotr Trojanek1-0/+6
2024-05-21ada: Add new Mingw task priority mappingJustin Squirek1-51/+66
2024-05-20ada: Implement representation aspect Max_Entry_Queue_LengthJose Ruiz1-1/+1
2024-05-20ada: Rework and augment documentation on strict aliasingEric Botcazou2-132/+171
2024-05-17ada: Fix probable copy/paste errorMarc Poulhiès1-4/+3
2024-05-16ada: Implement new experimental attribute 'SuperJustin Squirek1-0/+24
2024-05-16ada: Fix docs and comments about pragmas for Boolean-valued aspectsPiotr Trojanek1-25/+32
2024-05-13ada: Remove deprecated VxWorks interrupt connection APIAshley Gay1-17/+0
2024-05-13ada: Enable casing on composite via -X0 instead of -XSteve Baird1-118/+118
2024-05-06ada: Extend Round attribute to ordinary fixed point typesEric Botcazou1-0/+8
2024-04-15ada: Add documentation for Exceptional_CasesPiotr Trojanek2-0/+30
2024-01-09ada: Document new SPARK aspect and pragma Always_TerminatesPiotr Trojanek2-0/+20
2023-12-19ada: Do not issue SPARK legality error if SPARK_Mode ignoredYannick Moy1-1/+3
2023-11-28ada: Fix incorrect quoting in documentationEric Botcazou1-3/+2
2023-11-21ada: Fix misplaced index directive in documentationMarc Poulhiès1-6/+5
2023-11-07ada: Update the logo in the gnat docJulien Bortolussi1-3/+6
2023-11-07ada: Fix documentation of -gnatwcRonan Desplanques1-2/+2
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird3-0/+94
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy2-0/+20
generated by cgit v1.1 at 2025-01-14 16:17:34 +0000