aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc/gnat_rm
AgeCommit message (Expand)AuthorFilesLines
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy2-1/+11
2023-05-26ada: Minor doc clarificationYannick Moy1-1/+1
2023-05-23ada: Reorganize documentation of GNAT experimental featuresRaphael Amiard2-306/+487
2023-05-16ada: Document examples of No_Dependence restriction for code generationEric Botcazou1-1/+11
2023-05-15ada: Fix minor documentation formatting issueRonan Desplanques1-3/+3
2023-05-15ada: INOX: prototype RFC on String InterpolationJavier Miranda1-0/+63
2022-12-01ada: Fix minor issues in reference manualRonan Desplanques1-20/+20
2022-11-21ada: Order pragmas alphabetically in reference manualRonan Desplanques1-53/+53
2022-11-14ada: hardcfr docs: add optional checkpointsAlexandre Oliva1-5/+121
2022-11-14Revert "sphinx: ada: port to Sphinx"Martin Liska4-98/+0
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 Liska4-0/+98
2022-11-04ada: Static intrinsic functions are a core language extension.Steve Baird1-0/+2
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 Baird1-12/+16
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-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] 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
2022-09-02[Ada] Extend No_Dependence restriction to code generation (continued)Eric Botcazou1-1/+3
2022-07-13[Ada] Clarify hardening command-line options that require explicit choicesAlexandre Oliva1-8/+9
2022-07-04[Ada] Fix length of title underlines.Vasiliy Fofanov1-3/+3
2022-07-04[Ada] Add a RM entry for the functional infinite sequencesJulien Bortolussi1-0/+22
2022-07-04[Ada] Update the documentation of functional containersClaire Dross1-21/+19
2022-07-04[Ada] Adjust description of Pure_Function pragmaEric Botcazou1-3/+3
2022-06-01[Ada] Note that hardening features are experimentalAlexandre Oliva1-0/+3
2022-05-30[Ada] Remove repeated description of support for Address clausesPiotr Trojanek1-6/+0
2022-05-30[Ada] Tweaks to hardening docsAlexandre Oliva1-13/+42
2022-05-18[Ada] Fast implementation of floating-point mathematical functionsEric Botcazou1-0/+18
2022-05-17[Ada] Generic binary search implementationDmitriy Anisimkov1-0/+12
2022-05-17[Ada] Fix documentation of using attribute Loop_Entry in pragmasPiotr Trojanek1-4/+7
2022-05-13[Ada] Extend hardcfr testing (documentation)Alexandre Oliva1-16/+7
2022-05-13[Ada] Fix code example on representation clauseEtienne Servais1-3/+3
2022-05-13[Ada] Document control flow redundancyAlexandre Oliva1-20/+76
2022-05-12[Ada] Introduce hardbool Machine_Attribute for AdaAlexandre Oliva1-0/+36
2022-05-12[Ada] Fix typos in syntax for implementation-defined pragmasPiotr Trojanek1-4/+4
2022-05-11[Ada] Fix unbalanced paren in documentation marker for GNAT StudioPiotr Trojanek5-13/+13
2022-05-11[Ada] New No_Local_Tagged_Types restrictionMarc Poulhiès1-0/+7
2022-05-11[Ada] Fix layout of tables in PDF version of GNAT RMPiotr Trojanek1-0/+4
2022-05-11[Ada] Fix layout in description of aspects and pragmasPiotr Trojanek2-20/+20
generated by cgit v1.1 at 2025-05-28 06:50:57 +0000