aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2022-05-11[Ada] Add SUSE 32bit dependencyJoao Azevedo1-1/+4
2022-05-11[Ada] Fix formatting glitches in GNAT User's GuidePiotr Trojanek3-9/+9
2022-05-11[Ada] Use pygments for Ada code examples of elaboration controlPiotr Trojanek1-26/+26
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
2022-05-11[Ada] Fix markup in description of implementation-defined characteristicsPiotr Trojanek1-21/+21
2022-05-11[Ada] Fix markup in description of pragma EliminatePiotr Trojanek1-21/+17
2022-05-11[Ada] Document pragma Ada_2022Piotr Trojanek2-0/+31
2022-05-11[Ada] Properly reject unsupported address specificationsSteve Baird1-3/+14
2022-05-10[Ada] Fix a couple of typosKévin Le Gouguec2-3/+3
2022-05-09[Ada] Refine description of SPARK with static Boolean expressionsPiotr Trojanek1-14/+14
2022-05-09[Ada] Use "aspect" instead of "pragma" in warningsBob Duff1-1/+1
2022-05-09[Ada] Remove gnattest section from gnat user guideFedor Rybin1-917/+0
2022-01-31[Ada] doc/share/conf.py: fix string handlingPierre-Marie de Rodat1-1/+1
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-1/+3
2022-01-07[Ada] Update -gnatwr doc for import of parent packageEtienne Servais1-0/+2
2022-01-06[Ada] New restriction No_Tagged_Type_RegistrationBob Duff1-1/+12
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-33/+0
2021-12-28docs: replace http:// with https://Martin Liska1-2/+2
2021-12-02[Ada] Cleanups related to expansion of dispatching primitivesPiotr Trojanek1-1/+1
2021-12-01[Ada] Allow formal functions to have a default in the form of an expression f...Gary Dismukes1-0/+24
2021-12-01[Ada] Document System.Atomic_Counters as supported on ARM and AARCH64Piotr Trojanek1-1/+1
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-14/+46