aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/i-cheri.ads
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-09-26ada: Define CHERI exception typesDaniel King1-0/+16
2023-06-20ada: Add CHERI intrinsic bindings and helper functions.Daniel King1-0/+470