aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/frontend.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-21ada: Remove duplicate statementRonan Desplanques1-1/+0
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-09-15ada: Clean up scope depth and related code (tech debt)Bob Duff1-2/+0
2023-05-23ada: Small code cleanupEric Botcazou1-13/+8
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-11-22ada: Disable checking of Elab_Spec procedures in CodePeer_ModeGhjuvan Lacambre1-1/+1
2022-11-21ada: Disable subprogram call validation in CodePeer modeGhjuvan Lacambre1-1/+1
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-0/+11
2022-05-30[Ada] Deconstruct deferred referencesPiotr Trojanek1-2/+0
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-12-01[Ada] Fix issues with ignored ghost code and unnestingRichard Kenner1-7/+8
2021-05-07[Ada] Minor reformattingsBob Duff1-24/+24
2021-05-07[Ada] Variable-sized node typesBob Duff1-1/+3
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-07-16[Ada] Disable Initialize_Scalars on runtime filesArnaud Charlet1-0/+10
2020-06-03[Ada] Initial infrastructure for adding a tree checkerArnaud Charlet1-0/+7
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-2/+3
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-09-18[Ada] Skip entity name qualification in GNATprove modeYannick Moy1-1/+3
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-17[Ada] Faulty ignored Ghost code removalHristian Kirtchev1-5/+8
2018-07-17[Ada] Configuration state not observed for instance bodiesHristian Kirtchev1-1/+1
2018-07-16[Ada] Only unnest subprograms if no previous errors were detectedArnaud Charlet1-1/+3
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-6/+10
2017-10-09[multiple changes]Pierre-Marie de Rodat1-0/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-3/+17
2017-09-29[multiple changes]Pierre-Marie de Rodat1-3/+3
2017-09-25[multiple changes]Pierre-Marie de Rodat1-6/+5
2017-09-06[multiple changes]Arnaud Charlet1-12/+14
2017-09-06frontend.adb (Frontend): Skip -gnatec=gnat.adc switch, because we've already ...Bob Duff1-197/+199
2017-01-23sem_util.adb (New_Copy_Tree): Code cleanup: removal of the internal map (ie.Javier Miranda1-17/+0
2017-01-23[multiple changes]Arnaud Charlet1-2/+5
2017-01-19[multiple changes]Arnaud Charlet1-1/+4
2017-01-13[multiple changes]Arnaud Charlet1-7/+8
2017-01-13[multiple changes]Arnaud Charlet1-0/+13
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-1/+1
2017-01-06snames.ads-tmpl (Renamed): New name for the pragma argument.Bob Duff1-1/+1
2016-07-04Minor reformatting.Arnaud Charlet1-1/+1
2016-07-04sem_eval.adb (Decompose_Expr): Set 'out' parameters Kind and Cons to valid va...Bob Duff1-2/+5
2016-04-21frontend.adb: Update call to Unnest_Subprograms.Javier Miranda1-2/+2
2016-04-21[multiple changes]Arnaud Charlet1-1/+0
2016-04-20[multiple changes]Arnaud Charlet1-2/+2
2015-10-16exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM.Arnaud Charlet1-8/+2
2015-05-22debug.adb: Update documentation.Robert Dewar1-2/+2
2015-05-12[multiple changes]Arnaud Charlet1-7/+6
2015-03-13[multiple changes]Arnaud Charlet1-0/+7
2015-02-05015-02-05 Robert Dewar <dewar@adacore.com>Arnaud Charlet1-3/+3
generated by cgit v1.1 at 2024-12-27 22:21:37 +0000