blob: 28501b26902aadc17d859fd6a0d4dcd67fc17ad2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
session "Sail-CHERI-Code" = "Sail-CHERI" +
options [document = false, quick_and_dirty]
theories
Cheri_code
session "Sail-CHERI-Sequential-Code" = "Sail-CHERI-Sequential" +
options [document = false, quick_and_dirty]
theories
Cheri_sequential_code
session "Sail-AArch64-Code" = "Sail-AArch64" +
options [document = false, quick_and_dirty]
theories
Aarch64_code
|
