aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.ads
AgeCommit message (Expand)AuthorFilesLines
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-16[Ada] Missing error on hidden state in instantiationHristian Kirtchev1-1/+8
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-7/+7
2017-01-13Code cleanups.Arnaud Charlet1-2/+3
2015-11-18[multiple changes]Arnaud Charlet1-9/+19
2015-11-18[multiple changes]Arnaud Charlet1-0/+2
2015-10-26[multiple changes]Arnaud Charlet1-1/+5
2015-10-26[multiple changes]Arnaud Charlet1-6/+14
2015-10-26[multiple changes]Arnaud Charlet1-34/+41
2015-10-26[multiple changes]Arnaud Charlet1-4/+4
2015-10-23[multiple changes]Arnaud Charlet1-0/+156