Skip to content

Commit

Permalink
- Aligned cap_narrow_perms with the Asm instruction CLRPERM: bit-mask…
Browse files Browse the repository at this point in the history 
… represents the permissions to clear

- Added example illustrating how to convert masks between cap_narrow_perms and the Cheri C function cheri_perms_and
- Adapted several examples
- Tidying up _CoqProject files
  • Loading branch information
@ric-almeida
ric-almeida committed Oct 2, 2024
1 parent e5dd7bc commit 2cbf746
Show file tree
Hide file tree
Showing 7 changed files with 62 additions and 1,291 deletions.
Loading

0 comments on commit 2cbf746

Please sign in to comment.