aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/s-vs_lli.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-07-06ada: Refactor the proof of the Value and Image runtime unitsClaire Dross1-0/+60