aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/par_sco.adb
AgeCommit message (Expand)AuthorFilesLines
2024-05-13ada: Remove guards against traversal of empty list of aspectsPiotr Trojanek1-5/+3
2024-05-13ada: Deconstruct flag Split_PPC since splitting now is done in expansionPiotr Trojanek1-5/+0
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-21ada: Fix SCOs generation for aspect specificationsPierre-Marie de Rodat1-0/+7
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-2/+4
2023-08-01ada: Emit SCOs for nested decisions in quantified expressionsLéo Creuse1-1/+8
2023-07-28ada: Add missing SCO generation for quantified expressions in object declLéo Creuse1-2/+4
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-07-05[Ada] Remove redundant protection against empty listsPiotr Trojanek1-7/+5
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-2/+2
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Remove unnecessary guards for non-empty listsPiotr Trojanek1-12/+9
2021-10-04[Ada] Emit specific SCOs for decisions of quantified expressionsMatthieu Eyraud1-0/+8
2021-09-22[Ada] Removal of technical debtJustin Squirek1-15/+8
2021-09-21[Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmasMatthieu Eyraud1-3/+7
2021-06-16[Ada] Fix ALI source location for dominance markersMatthieu Eyraud1-4/+19
2021-05-07[Ada] Minor reformattingsBob Duff1-20/+20
2021-05-07[Ada] Variable-sized node typesBob Duff1-1/+3
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-7/+7
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Statement SCO code for degenerate subprogramsThomas Quinot1-1/+1
2019-08-20[Ada] Minor reformattingsGary Dismukes1-2/+2
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-09-07[multiple changes]Arnaud Charlet1-2/+2
2017-09-06[multiple changes]Arnaud Charlet1-0/+2
2017-09-06[multiple changes]Arnaud Charlet1-3/+3
2017-04-25[multiple changes]Arnaud Charlet1-3/+3
2017-04-25[multiple changes]Arnaud Charlet1-17/+12
2017-04-25[multiple changes]Arnaud Charlet1-2/+4
2017-01-23[multiple changes]Arnaud Charlet1-16/+17
2017-01-23[multiple changes]Arnaud Charlet1-3/+72
2017-01-13sem_aggr.adb, [...]: Update all eligible case statements to reflect the new s...Hristian Kirtchev1-69/+94
2017-01-12contracts.adb, [...] (Pragma_Name): Change name to Pragma_Name_Unmapped.Bob Duff1-4/+4
2016-04-20[multiple changes]Arnaud Charlet1-2/+2
2016-04-19[multiple changes]Arnaud Charlet1-390/+414
2016-04-19sem_util.adb (Build_Elaboration_Entity): Always request an elab counter when ...Olivier Hainque1-11/+20
2015-10-20[multiple changes]Arnaud Charlet1-3/+4
2015-05-27[multiple changes]Arnaud Charlet1-4/+44
2015-01-06[multiple changes]Arnaud Charlet1-126/+731
2014-07-18[multiple changes]Arnaud Charlet1-2/+2
2014-07-18freeze.adb (Check_Component_Storage_Order): Fix enforcement of nesting rules ...Thomas Quinot1-8/+13
2014-07-18[multiple changes]Arnaud Charlet1-4/+5
2014-07-18par_sco.adb, [...]: Minor reformatting.Robert Dewar1-2/+2
2014-07-18[multiple changes]Arnaud Charlet1-2/+2
2014-02-24[multiple changes]Arnaud Charlet1-5/+18
2013-07-05par_sco.adb, [...]: Minor reformatting.Robert Dewar1-0/+1
2013-07-05[multiple changes]Arnaud Charlet1-1/+7
2013-04-23[multiple changes]Arnaud Charlet1-1/+1
generated by cgit v1.1 at 2024-09-18 08:58:34 +0000