aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/doc
AgeCommit message (Expand)AuthorFilesLines
2018-06-11[Ada] Add Suppressible argument to Assertion_Policy in documentationYannick Moy1-1/+1
2018-06-11[Ada] Rename "GPL Edition" into "Community Edition"Valentine Reboul2-2/+2
2018-05-31[Ada] Remove obsolete figure in documentationPierre-Marie de Rodat1-0/+0
2018-05-31[Ada] Document Stubs_Subdir in gnattest section on user guideFedor Rybin1-0/+3
2018-05-31[Ada] Update gnatelim documentation wrt. compilation of main unitSergey Rybin1-68/+8
2018-05-30[Ada] Extend the applicability of Thread_Local_Storage to composite typesEd Schonberg1-4/+8
2018-05-29[Ada] Adjust documentation of -gnatn switchEric Botcazou1-9/+9
2018-05-29[Ada] GNAT UGN: update package requirements for 32bit GNAT on x86_64-linuxJoel Brobecker1-4/+4
2018-05-29[Ada] Adjustment of behavior of new -gnatRj switchEric Botcazou1-8/+8
2018-05-29[Ada] Implement machine parsable format for -gnatR outputEric Botcazou1-2/+9
2018-05-28[Ada] Update user manual for the -D binder switchPatrick Bernardi1-22/+19
2018-05-25[Ada] Document the '-U' option for gnatelimSergey Rybin1-1/+20
2018-05-25[Ada] Document new switch --copy-environment for gnattestFedor Rybin1-0/+7
2018-05-24[Ada] Fix typos in documentationCyrille Comar1-3/+3
2018-05-24[Ada] Fix inconsistent documentation for the Contract_Cases pragmaPiotr Trojanek1-6/+6
2018-05-23[Ada] Clarify meaning of local pragma Warnings Off without OnYannick Moy1-0/+4
2018-05-23[Ada] Restrict initialization of External_Tag and Expanded_NameJavier Miranda2-0/+10
2018-05-22[Ada] Allow attribute 'Valid_Scalars on private typesHristian Kirtchev1-26/+25
2018-05-22[Ada] Document new switches for gnatppBob Duff1-0/+27
2018-05-22[Ada] Adding support for Ada.Locales packageJavier Miranda1-3/+1
2018-05-21[Ada] Minor typo fixesJose Ruiz1-3/+3
2018-05-21[Ada] Placement of pragma Elaboration_ChecksHristian Kirtchev1-11/+16
2018-03-23re PR ada/85007 (-b flag to gnatlink not recognized)Eric Botcazou1-8/+0
2018-01-11[Ada] Improve documentation of xml2gnatBob Duff1-5/+19
2018-01-11[Ada] Add Sphinx option -W to treat warnings as errorsBen Brosgol1-1/+1
2018-01-11[Ada] Minor type/wording correctionsBen Brosgol1-3/+3
2018-01-11[Ada] Update gnatpp documentation after engine changeBob Duff2-249/+441
2018-01-11[Ada] Update description of restriction SPARK_05 with SPARK 2014Yannick Moy1-14/+23
2018-01-11[Ada] Minor layout fix in documentation sourcesVasiliy Fofanov1-9/+6
2017-12-15exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne...Pierre-Marie de Rodat1-0/+1
2017-12-15gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"...Pierre-Marie de Rodat1-3/+12
2017-12-15exp_unst.adb (Unnest_Subprograms): Nothing to do if the main unit is a generi...Pierre-Marie de Rodat1-27/+8
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-0/+23
2017-12-05[multiple changes]Pierre-Marie de Rodat2-5/+23
2017-12-05[multiple changes]Pierre-Marie de Rodat3-174/+87
2017-11-16[multiple changes]Pierre-Marie de Rodat1-1/+31
2017-11-16[multiple changes]Pierre-Marie de Rodat2-1/+112
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-4/+45
2017-11-09[multiple changes]Pierre-Marie de Rodat1-0/+30
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-0/+7
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-20[multiple changes]Pierre-Marie de Rodat2-14/+6
2017-10-20sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a...Pierre-Marie de Rodat2-7/+13
2017-10-14[multiple changes]Pierre-Marie de Rodat1-8/+54
2017-10-14[multiple changes]Pierre-Marie de Rodat1-5/+9
2017-10-09[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-1647/+1552
2017-10-09exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...Pierre-Marie de Rodat1-3/+2
2017-09-29[multiple changes]Pierre-Marie de Rodat2-2/+2
generated by cgit v1.1 at 2024-10-20 09:58:02 +0000