]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/put_scos.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / put_scos.adb
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
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-25  Pierre-Marie de... [multiple changes]
2015-01-06  Arnaud Charlet[multiple changes]
2012-12-05  Arnaud Charlet[multiple changes]
2012-12-05  Arnaud Charlet[multiple changes]
2012-10-01  Arnaud Charlet[multiple changes]
2012-01-23  Arnaud Charlet[multiple changes]
2011-12-12  Arnaud Charlet[multiple changes]
2011-12-05  Arnaud Charlet[multiple changes]
2011-08-31  Arnaud Charlet[multiple changes]
2011-08-31  Arnaud Charlet[multiple changes]
2011-08-29  Arnaud Charlet[multiple changes]
2011-08-29  Thomas Quinotpar_sco.adb, [...]: Record pragma name for each SCO...
2011-08-29  Arnaud Charlet[multiple changes]
2011-08-05  Arnaud Charlet[multiple changes]
2011-08-04  Arnaud Charlet[multiple changes]
2011-08-04  Thomas Quinotput_scos.adb (Put_SCOs): Do not emit decision SCO for...
2011-08-03  Arnaud Charlet[multiple changes]
2010-06-17  Arnaud Charlet[multiple changes]
2010-06-17  Arnaud Charlet[multiple changes]
2010-06-16  Arnaud Charletget_scos.adb, [...]: Code clean up, update documentation.
2010-01-26  Arnaud Charlet[multiple changes]
2010-01-26  Robert Dewarpar_sco.adb (Traverse_Declarations_Or_Statments): Imple...
2009-11-30  Arnaud Charlet[multiple changes]
2009-07-22  Arnaud Charlet[multiple changes]
2009-07-22  Arnaud Charlet[multiple changes]