aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/adabkend.adb
AgeCommit message (Expand)AuthorFilesLines
2018-05-21[Ada] Fix inconstent subprogram body headersPiotr Trojanek1-3/+3
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-10-09[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-09-25[multiple changes]Pierre-Marie de Rodat1-6/+6
2017-09-25[multiple changes]Pierre-Marie de Rodat1-1/+9
2016-07-07[multiple changes]Arnaud Charlet1-32/+6
2016-05-02[multiple changes]Arnaud Charlet1-4/+4
2015-02-20[multiple changes]Arnaud Charlet1-4/+5
2014-08-04[multiple changes]Arnaud Charlet1-5/+15
2014-02-19[multiple changes]Arnaud Charlet1-0/+6
2014-01-202014-01-20 Yannick Moy <moy@adacore.com>Yannick Moy1-5/+5
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-3/+3
2013-04-11[multiple changes]Arnaud Charlet1-0/+7
2013-04-11[multiple changes]Arnaud Charlet1-1/+3
2012-10-29* adabkend.ads, adabkend.adb, aa_util.ads, aa_util.adb: New.Arnaud Charlet1-0/+282