]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/gnatls.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / gnatls.adb
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-10-10  Anthony Leonardo... [Ada] Mention GNAT Studio instead of GPS
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-07-31  Arnaud Charlet[Ada] Various code clean-ups from CodePeer messages
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018
2017-09-29  Pierre-Marie de... [multiple changes]
2017-09-25  Pierre-Marie de... [multiple changes]
2017-09-06  Arnaud Charlet[multiple changes]
2017-09-06  Hristian Kirtchevexp_util.adb, [...]: Minor reformatting.
2017-05-02  Arnaud Charlet[multiple changes]
2017-04-25  Bob Dufferr_vars.ads, [...]: Eliminate the vestigial Internal_S...
2015-01-06  Robert Dewarali-util.adb, [...]: Minor change of name Name_Table_In...
2015-01-06  Arnaud CharletMinor reformatting.
2015-01-06  Arnaud Charlet[multiple changes]
2014-11-07  Arnaud Charlet[multiple changes]
2014-10-23  Arnaud Charlet[multiple changes]
2014-10-23  Arnaud Charlet[multiple changes]
2014-10-23  Arnaud Charlet[multiple changes]
2014-08-01  Arnaud Charlet[multiple changes]
2014-08-01  Robert Dewargnatchop.adb, [...]: Minor reformatting.
2014-08-01  Arnaud Charletbinde.adb, [...]: Remove VMS handling.
2014-07-30  Arnaud Charlet[multiple changes]
2014-07-29  Arnaud Charlet[multiple changes]
2014-07-17  Arnaud Charlet[multiple changes]
2014-07-17  Arnaud Charlet[multiple changes]
2014-07-16  Arnaud Charlet[multiple changes]
2014-07-16  Arnaud Charlet[multiple changes]
2014-07-16  Arnaud Charlet[multiple changes]
2013-09-10  Robert Dewargnatbind.adb: Correct starting date in --version string.
2013-04-24  Arnaud Charlet[multiple changes]
2013-04-24  Arnaud Charlet[multiple changes]
2011-12-21  Arnaud Charlet[multiple changes]
2011-12-15  Arnaud Charlet[multiple changes]
2011-12-12  Arnaud Charlet[multiple changes]
2011-12-12  Arnaud Charlet[multiple changes]
2011-12-12  Arnaud Charlet[multiple changes]
2011-12-12  Arnaud Charlet[multiple changes]
2011-12-12  Arnaud Charlet[multiple changes]
2011-09-02  Arnaud Charlet[multiple changes]
2011-09-01  Arnaud CharletFix thinko.
2011-09-01  Arnaud Charlet[multiple changes]
2011-09-01  Arnaud Charlet[multiple changes]
2011-08-04  Arnaud Charlet[multiple changes]
2011-08-04  Arnaud Charlet[multiple changes]
2011-08-04  Arnaud Charlet[multiple changes]
2011-08-04  Arnaud Charlet[multiple changes]
2010-09-09  Arnaud Charlet[multiple changes]
2010-09-09  Arnaud Charlet[multiple changes]
2009-11-30  Arnaud Charlet[multiple changes]
2009-07-22  Robert Dewars-stchop.adb, [...]: Make sure sources obey short-circu...
2009-07-20  Robert Dewareinfo.ads, [...]: Minor reformatting
2009-07-15  Arnaud Charlet[multiple changes]
2009-04-07  Arnaud Charlet[multiple changes]
2007-12-13  Bob Duffclean.adb (Usage): Add line for -aP
2007-09-10  Robert Dewarexp_atag.ads, [...]: Replace headers with GPL v3 headers.
2007-08-31  Vincent Celierre PR ada/4720 (GNAT programs do not support --help...
2007-08-14  Vincent Celiergnatls.adb: (Corresponding_Sdep_Entry): Always return...
2007-06-06  Vincent Celiergnatls.adb: Add 3 spaces before the default project...
2006-10-31  Vincent Celiergnatls.adb: Take into account GPR_PROJECT_PATH...
2006-02-15  Robert Dewargnatvsn.ads (Current_Year): New constant, used to easil...
2005-07-01  R. Kelley CookUpdate FSF address
2005-02-10  Robert Dewarg-zstspl.ads: New file.
2004-12-08  Arnaud Charletmake.adb (Check_Mains, [...]): Adapt to name changes...
2004-11-19  Arnaud Charletgnat1drv.adb, [...]: Output the copyright message on...
2004-09-13  Arnaud Charlet[multiple changes]
2004-08-13  Arnaud Charlet[multiple changes]
2004-06-25  Arnaud Charletrevert: [multiple changes]
2004-05-10  Arnaud Charlet[multiple changes]
2004-04-19  Arnaud Charlet[multiple changes]
2004-03-22  Arnaud Charlet[multiple changes]
2004-02-12  Arnaud Charlet[multiple changes]
2004-02-09  Arnaud Charlet[multiple changes]
2004-01-05  Arnaud Charlet[multiple changes]
2003-10-24  Arnaud Charletgnatvsn.ads (Gnat_Static_Version_String): New constant...
2003-10-21  Arnaud Charlet3psoccon.ads, [...]: Files added.
2003-06-13  Matt KraaiChangeLog.1: Fix spelling of "outputting".
2003-04-24  Geert Bosch1aexcept.adb, [...]: Merge header, formatting and other...
2002-10-23  Nathanael NerodeNathanael Nerode <neroden@gcc.gnu.org> PR ada/6919...
2002-09-24  Zack Weinbergupdate_version: Do not check in files which are unchanged.
2002-03-14  Geoffrey KeatingDelete all lines containing "$Revision:".
2002-03-08  Geert Bosch41intnam.ads, [...]: Merge in ACT changes.
2001-12-16  Joseph Myers5ataprop.adb, [...]: Fix spelling errors.
2001-10-11  Pascal Obry* Makefile.in:
2001-10-02  Richard KennerNew Language: Ada