cheri/ROOT


1
2
3
4
5
6
7
8
9

session "Sail-CHERI" = "Sail" +
  options [document = false]
  theories
    Cheri_lemmas

session "Sail-CHERI-Sequential" = "Sail" +
  options [document = false]
  theories
    Cheri_sequential_lemmas