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
[
  {
    "section": "Instruction-fetch",
    "model": "esop2020.cat",
    "tests": [
      "SM.toml",
      "SM+cachesync-isb.toml",
      "CoRF.toml",
      "SM.F+ic.toml",
      "FOW.toml",
      "MP.R.RF+addr-cachesync+dmb+ctrl-isb.toml"
    ]
  }
]