aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_prag.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+4
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+4
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+11
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
2017-10-09[multiple changes]Pierre-Marie de Rodat1-11/+7
2015-05-26exp_ch6.adb (Process_Contract_Cases_For): Update the call to Expand_Pragma_Co...Hristian Kirtchev1-2/+2
2014-08-04[multiple changes]Arnaud Charlet1-1/+12
2014-02-19[multiple changes]Arnaud Charlet1-1/+12
2007-09-10exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar1-5/+4
2005-11-15a-secain.adb, [...]: Minor reformattingRobert Dewar1-1/+1
2005-07-01Update FSF addressR. Kelley Cook1-2/+2
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/+37