isla 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Documentation
{
  "compilerOptions": {
    "target": "es2015", /* browsers around 2012 */
    "lib": ["es2015", "dom"],
    "module": "commonjs",
    "sourceMap": true,
    "strict": true,
    "noImplicitAny": true,
    "strictNullChecks": true,
    "strictFunctionTypes": true,
    "strictPropertyInitialization": true,
    "noImplicitThis": true,
    "alwaysStrict": true,
    "noUnusedLocals": true,
    "noImplicitReturns": true,
    "noFallthroughCasesInSwitch": true,
    "esModuleInterop": true
  }
}