Code

Align cap_narrow_perms with CLRPERM#9

Code

Merged

ric-almeida merged 3 commits intomainrems-project/coq-cheri-capabilities:mainfrom inv_bits_in_cap_narrow_permsrems-project/coq-cheri-capabilities:inv_bits_in_cap_narrow_permsCopy head branch name to clipboardOct 2, 2024

+78-1,291

Commits

Commits on Oct 2, 2024

• - Aligned cap_narrow_perms with the Asm instruction CLRPERM: bit-mask represents the permissions to clear

  Show description for 2cbf746
  ric-almeida

  committed
  2cbf746

  Copy full SHA for 2cbf746

• New example converting masks for clearing permissions

  ric-almeida

  committed
  8523bf9

  Copy full SHA for 8523bf9

• removing comment

  ric-almeida

  committed
  f517b3b

  Copy full SHA for f517b3b