]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_ch6.ads
projects / thirdparty / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Correct a function pre/postcondition [PR102403].
[thirdparty/gcc.git] / gcc / ada / sem_ch6.ads
2021-06-29  Gary Dismukes[Ada] Overriding errors on renamings and instances... blob | commitdiff | raw
2021-06-21  Justin Squirek[Ada] INOX: prototype "when" constructs blob | commitdiff | raw | diff to current
2021-05-03  Arnaud Charlet[Ada] Update copyright notice blob | commitdiff | raw | diff to current
2020-06-18  Arnaud Charlet[Ada] ACATS 4.1J - B854003 - Subtype conformance check... blob | commitdiff | raw | diff to current
2020-06-02  Arnaud Charlet[Ada] Bump copyright year blob | commitdiff | raw | diff to current
2019-07-09  Piotr Trojanek[Ada] Reformat comments blob | commitdiff | raw | diff to current
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019 blob | commitdiff | raw | diff to current
2018-12-11  Ed Schonberg[Ada] Spurious errors on aspect specifications in gener... blob | commitdiff | raw | diff to current
2018-01-11  Arnaud Charlet[Ada] Bump copyright notices to 2018 blob | commitdiff | raw | diff to current
2016-05-02  Gary Dismukesexp_ch9.adb, [...]: Minor reformatting and typo fixes. blob | commitdiff | raw | diff to current
2016-05-02  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2015-10-23  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2015-03-02  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-07-29  Ed Schonbergsem_ch6.adb: Move Build_Body_To_Inline... blob | commitdiff | raw | diff to current
2014-06-11  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2014-01-27  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-10-13  Hristian Kirtcheveinfo.adb: Add node/list usage for Refined_State and... blob | commitdiff | raw | diff to current
2013-10-10  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-09-10  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-04-24  Hristian Kirtchevexp_ch6.adb: Remove with and use clause for Sem_Prag. blob | commitdiff | raw | diff to current
2013-01-02  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2013-01-02  Robert Dewarerrout.adb (Set_Msg_Insertion_Warning): Correct typo... blob | commitdiff | raw | diff to current
2012-03-15  Robert Dewarsem_ch6.ads: Minor comment updates. blob | commitdiff | raw | diff to current
2012-03-15  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2012-03-07  Javier Mirandasem_ch3.adb (Analyze_Object_Declaration): If the object... blob | commitdiff | raw | diff to current
2011-09-05  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2011-09-02  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2011-08-02  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2011-08-01  Robert Dewarsem_ch3.adb, [...]: Minor reformatting blob | commitdiff | raw | diff to current
2011-08-01  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2011-08-01  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-10-26  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-10-12  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-10-07  Robert Dewargnat_rm.texi, [...]: Change spelling parametrize(d... blob | commitdiff | raw | diff to current
2010-10-07  Robert Dewarexp_util.adb (Insert_Actions): Add handling of N_Parame... blob | commitdiff | raw | diff to current
2010-09-09  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2010-09-09  Javier Mirandasem_ch3.adb (Derive_Subprogram): The code that checks... blob | commitdiff | raw | diff to current
2009-04-20  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2009-04-10  Arnaud Charlet[multiple changes] blob | commitdiff | raw | diff to current
2009-04-10  Thomas Quinotsem_ch6.ads (Check_Subtype_Conformant): Add ??? comment... blob | commitdiff | raw | diff to current
2008-07-30  Hristian Kirtcheveinfo.adb: Flag245 is now used. blob | commitdiff | raw | diff to current
2008-05-26  Javier Mirandaeinfo.ads (Abstract_Interface_Alias): Renamed as Interf... blob | commitdiff | raw | diff to current
2008-04-13  Ralf Wildenhuessem_ch10.adb, [...]: Fix comment typos. blob | commitdiff | raw | diff to current
2008-04-08  Robert Dewaralloc.ads: Add entries for Obsolescent_Warnings table blob | commitdiff | raw | diff to current
2007-12-13  Robert Dewarinline.adb (Back_End_Cannot_Inline): Use new flag Has_P... blob | commitdiff | raw | diff to current
2007-09-10  Robert Dewarexp_atag.ads, [...]: Replace headers with GPL v3 headers. blob | commitdiff | raw | diff to current
2007-08-14  Ed Schonbergeinfo.ads, einfo.adb: Create a limited view of an incom... blob | commitdiff | raw | diff to current
2007-04-06  Robert Dewareinfo.ads, einfo.adb: (First_Component_Or_Discriminant... blob | commitdiff | raw | diff to current
2006-10-31  Ed Schonbergsem_ch6.ads, [...] (Analyze_Subprogram_Declaration... blob | commitdiff | raw | diff to current
2005-11-15  Robert Dewara-secain.adb, [...]: Minor reformatting blob | commitdiff | raw | diff to current
2005-09-05  Javier Mirandasem_ch6.ads, [...] (Check_Conformance): In case of... blob | commitdiff | raw | diff to current
2005-07-01  R. Kelley CookUpdate FSF address blob | commitdiff | raw | diff to current
2003-10-21  Arnaud Charlet3psoccon.ads, [...]: Files added. blob | commitdiff | raw | diff to current
2003-04-24  Geert Bosch1aexcept.adb, [...]: Merge header, formatting and other... blob | commitdiff | raw | diff to current
2002-10-23  Nathanael NerodeNathanael Nerode <neroden@gcc.gnu.org> PR ada/6919... blob | commitdiff | raw | diff to current
2002-03-14  Geoffrey KeatingDelete all lines containing "$Revision:". blob | commitdiff | raw | diff to current
2002-03-08  Geert Bosch41intnam.ads, [...]: Merge in ACT changes. blob | commitdiff | raw | diff to current
2001-10-02  Richard KennerNew Language: Ada blob | commitdiff | raw | diff to current
Mirror of https://gcc.gnu.org/git/gcc.git