diff options
| author | Thomas Bauereiss | 2017-11-02 14:10:28 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-11-02 14:10:28 +0000 |
| commit | 28d471755b0882c5c069a95e07ce6bb9352f06b9 (patch) | |
| tree | 61caea55cea5c3c53b63427fc4ac04d82423d7f8 /src/trace_viewer/README | |
| parent | aa35f90fe4e7da4a6bbbe1396c23f9a5795b6909 (diff) | |
| parent | f8107b6b4dc4738d57a1a0c367de72a6d811f4cb (diff) | |
Merge branch 'experiments'
Diffstat (limited to 'src/trace_viewer/README')
| -rw-r--r-- | src/trace_viewer/README | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/trace_viewer/README b/src/trace_viewer/README new file mode 100644 index 00000000..547a1435 --- /dev/null +++ b/src/trace_viewer/README @@ -0,0 +1,11 @@ + +To use, first make sure node.js and npm are installed (e.g. via the +Ubuntu package manager), then run the following in this directory: + +> npm install + +> npm run tsc + +> ./node_modules/.bin/electron . + +and point the file selector at a trace produced by sail -ocaml_trace
\ No newline at end of file |