isla 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

[
  {
    "section": "Tutorial",
    "model": "aarch64.cat",
    "tests": [
      "LB+addrs+WW.toml",
      "LB+datas+WW.toml",
      "LB+addrs+RW.toml",
      "S+dmb.sy+ctrl.toml",
      "LB+addrs.toml",
      "LB+ctrls.toml",
      "IRIW.toml",
      "IRIW+addrs.toml",
      "IRIW+dmb.sys.toml",
      "WRC+addrs.toml",
      "ISA2+dmb.sy+addr+addr.toml",
      "MP.toml",
      "MP+dmb.sy+po.toml",
      "S+dmb.sy+po.toml",
      "S+dmb.sy+data.toml",
      "LB.toml",
      "LB+datas.toml",
      "MP+dmb.sys.toml",
      "SB.toml",
      "SB+dmb.sys.toml",
      "RWC.toml",
      "RWC+dmb.sys.toml",
      "R.toml",
      "R+dmb.sys.toml",
      "S.toml",
      "S+dmb.sys.toml",
      "WRC.toml",
      "WRC+dmb.sy+addr.toml",
      "ISA2.toml",
      "2+2W.toml",
      "2+2W+dmb.sys.toml",
      "CoRR1.toml",
      "CoRW.toml",
      "CoWR.toml",
      "CoRW1.toml",
      "CoWW.toml",
      "ISA2.toml",
      "LB.toml",
      "LB+datas.toml",
      "LB+rs.toml",
      "MP+dmb.sy+rs.toml",
      "MP+dmb.sy+ctrl.toml",
      "MP.toml",
      "MP+dmb.sy+ctrlisb.toml",
      "MP+dmb.sy+fri-rfi-ctrlisb.toml",
      "MP+nondep+dmb.sy.toml",
      "PPOAA.toml",
      "PPOCA.toml",
      "R.toml",
      "RDW.toml",
      "RSW.toml",
      "RDWI.toml",
      "RWC.toml",
      "S.toml",
      "SB.toml",
      "WRC.toml"
    ]
  }
]