aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
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
2020-06-18[Ada] List aspect Relaxed_Initialization in GNAT RMPiotr Trojanek2-1/+14
2020-06-17[Ada] Adjust documentation of 'Bit and 'Descriptor_Size attributesEric Botcazou1-7/+9
2020-06-17[Ada] Fix casing from GNATProve to GNATprovePiotr Trojanek1-1/+1
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-1/+1
2020-06-10[Ada] Fix gnatmetric switches descriptionVasiliy Fofanov1-2/+2
2020-06-09[Ada] gnatpp: documentation for --no-separate-return switchBob Duff1-0/+8
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-144/+1
2020-06-08[Ada] Add gnatname use for multiple units files supportPhilippe Gil1-16/+11
2020-06-08[Ada] Update doc on Enum_Rep/Enum_ValArnaud Charlet1-0/+6