aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2023-06-15ada: Make minor improvements to user's guideRonan Desplanques2-16/+16
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy2-1/+11
2023-05-30ada: Fix minor issues in user's guideRonan Desplanques2-18/+16
2023-05-29ada: Remove extra whitespace from FOR loopsPiotr Trojanek1-2/+2
2023-05-26ada: Minor doc clarificationYannick Moy1-1/+1
2023-05-23ada: Add new switch -gnatyzArnaud Charlet1-7/+16
2023-05-23ada: Reorganize documentation of GNAT experimental featuresRaphael Amiard3-306/+488
2023-05-16ada: Fix typo in "pattern"Tom Tromey1-1/+1
2023-05-16ada: Document examples of No_Dependence restriction for code generationEric Botcazou1-1/+11
2023-05-15ada: Fix formatting inconsistency in User's GuideRonan Desplanques1-2/+2