aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2022-09-05[Ada] New gnatbind switch -kArnaud Charlet1-0/+16
2022-09-05[Ada] Fix syntax in documentationArnaud Charlet1-5/+2
2022-09-02[Ada] Extend No_Dependence restriction to code generation (continued)Eric Botcazou1-1/+3
2022-09-02[Ada] Update documentation about non-symbolic tracebackEric Botcazou1-78/+99
2022-07-13[Ada] Clarify hardening command-line options that require explicit choicesAlexandre Oliva1-8/+9
2022-07-12[Ada] Make it clear that gnatmake passes the ball to gprbuild if -P is setVasiliy Fofanov1-9/+11
2022-07-05[Ada] Warn about obsolete uses of renamed Ada 83 packagesPiotr Trojanek1-2/+1
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] Add GNAT specific pragmas to the equivalent Assertion_Policy for -gnataClaire Dross1-9/+25
2022-07-04[Ada] Adjust description of Pure_Function pragmaEric Botcazou1-3/+3
2022-06-01[Ada] Enable using absolute paths in -fdiagnostics-format=json outputGhjuvan Lacambre1-2/+4
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-19[Ada] Remove remaining references to gnatfind/gnatxrefArnaud Charlet2-8/+7
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-13[Ada] Remove obsolete uses of Unchecked_Conversion from Ada 83Piotr Trojanek1-3/+3
2022-05-13[Ada] Remove obsolete uses of Unchecked_Deallocation from Ada 83Piotr Trojanek1-7/+7
2022-05-12[Ada] Fix URL in docArnaud Charlet1-1/+1
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-12[Ada] Document Aggregate_Individually_Assign as a configuration pragmaPiotr Trojanek1-0/+1
2022-05-11[Ada] Fix unbalanced paren in documentation marker for GNAT StudioPiotr Trojanek8-23/+23
2022-05-11[Ada] New No_Local_Tagged_Types restrictionMarc Poulhiès1-0/+7