Skip to content

Make __CHERI__ equivalent to __CHERI_PURE_CAPABILITY__ #52

Make __CHERI__ equivalent to __CHERI_PURE_CAPABILITY__

Make __CHERI__ equivalent to __CHERI_PURE_CAPABILITY__ #52