aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2022-11-14Revert "sphinx: ada: port to Sphinx"Martin Liska16-206/+732
2022-11-14Revert "sphinx: fix cross manual references"Martin Liska1-2/+1
2022-11-09sphinx: fix cross manual referencesMartin Liska1-1/+2
2022-11-09sphinx: ada: port to SphinxMartin Liska16-732/+206
2022-11-08ada: Align -gnatwc's documentation with its behaviorRonan Desplanques1-1/+1
2022-11-07ada: Document that gprof won't work on windows with PIE.Cedric Landet1-2/+6
2022-11-07ada: New warning about noncomposing user-defined "="Bob Duff1-0/+21
2022-11-04ada: Static intrinsic functions are a core language extension.Steve Baird1-0/+2
2022-11-04ada: Fix various typos in GNAT User's GuidePiotr Trojanek3-10/+11
2022-11-04ada: Fix typoRonan Desplanques1-1/+1
2022-11-04ada: Fix various typos in GNAT RMPiotr Trojanek5-11/+11
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird2-15/+36
2022-11-04ada: Remove VxWorks 6 and VxWorks 653 2.x content from the UGXCedric Landet1-1/+1
2022-10-06ada: Cleanup related to lock-free protected subprogramsPiotr Trojanek1-3/+3
2022-10-06ada: hardened conditionals: exemplify codegen changesAlexandre Oliva1-2/+49
2022-10-06ada: hardened booleans: exemplify codegen changesAlexandre Oliva1-4/+25
2022-10-06ada: stack scrubbing: exemplify codegen changesAlexandre Oliva1-0/+52
2022-09-26ada: Doc: rename Valid_Image to Valid_ValueGhjuvan Lacambre1-4/+4
2022-09-26ada: Document Long_Long_Long_Size parameter for -gnateTEric Botcazou1-0/+2
2022-09-26ada: Document support for the mold linkerKévin Le Gouguec1-3/+25
2022-09-26ada: Remove GNATmetric's documentation from GNAT's documentationBoris Yakobowski1-1119/+1
2022-09-12[Ada] Sync documentation of junk names with codePiotr Trojanek1-1/+1
2022-09-12[Ada] Remove SPARK containers from GNAT documentationJoffrey Huguet1-219/+0
2022-09-12[Ada] Lock_Free aspect takes precedence over Ceiling_Locking locking policySteve Baird1-1/+6
2022-09-06[Ada] Enable lock free protected implementation by defaultSteve Baird1-7/+0
2022-09-06[Ada] Improve documentation of validation checking control switchesSteve Baird1-37/+44
2022-09-06[Ada] Document change to legality checks for Inox case statementsSteve Baird1-1/+2
2022-09-06[Ada] Improve detection of illegal Iterable aspectsPiotr Trojanek1-6/+10