diff options
| author | Daniel King <dmking@adacore.com> | 2023-05-09 16:40:46 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-20 09:30:49 +0200 |
| commit | b9b1dcc841436964d344befe38ef66c5ee68913d (patch) | |
| tree | 350957ec4ebb5d5f6c37dc256dbfedcef243d7c6 /INSTALL | |
| parent | ccacd752a4a58f34b768122a1e463e8ca5f2728e (diff) | |
| download | gcc-b9b1dcc841436964d344befe38ef66c5ee68913d.zip gcc-b9b1dcc841436964d344befe38ef66c5ee68913d.tar.gz gcc-b9b1dcc841436964d344befe38ef66c5ee68913d.tar.bz2 | |
ada: Add CHERI intrinsic bindings and helper functions.
The package Interfaces.CHERI provides intrinsic bindings and
helper functions to allow software to query, create, and
manipulate CHERI capabilities.
gcc/ada/
* libgnat/i-cheri.ads: Add CHERI intrinsics and helper functions.
* libgnat/i-cheri.adb: Likewise
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions