aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
2021-05-25Fix sphinx-build warning.Martin Liska1-2/+2
2021-05-14Port gnat-style to Sphinx.Martin Liska3-2/+695
2021-05-12ada: do not use binary mode in conf.pyMartin Liska1-14/+14
2021-05-07[Ada] Generate warning for negative literal of a modular typeYannick Moy1-1/+4
2021-05-06[Ada] Document a few more characteristics of floating-point supportEric Botcazou1-8/+17
2021-05-06[Ada] Add mention of underscore and fix grammar error in doc for -gnatdGary Dismukes1-3/+3
2021-05-04[Ada] Fix inconsistent handling of character set control switchesPiotr Trojanek1-1/+1
2021-04-29[Ada] Consistent wording for permissible-vs-allowed prefixPiotr Trojanek1-10/+10
2021-04-28[Ada] Fix the Sphinx configuration and port it to Python3Arnaud Charlet2-16/+88
2020-12-16[Ada] Fix integer-vs-float errors in example for Test_Case pragmaPiotr Trojanek1-2/+2
2020-12-15[Ada] Small adjustment to parameterization of System.Value_REric Botcazou1-1/+1
2020-12-14[Ada] Fix documentation of -gnatw.K switch (activates => disables)Gary Dismukes1-1/+1
2020-11-30[Ada] Expand integer-only implementation of ordinary fixed-point typesEric Botcazou2-11/+30
2020-11-30[Ada] Implement -gnateb switchGhjuvan Lacambre2-0/+11
2020-11-30[Ada] Add stream-oriented attributes support for 128-bit integer typesEric Botcazou1-0/+3
2020-11-27[Ada] Default_Initial_Condition assertion policy is now RM definedPiotr Trojanek1-27/+27
2020-11-27[Ada] Sync doc and code for pragma Assertion_PolicyPiotr Trojanek1-15/+18
2020-11-26[Ada] Add support for 128-bit fixed-point types on 64-bit platformsEric Botcazou1-10/+20
2020-11-25[Ada] Document attribute Has_Tagged_Values in GNAT RMPiotr Trojanek1-0/+13
2020-11-25[Ada] Crash on right shift operator for signed integersJustin Squirek1-1/+3
2020-11-24[Ada] Documentation: update -gnatyk descriptionGhjuvan Lacambre1-1/+2
2020-11-24[Ada] Document characteristics of decimal fixed point typesEric Botcazou1-1/+3
2020-10-26[Ada] Replace GNAT_Extended_Ravenscar profile namePat Rogers1-9/+16
2020-10-26[Ada] Document characteristics of ordinary fixed point typesEric Botcazou1-7/+8
2020-10-26[Ada] gnatpp: Document that --no-comments-fill is now the defaultBob Duff1-2/+2
2020-10-26[Ada] AI12-0395: Allow aspect_specifications on formal parametersArnaud Charlet1-1/+1
2020-10-23[Ada] gnatpp: Document --no-comments-fillBob Duff1-2/+3
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-6/+0
2020-10-23[Ada] Improve documentation of pragma Abort_DeferArnaud Charlet1-1/+15
2020-10-22[Ada] Enable the support of 128-bit integer types by defaultEric Botcazou1-46/+49
2020-10-22[Ada] Minor fix in GNAT RMEric Botcazou1-5/+5
2020-10-22[Ada] Minor fixes in GNAT RMEric Botcazou1-4/+3
2020-10-21[Ada] Document Long_Long_Long_Integer in implementation characteristicsEric Botcazou1-11/+13
2020-10-20[Ada] Add support for Unreferenced aspect on formal parametersArnaud Charlet1-3/+5
2020-10-20[Ada] gnatpp: Fix documentation of threshold switchesBob Duff1-4/+4
2020-10-20[Ada] New warning on not fully initialized box aggregateArnaud Charlet1-12/+7
2020-10-20[Ada] Flexible AST node structureBob Duff1-2/+2
2020-10-20[Ada] Document Ada.Task_InitializationPat Rogers1-0/+12
2020-10-16[Ada] Remove support for -gnatP and pragma PollingArnaud Charlet3-52/+0
2020-10-16[Ada] Fix documentation of No_Local_Timing_EventsPiotr Trojanek1-1/+1
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-0/+8
2020-07-15[Ada] Remove doc on obsolete toolsArnaud Charlet1-1298/+0
2020-07-15[Ada] Documentation cleanupsArnaud Charlet2-168/+41
2020-07-15[Ada] Extend static functionsArnaud Charlet1-3/+19
2020-07-15[Ada] Fix typo in "accommodate" in docs and commentsPiotr Trojanek1-1/+1
2020-07-07[Ada] Add support for XDR streaming in the default runtimeArnaud Charlet1-0/+8
2020-07-07[Ada] Fix documentation of -gnatVa switchPiotr Trojanek1-1/+1
2020-07-06[Ada] Various typo fixes and reformatting of commentsGary Dismukes1-3/+3
2020-06-18[Ada] Add support for XDR streaming in the default runtimeArnaud Charlet1-29/+6
2020-06-18[Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatweGhjuvan Lacambre1-0/+7
generated by cgit v1.1 at 2024-08-19 04:37:31 +0000