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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

<!DOCTYPE html>
<html lang="en">
<head>
  <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  <meta name="description" content="Isla, a symbolic execution engine for Sail ISA specifications.">
  <link rel="stylesheet" type="text/css" href="style.bundle.css" />
  <title>Isla</title>
</head>
<body>
  <div><input id="file-input-litmus" type="file" style="display:none;"/></div>
  <div><input id="file-input-cat" type="file" style="display:none;"/></div>
  <div id="header">
    <div class="x-scrollable">
      <ul class="menu menu-no-transition">
        <li class="menu-item btn contain-subitems border-right">
          <span>Isla<span id="server-status" style="color: red;"></span></span>
          <div class="dropdown">
            <div id="help" class="menu-item btn">About Isla</div>
            <div id="rems" class="menu-item btn">REMS</div>
          </div>
        </li>
        <li id="current-view" class="menu-item btn contain-subitems border-right">
          <span id="current-view-title"></span>
          <div id="dropdown-views" class="dropdown"></div>
        </li>
        <li class="menu-item btn contain-subitems">
          <span >Litmus file</span>
          <div class="dropdown">
            <div class="menu-section">General</div>
            <div id="new-litmus" class="menu-item btn">New empty file</div>
            <div id="load-litmus" class="menu-item btn">Load from file</div>
            <div class="menu-section border-top">Examples library</div>
            <div id="load-aarch64" class="menu-item btn">AArch64</div>
            <div id="load-riscv64" class="menu-item btn">RISC-V</div>
            <div id="load-esop2020" class="menu-item btn">ESOP2020 ifetch</div>
          </div>
        </li>
        <li class="menu-item btn contain-subitems">
          <span>Memory model</span>
          <div class="dropdown">
            <div class="menu-section">General</div>
            <div id="new-cat" class="menu-item btn">New empty file</div>
            <div id="load-cat" class="menu-item btn">Load from file</div>
            <div id="save-cat" class="menu-item btn">Save to file</div>
            <div class="menu-section border-top">Default models</div>
            <div id="aarch64-cat" class="menu-item btn">AArch64</div>
            <div id="esop2020-cat" class="menu-item btn">ESOP2020 ifetch model</div>
            <div id="riscv-cat" class="menu-item btn">RISC-V</div>
          </div>
        </li>
        <li class="menu-item btn contain-subitems border-right">
          <span id = "arch-menu-label">Sail architecture</span>
          <div class="dropdown">
            <div id="select-arch-aarch64" class="menu-item btn">
              <input id="r-select-arch-aarch64" type="radio">AArch64 (ARM v8.5)
            </div>
            <div id="select-arch-riscv32" class="menu-item btn">
              <input id="r-select-arch-riscv32" type="radio">RISC-V (rv32imac)
            </div>
            <div id="select-arch-riscv64" class="menu-item btn">
              <input id="r-select-arch-riscv64" type="radio">RISC-V (rv64imac)
            </div> 
          </div>
        </li>
        <li id="run" class="menu-item btn btn-highlight active border-right conc"><span>Run test</span></li>
        <li class="menu-item btn contain-subitems">
          <span>Options</span>
          <div class="dropdown">
            <div class="menu-section">General options</div>
            <div id="exhaustive" class="menu-item btn option update-graph">
              <input id="cb_exhaustive" type="checkbox">Exhaustively enumerate rf edges
            </div>
            <div class="menu-section">Instruction-fetch options</div>
            <div id="ignore_ifetch" class="menu-item btn option">
              <input id="cb_ignore_ifetch" type="checkbox">Ignore instruction-fetch reads
            </div>
            <div id="hide_initial_irf" class="menu-item btn option update-graph">
              <input id="cb_hide_initial_irf" type="checkbox">Hide initial state irf edges
            </div>
          </div>
        </li>
        <li class="menu-item btn contain-subitems">
          <span>Share</span>
          <div id="share" class="dropdown" style="overflow: visible;">
            <div style="display: flex;">
              <input id="sharelink" type="text">
              <span id="sharebtn"></span>
            </div>
          </div>
      </ul>
    </div>
    <div id="menu-scroll-left" class="menu-scroll">
        <svg class="menu-scroll-icon" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 551 1024"><path d="M445.44 38.183L-2.53 512l447.97 473.817 85.857-81.173-409.6-433.23v81.172l409.6-433.23L445.44 38.18z"/></svg>
    </div>
    <div id="menu-scroll-right" class="menu-scroll">
        <svg class="menu-scroll-icon" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 551 1024"><path d="M105.56 985.817L553.53 512 105.56 38.183l-85.857 81.173 409.6 433.23v-81.172l-409.6 433.23 85.856 81.174z"/></svg>
    </div>
  </div><!-- header -->
  <div id="views"></div>
  <script src="main.bundle.js"></script>
</body>
</html>