aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/contracts.ads
AgeCommit message (Expand)AuthorFilesLines
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