CTSRD-CHERI/cheri-cap-lib

A library of specific implementations of cheri and providing an abstract interface to those implementations

BluespecNOASSERTION