diff options
| author | Alasdair Armstrong | 2017-10-31 17:32:33 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-31 17:32:33 +0000 |
| commit | e8de662b4d8d5e4bcc7368277d8607f9a8bc3405 (patch) | |
| tree | f28380e9ef17f317da223fa535d52078edb49655 /src/trace_viewer/index.html | |
| parent | a82fcc52ee1145f61698ea7e71141ebd76ff04d2 (diff) | |
Added trace viewer application for traces produced by sail -ocaml_trace
See README file for how to set up and use
Diffstat (limited to 'src/trace_viewer/index.html')
| -rw-r--r-- | src/trace_viewer/index.html | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/trace_viewer/index.html b/src/trace_viewer/index.html new file mode 100644 index 00000000..75c5e035 --- /dev/null +++ b/src/trace_viewer/index.html @@ -0,0 +1,19 @@ +<!DOCTYPE html> +<html> + <head> + <meta charset="UTF-8"> + <title>Sail Log Viewer</title> + <script type="text/javascript"> + var exports = {} + </script> + <script type="text/javascript" src="index.js"></script> + <link rel="stylesheet" type="text/css" href="index.css"> + </head> + <body> + <div id="container"> + </div> + <div id="control"> + <input type="text" id="command"> + </div> + </body> +</html>
\ No newline at end of file |