aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_spark.ads
AgeCommit message (Expand)AuthorFilesLines
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
2016-04-27[multiple changes]Arnaud Charlet1-1/+5
2014-01-202014-01-20 Yannick Moy <moy@adacore.com>Yannick Moy1-4/+3
2013-10-17[multiple changes]Arnaud Charlet1-48/+0
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy1-0/+87