aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2023-05-15ada: Emit warnings for (some) ineffective static predicate testsSteve Baird1-0/+21
2023-05-15ada: Fix minor documentation formatting issueRonan Desplanques1-3/+3
2023-05-15ada: INOX: prototype RFC on String InterpolationJavier Miranda1-0/+63
2023-05-15ada: GNAT UGN: Add section documenting PIE being enabled by default on LinuxJoel Brobecker1-0/+42
2023-01-05ada: Update gnatpp documentation with --layout switchJoao Azevedo1-506/+325
2023-01-05ada: Update doc for -gnatw_qBob Duff1-0/+2
2023-01-03ada: GNAT UGN: Adjust wording in "Platform-specific Information" chapterJoel Brobecker1-2/+2
2022-12-01ada: Further adjustments to User's Guide for PIE defaultEric Botcazou2-13/+18
2022-12-01ada: Fix minor issues in reference manualRonan Desplanques1-20/+20
2022-12-01ada: Minor updates to gnat/doc configurationJosue Nava Bello1-28/+72
2022-11-28ada: Adjust runtime library and User's Guide to PIE default on LinuxEric Botcazou2-31/+45
2022-11-28ada: doc/share/conf.py: Switch the HTML documentation to using the RTD themeJoel Brobecker1-2/+2
2022-11-21ada: Order pragmas alphabetically in reference manualRonan Desplanques1-53/+53
2022-11-21ada: Improve documentation for -gnatw.h warningsSteve Baird1-2/+7
2022-11-14ada: hardcfr docs: add optional checkpointsAlexandre Oliva1-5/+121
2022-11-14ada: Remove gnatcheck referenceArnaud Charlet1-22/+0
generated by cgit v1.1 at 2024-08-18 10:55:51 +0000