aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2023-10-19ada: Document gnatbind -Q switchPatrick Bernardi1-6/+23
2023-09-26ada: Dimensional analysis when used with elementary functionsDerek Schacht1-0/+12
2023-09-15ada: Remove GNAT Pro details regarding moldKévin Le Gouguec1-22/+0
2023-09-05ada: building_executable_programs_with_gnat.rst: fix -gnatw.x indexGhjuvan Lacambre1-1/+1
2023-07-18ada: Expose expected_throw attributeAlexandre Oliva1-1/+3
2023-07-10ada: Documentation for mixed declarations and statementsBob Duff1-0/+21
2023-07-10ada: hardcfr: optionally disable in leaf functionsAlexandre Oliva1-0/+5
2023-07-10ada: hardcfr: mark throw-expected functionsAlexandre Oliva1-8/+9
2023-07-10ada: Add leafy mode for zero-call-used-regsAlexandre Oliva1-0/+6
2023-07-06ada: Refer to non-Ada binding limitations in user guideViljar Indus1-0/+3
2023-07-04ada: Add No_Use_Of_Attribute & No_Use_Of_Pragma to gnat_rmViljar Indus1-0/+14
2023-06-20ada: Fix couple of issues in documentation of overflow checkingEric Botcazou1-20/+3
2023-06-20ada: Document partition-wide Ada signal handlersJose Ruiz1-0/+47
2023-06-20ada: Introduce -gnateH switch to force reverse Bit_Order threshold to 64Eric Botcazou1-0/+8
generated by cgit v1.1 at 2024-07-24 15:13:03 +0000