]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/gnat_ugn.texi
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / gnat_ugn.texi
2021-07-05  Pierre-Marie de... [Ada] Regenerate *.texi files with Sphinx 4.0.2
2021-06-18  Bob Duff[Ada] Remove AAMP from compiler sources
2021-06-18  Ghjuvan Lacambre[Ada] Implement basic support for -fdiagnostics-format...
2021-06-17  Piotr Trojanek[Ada] Fix punctuation in documentation of warnings...
2021-06-16  Sergey Rybin[Ada] Clarify the documentation of -gnaty0 style check...
2021-06-15  Arnaud Charlet[Ada] Rename Ada 202* to Ada 2022
2021-05-07  Yannick Moy[Ada] Generate warning for negative literal of a modula...
2021-05-06  Gary Dismukes[Ada] Add mention of underscore and fix grammar error...
2021-05-04  Piotr Trojanek[Ada] Fix inconsistent handling of character set contro...
2021-04-11  Gerald Pfeiferada: Avoid invalid "up" link in manual
2021-01-01  Jakub JelinekUpdate copyright dates.
2020-12-15  Eric Botcazou[Ada] Small adjustment to parameterization of System...
2020-12-14  Gary Dismukes[Ada] Fix documentation of -gnatw.K switch (activates...
2020-11-30  Ghjuvan Lacambre[Ada] Implement -gnateb switch
2020-11-30  Eric Botcazou[Ada] Add stream-oriented attributes support for 128...
2020-11-24  Ghjuvan Lacambre[Ada] Documentation: update -gnatyk description
2020-10-20  Arnaud Charlet[Ada] New warning on not fully initialized box aggregate
2020-10-16  Arnaud Charlet[Ada] Remove support for -gnatP and pragma Polling
2020-07-15  Arnaud Charlet[Ada] Remove doc on obsolete tools
2020-07-15  Arnaud Charlet[Ada] Documentation cleanups
2020-07-07  Arnaud Charlet[Ada] Add support for XDR streaming in the default...
2020-07-07  Piotr Trojanek[Ada] Fix documentation of -gnatVa switch
2020-07-06  Gary Dismukes[Ada] Various typo fixes and reformatting of comments
2020-06-16  Piotr Trojanek[Ada] Minor casing of " The " after a comma in docs...
2020-06-08  Philippe Gil[Ada] Add gnatname use for multiple units files support
2020-06-03  Arnaud Charlet[Ada] Remove ASIS tree generation
2020-01-01  Jakub Jelinekgcc.c (process_command): Update copyright notice dates.
2019-12-18  Piotr Trojanek[Ada] Fix three-letter typos like "sss" in comments...
2019-12-16  Bob Duff[Ada] Correct documentation of -gnatw_C switch
2019-12-16  Joel Brobecker[Ada] Reword the impact of -minimal on the debugger
2019-12-12  Piotr Trojanek[Ada] Fix repeated words and typos in doc and comments
2019-10-10  Anthony Leonardo... [Ada] Mention GNAT Studio instead of GPS
2019-09-17  Bob Duff[Ada] Clarify documentation for Stack_Usage
2019-09-17  Ed Falis[Ada] Remove section on pragma No_Run_Time
2019-08-20  Bob Duff[Ada] Warning for out-of-order record representation...
2019-08-14  Bob Duff[Ada] Warn about unknown condition in Compile_Time_Warning
2019-08-13  Eric Botcazou[Ada] Add/fix documentation for the Double_*_Alignment...
2019-07-11  Patrick Bernardi[Ada] Minimal binder
2019-07-11  Bob Duff[Ada] Fix inconsistent documentation for gnatmetric
2019-07-09  Justin Squirek[Ada] Warning needed on anonymous access type allocators
2019-07-09  Piotr Trojanek[Ada] Reformat comments
2019-07-09  Hristian Kirtchev[Ada] Task-related circularities in Elaboration order...
2019-07-09  Hristian Kirtchev[Ada] Elaboration order v4.0 activation
2019-07-09  Piotr Trojanek[Ada] Reword "wild card" to "wildcard"
2019-07-09  Arnaud Charlet[Ada] Update -fdump-ada-spec documentation
2019-07-05  Arnaud Charlet[Ada] GNAT UGN: refresh doc on installing from the...
2019-07-04  Dmitriy Anisimkov[Ada] GNAT.Sockets: fix socket timeout on recent Window...
2019-07-03  Bob Duff[Ada] Style check for mixed-case identifiers
2019-07-03  Eric Botcazou[Ada] Extend -gnatw.z warning to array types
2019-07-03  Hristian Kirtchev[Ada] Update the section on resolving elaboration circu...
2019-07-01  Pierre-Marie de... [Ada] Fix formatting issues in the gnat_ugn documentation
2019-01-01  Jakub Jelinekgcc.c (process_command): Update copyright notice dates.
2018-12-11  Bob Duff[Ada] Update gnatstub documentation for the Libadalang...
2018-12-11  Pierre-Marie de... [Ada] Document the -fgnat-encodings switch
2018-11-14  Eric Botcazou[Ada] More complete information level for -gnatR output
2018-08-21  Yannick Moy[Ada] Document entries of the target parametrization...
2018-08-21  Yannick Moy[Ada] Define versions of dimension system for Float...
2018-07-17  Hristian Kirtchev[Ada] Add elaboration-related switches to GNAT UGN
2018-07-17  Arnaud Charlet[Ada] Remove references to gcov from the User Manual
2018-05-31  Sergey Rybin[Ada] Update gnatelim documentation wrt. compilation...
2018-05-29  Eric Botcazou[Ada] Adjust documentation of -gnatn switch
2018-05-29  Joel Brobecker[Ada] GNAT UGN: update package requirements for 32bit...
2018-05-29  Eric Botcazou[Ada] Adjustment of behavior of new -gnatRj switch
2018-05-29  Eric Botcazou[Ada] Implement machine parsable format for -gnatR...
2018-05-28  Patrick Bernardi[Ada] Update user manual for the -D binder switch
2018-04-25  Eric Botcazoure PR ada/85007 (-b flag to gnatlink not recognized)
2018-01-03  Jakub Jelinekgcc.c (process_command): Update copyright notice dates.
2017-12-15  Pierre-Marie de... [multiple changes]
2017-12-15  Pierre-Marie de... exp_unst.adb (Unnest_Subprograms): Nothing to do if...
2017-12-05  Pierre-Marie de... [multiple changes]
2017-12-05  Pierre-Marie de... [multiple changes]
2017-11-16  Pierre-Marie de... [multiple changes]
2017-11-16  Hristian Kirtchevopt.ads: Elaboration warnings are now on by default.
2017-11-09  Pierre-Marie de... [multiple changes]
2017-11-09  Pierre-Marie de... [multiple changes]
2017-10-20  Pierre-Marie de... [multiple changes]
2017-10-20  Pierre-Marie de... sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with...
2017-10-14  Pierre-Marie de... [multiple changes]
2017-10-09  Pierre-Marie de... [multiple changes]
2017-09-29  Pierre-Marie de... [multiple changes]
2017-09-29  Pierre-Marie de... [multiple changes]
2017-09-25  Pierre-Marie de... [multiple changes]
2017-09-13  Arnaud CharletRegenerate.
2017-09-11  Arnaud Charlet[multiple changes]
2017-09-08  Arnaud Charletgnat_rm.texi, [...]: Update documentation.
2017-04-25  Arnaud Charletgnat_rm.texi, [...]: Update documentation.
2017-04-03  Jonathan WakelyFix numerous typos in comments
2017-01-13  Arnaud Charletgetting_started_with_gnat.rst, [...]: Update documentation.
2017-01-01  Jakub Jelinekgcc.c (process_command): Update copyright notice dates.
2016-07-05  Arnaud CharletUpdate documentation.
2016-04-21  Arnaud Charletgnat_rm.texi, [...]: Update doc.
2016-01-04  Jakub Jelinekgcc.c (process_command): Update copyright notice dates.
2015-11-18  Arnaud CharletRegenerate doc.
2015-11-13  Arnaud CharletUpdaate documentation.
2015-11-12  Arnaud Charletgnat_rm.texi, [...]: Update documentation.
2015-10-23  Arnaud Charletgnat_rm.texi, [...]: Regenerate.
2015-10-20  Arnaud Charletgnat_ugn.texi, [...]: Regenerate.
2015-07-13  Aldy HernandezFix double word typos.
2015-05-12  Arnaud Charlet* gnat_rm.texi, gnat_ugn.texi, doc: Documentation updat...
2015-03-24  Arnaud Charletbuilding_executable_programs_with_gnat.rst, [...]:...
next