GitHub repository: z5146542/CHERI-C-Gillian
Primary language: TeX
Description: Instantiation of Gillian for CHERI-C