aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/vast.ads
AgeCommit message (Expand)AuthorFilesLines
2020-06-03[Ada] Initial infrastructure for adding a tree checkerArnaud Charlet1-0/+42