aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2021-11-09[Ada] Document the SuSE kernel bugTom Tromey1-0/+17
2021-10-30Implied compares in Ada Harded Conditionals documentationAlexandre Oliva1-3/+4
2021-10-28hardened conditionalsAlexandre Oliva1-0/+40
2021-10-25[Ada] Relax INOX restrictions when casing on composite value.Steve Baird1-3/+18
2021-10-20[Ada] Warning on nonmatching subtypes in fully conforming subprogram specs an...Gary Dismukes1-0/+19
2021-10-05[Ada] introduce stack scrub (strub) featureAlexandre Oliva3-0/+93
2021-10-05[Ada] Forbids use of Compile_Time_(Error|Warning) as configuration pragmaEtienne Servais2-52/+41
2021-10-04[Ada] Incremental patch for restriction No_Dynamic_Accessibility_ChecksJustin Squirek1-0/+38
2021-10-04[Ada] Document the current behaviour of -gnateA switchPiotr Trojanek1-3/+4
2021-10-04[Ada] Adjust documentation of -fdump-ada-spec in GNAT UGEric Botcazou1-40/+12
2021-10-01[Ada] Document rounding mode assumed for dynamic floating-point computationsEric Botcazou1-6/+6
2021-10-01[Ada] Document that gnatmem requires fixed-position executablesEric Botcazou1-6/+8
generated by cgit v1.1 at 2024-08-21 09:13:34 +0000