]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/warnsw.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / warnsw.adb
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
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-07-09  Justin Squirek[Ada] Warning needed on anonymous access type allocators
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018
2017-09-08  Arnaud Charlet[multiple changes]
2017-09-06  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
2015-01-07  Arnaud Charlet[multiple changes]
2014-07-29  Arnaud Charlet[multiple changes]
2014-07-16  Arnaud Charlet[multiple changes]
2014-05-21  Arnaud Charlet[multiple changes]
2014-02-25  Arnaud Charlet[multiple changes]
2014-02-25  Robert Dewarbinde.adb: Change messages to mention -gnatel instead...
2013-10-17  Robert Dewargnat_ugn.texi: Document -gnatw.y/-gnatw.Y.
2013-10-14  Robert Dewargnat_ugn.texi: Document -gnateu switch.
2013-09-10  Arnaud Charlet[multiple changes]
2013-01-29  Javier Mirandaerrout.ads, errout.adb (Get_Ignore_Errors): New subprogram.
2013-01-04  Arnaud Charlet[multiple changes]
2013-01-04  Robert Dewartypes.ads, [...]: Minor reformatting.
2013-01-02  Arnaud Charlet[multiple changes]
2012-10-29  Arnaud Charlet[multiple changes]
2012-10-29  Arnaud Charlet[multiple changes]
2012-10-29  Arnaud Charlet[multiple changes]
2012-02-08  Arnaud Charlet[multiple changes]
2011-12-20  Arnaud Charlet[multiple changes]
2011-10-24  Arnaud Charlet[multiple changes]
2011-10-24  Arnaud Charlet[multiple changes]
2011-09-02  Yannick Moyusage.adb, [...]: Disable by default warnings on suspic...
2011-09-02  Arnaud Charlet[multiple changes]
2011-08-02  Arnaud Charlet[multiple changes]