Code

Introduced a Lemmas module#10

Code

Merged

ric-almeida merged 1 commit intomainrems-project/coq-cheri-capabilities:mainfrom Lemmas_sectionsrems-project/coq-cheri-capabilities:Lemmas_sectionsCopy head branch name to clipboardNov 8, 2024

+310-5

Commits

Commits on Nov 8, 2024

• - Introduced a lemmas module divided in properties of capabilities, translation of capability manipulations to bitvector operations, and low-level results on mwords.

  Show description for 521c4b0
  ric-almeida

  committed
  521c4b0