]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_disp.adb
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / sem_disp.adb
2021-07-07  Gary Dismukes[Ada] Implement new legality checks specified by AI12...
2021-07-05  Steve Baird[Ada] Add Ada 2022 Image and Put_Image support for...
2021-06-18  Javier Miranda[Ada] Ada2020: AI12-0195 overriding class-wide pre...
2021-06-18  Javier Miranda[Ada] Ada2020: Special handling of types derived from...
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2021-04-28  Gary Dismukes[Ada] AI12-0397: Default_Initial_Condition expressions...
2020-12-16  Piotr Trojanek[Ada] Simplify membership tests with N_Subprogram_Call...
2020-10-19  Gary Dismukes[Ada] AI12-0170: Abstract subprogram calls in class...
2020-07-27  Arnaud Charlet[Ada] Use membership tests in front-end
2020-06-17  Javier Miranda[Ada] Ada2020: AI12-0279 more dispatching points with...
2020-06-12  Eric Botcazou[Ada] Implement AI12-0269 No_Return for functions
2020-06-10  Arnaud Charlet[Ada] Remove more references to ASIS
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2019-08-20  Gary Dismukes[Ada] Minor reformattings
2019-08-14  Yannick Moy[Ada] Fix failing assertions on SPARK elaboration
2019-07-09  Piotr Trojanek[Ada] Reformat comments
2019-07-04  Hristian Kirtchev[Ada] Minor reformatting
2019-07-04  Justin Squirek[Ada] Spurious error on incomplete tagged formal parameter
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-05-30  Hristian Kirtchev[Ada] Minor reformatting
2018-05-28  Claire Dross[Ada] Allow for GNATprove specific versions of routines...
2018-05-24  Hristian Kirtchev[Ada] Fix crash on formal containers
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018
2017-11-09  Pierre-Marie de... [multiple changes]
2017-11-08  Pierre-Marie de... lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove...
2017-11-08  Pierre-Marie de... sem_disp.adb (Is_Inherited_Public_Operation): Extend...
2017-09-07  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud CharletMinor reformatting.
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Hristian Kirtchevsem_prag.adb, [...]: Minor reformatting.
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
2017-01-19  Arnaud Charlet[multiple changes]
2017-01-06  Ed Schonbergexp_ch5.adb (Get_Default_Iterator): For a derived type...
2016-04-19  Arnaud Charlet[multiple changes]
2016-04-19  Arnaud Charlet[multiple changes]
2016-04-18  Arnaud Charlet[multiple changes]
2015-10-26  Arnaud Charlet[multiple changes]
2015-10-16  Arnaud Charletexp_ch5.adb, [...]: Code clean up: remove special handl...
2015-05-26  Arnaud Charlet[multiple changes]
2015-05-26  Arnaud Charlet[multiple changes]
2015-05-26  Yannick Moyinline.adb (Has_Initialized_Type): Adapt to new names.
2015-05-22  Arnaud Charlet[multiple changes]
2015-05-22  Arnaud Charlet[multiple changes]
2015-05-12  Robert Dewarsem_ch9.adb, [...]: Minor reformatting.
2015-05-12  Ed Schonbergsem_ch9.adb (Collect_Interfaces): Initialize Direct_Pri...
2015-05-12  Arnaud Charlet[multiple changes]
2015-03-02  Javier Mirandaexp_ch9.adb (Build_Corresponding_Record): Propagate...
2015-01-30  Robert Dewarsem_disp.adb: Minor reformatting.
2015-01-30  Ed Schonbergsem_disp.adb (Is_Dynamically_Tagged): when applied...
2014-10-10  Arnaud Charlet[multiple changes]
2014-08-04  Arnaud Charlet[multiple changes]
2014-08-01  Arnaud Charlet[multiple changes]
2014-02-24  Arnaud Charlet[multiple changes]
2014-01-29  Robert Dewara-except-2005.adb, [...]: Minor reformatting.
2014-01-20  Yannick Moyexp_spark.adb (Expand_SPARK_Call): Remove procedure.
2013-10-17  Arnaud Charlet[multiple changes]
2013-04-25  Arnaud Charlet[multiple changes]
2013-04-25  Arnaud Charlet[multiple changes]
2013-04-12  Arnaud Charlet[multiple changes]
2013-04-11  Arnaud Charlet[multiple changes]
2013-04-11  Javier Mirandaexp_ch11.adb (Expand_N_Handled_Sequence_Of_Statements...
2013-01-29  Arnaud Charlet[multiple changes]
2013-01-03  Arnaud Charlet[multiple changes]
2013-01-02  Arnaud Charlet[multiple changes]
2012-10-29  Arnaud Charlet[multiple changes]
2012-10-29  Arnaud Charlet[multiple changes]
2012-07-12  Arnaud Charlet[multiple changes]
2012-07-12  Arnaud Charlet[multiple changes]
2012-07-09  Arnaud Charlet[multiple changes]
2011-10-24  Arnaud Charlet[multiple changes]
2011-09-05  Arnaud Charlet[multiple changes]
2011-08-31  Arnaud Charlet[multiple changes]
2011-08-31  Arnaud Charlet[multiple changes]
2011-08-30  Robert Dewarexp_ch5.adb, [...]: Minor reformatting
2011-08-30  Arnaud Charlet[multiple changes]
2011-08-04  Arnaud Charlet[multiple changes]
2011-08-04  Arnaud Charlet[multiple changes]
2011-08-03  Arnaud Charlet[multiple changes]
2011-08-03  Hristian Kirtcheva-except.adb, [...] (Raise_From_Controlled_Operation...
2011-08-02  Arnaud Charlet[multiple changes]
2011-08-02  Javier Mirandasem_type.ads, [...] (Is_Ancestor): Addition of a new...
2011-08-01  Arnaud Charlet[multiple changes]
2010-12-20  Ralf WildenhuesFix typos in gcc/ada.
2010-10-26  Arnaud Charlet[multiple changes]
2010-10-26  Robert Dewarsem_ch3.adb, [...]: Minor reformatting.
2010-10-26  Arnaud Charlet[multiple changes]
2010-10-26  Arnaud Charlet[multiple changes]
2010-10-22  Arnaud Charlet[multiple changes]
2010-10-18  Arnaud Charlet[multiple changes]
2010-10-12  Arnaud Charlet[multiple changes]
2010-10-11  Arnaud Charlet[multiple changes]
2010-10-11  Arnaud Charlet[multiple changes]
2010-10-11  Bob Duffpar-ch9.adb, [...]: Use Ada_2005 instead of Ada_05...
2010-10-05  Arnaud Charlet[multiple changes]
next