aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_type.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-07-18ada: Fix internal error on aggregates of self-referencing typesEric Botcazou1-4/+3
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-05-09[Ada] Revamp type resolution for comparison and equality operatorsEric Botcazou1-21/+26
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-11-10[Ada] Fix oversight in latest change to Has_Compatible_TypeEric Botcazou1-2/+8
2021-07-06[Ada] Removal of various ??? comments plus related code changesGary Dismukes1-2/+1
2021-05-07[Ada] Remove End_Interp_List from the overloaded resolution APIPiotr Trojanek1-3/+0
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] Simplify data structures for overloaded interpretationsPiotr Trojanek1-4/+0
2021-04-28[Ada] Remove double initialization of interpretation tablesPiotr Trojanek1-1/+1
2021-04-28[Ada] Update reference with description of type resolutionPiotr Trojanek1-1/+1
2020-06-16[Ada] ACATS 4.1K - B452001 - No errors detectedArnaud Charlet1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2013-10-15[multiple changes]Arnaud Charlet1-4/+5
2011-12-12[multiple changes]Arnaud Charlet1-2/+5
2011-08-04[multiple changes]Arnaud Charlet1-2/+3
2011-08-02sem_type.ads, [...] (Is_Ancestor): Addition of a new formal (Use_Full_View) w...Javier Miranda1-2/+16
2010-09-09[multiple changes]Arnaud Charlet1-1/+9
2009-07-22[multiple changes]Arnaud Charlet1-0/+6
2009-07-13[multiple changes]Arnaud Charlet1-12/+5
2009-06-19[multiple changes]Arnaud Charlet1-45/+43
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-4/+3
2007-08-16[multiple changes]Arnaud Charlet1-1/+1
2007-08-14exp_ch3.ads, [...] (Add_Final_Chain): New subprogram.Thomas Quinot1-13/+21
2007-06-06einfo.ads, einfo.adb (Available_View): New synthesized attribute applicable t...Javier Miranda1-3/+4
2007-04-06sem_type.ads, [...] (Has_Abstract_Interpretation): Make predicate recursive...Ed Schonberg1-2/+2
2005-11-15a-secain.adb, [...]: Minor reformattingRobert Dewar1-3/+3
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
2005-06-16exp_ch4.adb (Expand_Allocator_Expression): When an initialized allocator's de...Gary Dismukes1-1/+8
2004-07-06[multiple changes]Arnaud Charlet1-4/+4
2003-10-213psoccon.ads, [...]: Files added.Arnaud Charlet1-37/+17
2003-04-241aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...Geert Bosch1-1/+0
2002-10-23Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for...Nathanael Nerode1-1/+1
2002-03-14Delete all lines containing "$Revision:".Geoffrey Keating1-1/+0
2001-10-02New Language: AdaRichard Kenner1-0/+262
generated by cgit v1.1 at 2024-07-24 15:40:13 +0000