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

{
  "name": "Isla",
  "version": "0.1.0",
  "description": "Isla UI",
  "private": true,
  "scripts": {
    "start": "webpack --config dev.config.js -w",
    "build": "webpack --config dev.config.js",
    "deploy": "webpack --config prod.config.js"
  },
  "repository": {
    "type": "git",
    "url": "https://github.com/rems-project/isla"
  },
  "homepage": "https://www.cl.cam.ac.uk/~pes20/cerberus/",
  "keywords": [],
  "author": "Victor Gomes",
  "license": "BSD-2-Clause",
  "devDependencies": {
    "@types/codemirror": "0.0.60",
    "@types/jquery": "^3.3.6",
    "@types/lodash": "^4.14.116",
    "css-loader": "^3.6.0",
    "extract-text-webpack-plugin": "^4.0.0-beta.0",
    "jquery": "^3.5.1",
    "style-loader": "^0.23.0",
    "ts-loader": "^5.1.1",
    "typescript": "^3.0.3",
    "webpack": "^4.43.0",
    "webpack-cli": "^3.1.0"
  },
  "dependencies": {
    "big-integer": "^1.6.43",
    "codemirror": "^5.40.0",
    "golden-layout": "^1.5.9",
    "lodash": "^4.17.19",
    "viz.js": "^2.1.2"
  }
}