machine-check-gui 0.7.1

Utility crate for the formal verification tool machine-check
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

<!doctype html>
<html lang="en">

<head>
  <meta charset="utf-8">
  <title>machine-check</title>
  <link rel="stylesheet" href="style.css">
  <script type="module" defer>
    import init, { exec } from './wasm/machine_check_gui_wasm.js';

    async function run() {
      await init();
      await exec();
    }
    run();
  </script>

</head>

<body>
  <div id="container">
    <div id="top_bar" class="bar">
      <div id="verification_control">
        <button type="button" id="reset" title="Reset verification">&#x21BA;</button>
        <button type="button" id="step" title="Step verification">&#x2192;</button>
        <button type="button" id="run" title="Run verification until done">&#x23F5;</button>
        <div id="max_refinements_container">
          <label for="max_refinements">Max refinements per step:</label>
          <input type="number" id="max_refinements" title="Maximum number of refinements per step" min="1" step="1"
            value="1">
        </div>
      </div>
      <div id="top_bar_misc">
        <div id="exec_name"></div>
      </div>
    </div>
    <div id="left_bar" class="bar">
      <h2>Properties</h2>
      <div id="properties_control">
        <button type="button" id="new_property">&plus;</button>
        <button type="button" id="delete_property">&minus;</button>
      </div>
      <div id="properties"></div>
    </div>
    <div id="main_area" tabindex="1">
      <canvas id="main_canvas"></canvas>
    </div>
    <div id="right_bar" class="bar">
      <h2>State fields</h2>
      <table id="state_fields">
        <tr>
          <th>
            Field
          </th>
          <th>
            Value
          </th>
        </tr>
      </table>
    </div>
    <div id="bottom_bar" class="bar">
      <div id="info">
        <div id="verification_status">Loading</div>
        <div id="info_middle"></div>
        <div id="space_info">(loading)</div>
      </div>
      <div id="log_wrapper">
        <table id="log">
          <tr>
            <th>Time</th>
            <th>Duration</th>
            <th>Type</th>
            <th>Message</th>
          </tr>
        </table>
      </div>
    </div>
  </div>

</body>

</html>