Module rust_cheri_compressed_cap::wrappers

[−] Expand description

Defines easy-to-use wrapper traits for CompressedCapability implementations

Traits

CheriRVFuncs

Trait exposing the utility functions used to specify CHERI-RISC-V behaviour in Tech Report 951. Behaviour is derived from the Sail specification