Remove trace viewer application from repository

10 files changed, 0 insertions, 627 deletions

diff --git a/src/trace_viewer/.gitignore b/src/trace_viewer/.gitignore
deleted file mode 100644
index c1f9aea6..00000000
--- a/src/trace_viewer/.gitignore
+++ /dev/null
@@ -1,6 +0,0 @@
-*~
-*.js
-*.js.map
-
-# Dependencies
-node_modules/
diff --git a/src/trace_viewer/List-add.svg b/src/trace_viewer/List-add.svg
deleted file mode 100644
index f8031599..00000000
--- a/src/trace_viewer/List-add.svg
+++ /dev/null
@@ -1,56 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!-- Created with Inkscape (http://www.inkscape.org/) -->
-<svg id="svg6431" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns="http://www.w3.org/2000/svg" sodipodi:docname="list-add.svg" xmlns:sodipodi="http://inkscape.sourceforge.net/DTD/sodipodi-0.dtd" height="48px" sodipodi:version="0.32" width="48px" xmlns:cc="http://web.resource.org/cc/" xmlns:xlink="http://www.w3.org/1999/xlink" sodipodi:docbase="/home/jimmac/src/cvs/tango-icon-theme/scalable/actions" xmlns:dc="http://purl.org/dc/elements/1.1/">
- <defs id="defs6433">
-  <linearGradient id="linearGradient4975" y2="48.548" gradientUnits="userSpaceOnUse" x2="45.919" gradientTransform="translate(-18.018 -13.571)" y1="36.423" x1="34.893">
-   <stop id="stop1324" stop-color="#729fcf" offset="0"/>
-   <stop id="stop1326" stop-color="#5187d6" offset="1"/>
-  </linearGradient>
-  <linearGradient id="linearGradient7922" y2="34.977" gradientUnits="userSpaceOnUse" x2="27.901" y1="22.852" x1="16.875">
-   <stop id="stop7918" stop-color="#fff" offset="0"/>
-   <stop id="stop7920" stop-color="#fff" stop-opacity=".34021" offset="1"/>
-  </linearGradient>
-  <radialGradient id="radialGradient2097" gradientUnits="userSpaceOnUse" cy="35.127" cx="23.071" gradientTransform="matrix(.91481 .012650 -.0082150 .21356 2.2539 27.189)" r="10.319">
-   <stop id="stop2093" offset="0"/>
-   <stop id="stop2095" stop-opacity="0" offset="1"/>
-  </radialGradient>
- </defs>
- <sodipodi:namedview id="base" bordercolor="#666666" pagecolor="#ffffff" showgrid="false" borderopacity="0.15686275" showguides="true"/>
- <metadata id="metadata6436">
-  <rdf:RDF>
-   <cc:Work rdf:about="">
-    <dc:format>image/svg+xml</dc:format>
-    <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
-    <dc:title>Add</dc:title>
-    <dc:date>2006-01-04</dc:date>
-    <dc:creator>
-     <cc:Agent>
-      <dc:title>Andreas Nilsson</dc:title>
-     </cc:Agent>
-    </dc:creator>
-    <dc:source>http://tango-project.org</dc:source>
-    <dc:subject>
-     <rdf:Bag>
-      <rdf:li>add</rdf:li>
-      <rdf:li>plus</rdf:li>
-     </rdf:Bag>
-    </dc:subject>
-    <cc:license rdf:resource="http://creativecommons.org/licenses/by-sa/2.0/"/>
-   </cc:Work>
-   <cc:License rdf:about="http://creativecommons.org/licenses/by-sa/2.0/">
-    <cc:permits rdf:resource="http://web.resource.org/cc/Reproduction"/>
-    <cc:permits rdf:resource="http://web.resource.org/cc/Distribution"/>
-    <cc:requires rdf:resource="http://web.resource.org/cc/Notice"/>
-    <cc:requires rdf:resource="http://web.resource.org/cc/Attribution"/>
-    <cc:permits rdf:resource="http://web.resource.org/cc/DerivativeWorks"/>
-    <cc:requires rdf:resource="http://web.resource.org/cc/ShareAlike"/>
-   </cc:License>
-  </rdf:RDF>
- </metadata>
- <g id="layer1">
-  <path id="path1361" sodipodi:rx="10.319340" sodipodi:ry="2.3201940" sodipodi:type="arc" d="m33.278 34.941a10.319 2.3202 0 1 1 -20.638 0 10.319 2.3202 0 1 1 20.638 0z" opacity=".2" transform="matrix(1.5505 0 0 1.293 -11.597 -8.1782)" sodipodi:cy="34.940620" sodipodi:cx="22.958872" fill="url(#radialGradient2097)"/>
-  <path id="text1314" d="m27.514 37.543v-9.027l9.979-0.04v-6.996h-9.97l-0.009-9.96-7.016 0.011 0.005 9.931-9.99 0.074-0.036 6.969 10.034-0.029 0.007 9.04 6.996 0.027z" sodipodi:nodetypes="ccccccccccccc" stroke="#3465a4" stroke-width="1px" fill="#75a1d0"/>
-  <path id="path7076" opacity=".40860" d="m26.499 36.534v-9.034h10.002l-0.006-5.025h-9.987v-9.995l-4.995 0.018 0.009 9.977-10.026 0.018-0.027 4.973 10.064 0.009-0.013 9.028 4.979 0.031z" sodipodi:nodetypes="ccccccccccccc" stroke="url(#linearGradient7922)" stroke-width="1px" fill="url(#linearGradient4975)"/>
-  <path id="path7914" opacity=".31183" d="m11 25c0 1.938 25.984-0.969 25.984-0.031v-3l-9.984 0.031v-9.965h-6v9.965h-10v3z" fill-rule="evenodd" sodipodi:nodetypes="ccccccccc" fill="#fff"/>
- </g>
-</svg>
diff --git a/src/trace_viewer/List-remove.svg b/src/trace_viewer/List-remove.svg
deleted file mode 100644
index 18c9a135..00000000
--- a/src/trace_viewer/List-remove.svg
+++ /dev/null
@@ -1,117 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!-- Created with Inkscape (http://www.inkscape.org/) -->
-<svg xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:sodipodi="http://inkscape.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" width="48px" height="48px" id="svg6431" sodipodi:version="0.32" inkscape:version="0.43+devel" sodipodi:docbase="/home/jimmac/src/cvs/tango-icon-theme/scalable/actions" sodipodi:docname="list-remove.svg">
-  <defs id="defs6433">
-    <linearGradient inkscape:collect="always" id="linearGradient2091">
-      <stop style="stop-color:#000000;stop-opacity:1;" offset="0" id="stop2093"/>
-      <stop style="stop-color:#000000;stop-opacity:0;" offset="1" id="stop2095"/>
-    </linearGradient>
-    <radialGradient inkscape:collect="always" xlink:href="#linearGradient2091" id="radialGradient2097" cx="23.070683" cy="35.127438" fx="23.070683" fy="35.127438" r="10.319340" gradientTransform="matrix(0.914812,1.265023e-2,-8.21502e-3,0.213562,2.253914,27.18889)" gradientUnits="userSpaceOnUse"/>
-    <linearGradient id="linearGradient7916">
-      <stop style="stop-color:#ffffff;stop-opacity:1;" offset="0" id="stop7918"/>
-      <stop style="stop-color:#ffffff;stop-opacity:0.34020618;" offset="1.0000000" id="stop7920"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" id="linearGradient8662">
-      <stop style="stop-color:#000000;stop-opacity:1;" offset="0" id="stop8664"/>
-      <stop style="stop-color:#000000;stop-opacity:0;" offset="1" id="stop8666"/>
-    </linearGradient>
-    <radialGradient inkscape:collect="always" xlink:href="#linearGradient8662" id="radialGradient1503" gradientUnits="userSpaceOnUse" gradientTransform="matrix(1.000000,0.000000,0.000000,0.536723,-1.018989e-13,16.87306)" cx="24.837126" cy="36.421127" fx="24.837126" fy="36.421127" r="15.644737"/>
-    <linearGradient inkscape:collect="always" id="linearGradient2847">
-      <stop style="stop-color:#3465a4;stop-opacity:1;" offset="0" id="stop2849"/>
-      <stop style="stop-color:#3465a4;stop-opacity:0;" offset="1" id="stop2851"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2847" id="linearGradient1488" gradientUnits="userSpaceOnUse" gradientTransform="matrix(-1.000000,0.000000,0.000000,-1.000000,-1.242480,40.08170)" x1="37.128052" y1="29.729605" x2="37.065414" y2="26.194071"/>
-    <linearGradient id="linearGradient2831">
-      <stop style="stop-color:#3465a4;stop-opacity:1;" offset="0" id="stop2833"/>
-      <stop id="stop2855" offset="0.33333334" style="stop-color:#5b86be;stop-opacity:1;"/>
-      <stop style="stop-color:#83a8d8;stop-opacity:0;" offset="1" id="stop2835"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2831" id="linearGradient1486" gradientUnits="userSpaceOnUse" gradientTransform="translate(-48.30498,-6.043298)" x1="13.478554" y1="10.612206" x2="15.419417" y2="19.115122"/>
-    <linearGradient id="linearGradient2380">
-      <stop style="stop-color:#b9cfe7;stop-opacity:1" offset="0" id="stop2382"/>
-      <stop style="stop-color:#729fcf;stop-opacity:1" offset="1" id="stop2384"/>
-    </linearGradient>
-    <linearGradient id="linearGradient2682">
-      <stop style="stop-color:#3977c3;stop-opacity:1;" offset="0" id="stop2684"/>
-      <stop style="stop-color:#89aedc;stop-opacity:0;" offset="1" id="stop2686"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2682" id="linearGradient2688" x1="36.713837" y1="31.455952" x2="37.124462" y2="24.842253" gradientUnits="userSpaceOnUse" gradientTransform="translate(-48.77039,-5.765705)"/>
-    <linearGradient inkscape:collect="always" id="linearGradient2690">
-      <stop style="stop-color:#c4d7eb;stop-opacity:1;" offset="0" id="stop2692"/>
-      <stop style="stop-color:#c4d7eb;stop-opacity:0;" offset="1" id="stop2694"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2690" id="linearGradient2696" x1="32.647972" y1="30.748846" x2="37.124462" y2="24.842253" gradientUnits="userSpaceOnUse" gradientTransform="translate(-48.77039,-5.765705)"/>
-    <linearGradient inkscape:collect="always" id="linearGradient2871">
-      <stop style="stop-color:#3465a4;stop-opacity:1;" offset="0" id="stop2873"/>
-      <stop style="stop-color:#3465a4;stop-opacity:1" offset="1" id="stop2875"/>
-    </linearGradient>
-    <linearGradient id="linearGradient2402">
-      <stop style="stop-color:#729fcf;stop-opacity:1;" offset="0" id="stop2404"/>
-      <stop style="stop-color:#528ac5;stop-opacity:1;" offset="1" id="stop2406"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2797" id="linearGradient1493" gradientUnits="userSpaceOnUse" x1="5.9649176" y1="26.048164" x2="52.854097" y2="26.048164"/>
-    <linearGradient inkscape:collect="always" id="linearGradient2797">
-      <stop style="stop-color:#ffffff;stop-opacity:1;" offset="0" id="stop2799"/>
-      <stop style="stop-color:#ffffff;stop-opacity:0;" offset="1" id="stop2801"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2797" id="linearGradient1491" gradientUnits="userSpaceOnUse" x1="5.9649176" y1="26.048164" x2="52.854097" y2="26.048164"/>
-    <linearGradient inkscape:collect="always" id="linearGradient7179">
-      <stop style="stop-color:#ffffff;stop-opacity:1;" offset="0" id="stop7181"/>
-      <stop style="stop-color:#ffffff;stop-opacity:0;" offset="1" id="stop7183"/>
-    </linearGradient>
-    <linearGradient id="linearGradient2316">
-      <stop style="stop-color:#000000;stop-opacity:1;" offset="0" id="stop2318"/>
-      <stop style="stop-color:#ffffff;stop-opacity:0.65979379;" offset="1" id="stop2320"/>
-    </linearGradient>
-    <linearGradient id="linearGradient1322">
-      <stop id="stop1324" offset="0.0000000" style="stop-color:#729fcf"/>
-      <stop id="stop1326" offset="1.0000000" style="stop-color:#5187d6;stop-opacity:1.0000000;"/>
-    </linearGradient>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient1322" id="linearGradient4975" x1="34.892849" y1="36.422989" x2="45.918697" y2="48.547989" gradientUnits="userSpaceOnUse" gradientTransform="translate(-18.01785,-13.57119)"/>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient7179" id="linearGradient7185" x1="13.435029" y1="13.604306" x2="22.374878" y2="23.554308" gradientUnits="userSpaceOnUse"/>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient7179" id="linearGradient7189" gradientUnits="userSpaceOnUse" x1="13.435029" y1="13.604306" x2="22.374878" y2="23.554308" gradientTransform="matrix(-1.000000,0.000000,0.000000,-1.000000,47.93934,50.02474)"/>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2380" id="linearGradient7180" gradientUnits="userSpaceOnUse" x1="62.513836" y1="36.061237" x2="15.984863" y2="20.60858"/>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2871" id="linearGradient7182" gradientUnits="userSpaceOnUse" x1="46.834816" y1="45.264122" x2="45.380436" y2="50.939667"/>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2402" id="linearGradient7184" gradientUnits="userSpaceOnUse" x1="18.935766" y1="23.667896" x2="53.588622" y2="26.649362"/>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient2871" id="linearGradient7186" gradientUnits="userSpaceOnUse" x1="46.834816" y1="45.264122" x2="45.380436" y2="50.939667"/>
-    <linearGradient inkscape:collect="always" xlink:href="#linearGradient7916" id="linearGradient7922" x1="16.874998" y1="22.851799" x2="27.900846" y2="34.976799" gradientUnits="userSpaceOnUse"/>
-  </defs>
-  <sodipodi:namedview id="base" pagecolor="#ffffff" bordercolor="#666666" borderopacity="0.10980392" inkscape:pageopacity="0.0" inkscape:pageshadow="2" inkscape:zoom="1" inkscape:cx="38.727739" inkscape:cy="26.974252" inkscape:current-layer="layer1" showgrid="false" inkscape:grid-bbox="true" inkscape:document-units="px" inkscape:window-width="1280" inkscape:window-height="949" inkscape:window-x="380" inkscape:window-y="79" inkscape:showpageshadow="false"/>
-  <metadata id="metadata6436">
-    <rdf:RDF>
-      <cc:Work rdf:about="">
-        <dc:format>image/svg+xml</dc:format>
-        <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
-        <dc:title>Remove</dc:title>
-        <dc:date>2006-01-04</dc:date>
-        <dc:creator>
-          <cc:Agent>
-            <dc:title>Andreas Nilsson</dc:title>
-          </cc:Agent>
-        </dc:creator>
-        <dc:source>http://tango-project.org</dc:source>
-        <dc:subject>
-          <rdf:Bag>
-            <rdf:li>remove</rdf:li>
-            <rdf:li>delete</rdf:li>
-          </rdf:Bag>
-        </dc:subject>
-        <cc:license rdf:resource="http://creativecommons.org/licenses/by-sa/2.0/"/>
-      </cc:Work>
-      <cc:License rdf:about="http://creativecommons.org/licenses/by-sa/2.0/">
-        <cc:permits rdf:resource="http://web.resource.org/cc/Reproduction"/>
-        <cc:permits rdf:resource="http://web.resource.org/cc/Distribution"/>
-        <cc:requires rdf:resource="http://web.resource.org/cc/Notice"/>
-        <cc:requires rdf:resource="http://web.resource.org/cc/Attribution"/>
-        <cc:permits rdf:resource="http://web.resource.org/cc/DerivativeWorks"/>
-        <cc:requires rdf:resource="http://web.resource.org/cc/ShareAlike"/>
-      </cc:License>
-    </rdf:RDF>
-  </metadata>
-  <g id="layer1" inkscape:label="Layer 1" inkscape:groupmode="layer">
-    <path style="font-size:59.901077px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:start;line-height:125.00000%;writing-mode:lr-tb;text-anchor:start;fill:#75a1d0;fill-opacity:1.0000000;stroke:#3465a4;stroke-width:1.0000004px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Bitstream Vera Sans" d="M 27.514356,28.359472 L 39.633445,28.475543 L 39.633445,21.480219 L 27.523285,21.480219 L 20.502546,21.462362 L 8.5441705,21.489147 L 8.5084565,28.457686 L 20.511475,28.475543 L 27.514356,28.359472 z " id="text1314" sodipodi:nodetypes="ccccccccc"/>
-    <path style="font-size:59.901077px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:start;line-height:125.00000%;writing-mode:lr-tb;text-anchor:start;opacity:0.40860215;fill:url(#linearGradient4975);fill-opacity:1.0000000;stroke:url(#linearGradient7922);stroke-width:1.0000006px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;font-family:Bitstream Vera Sans" d="M 38.579429,27.484113 L 38.588357,22.475309 L 9.5267863,22.493166 L 9.5000003,27.466256 L 38.579429,27.484113 z " id="path7076" sodipodi:nodetypes="ccccc"/>
-    <path style="fill:#ffffff;fill-opacity:1.0000000;fill-rule:evenodd;stroke:none;stroke-width:1.0000000px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1.0000000;opacity:0.31182796" d="M 9.0000000,25.000000 C 9.0000000,26.937500 39.125000,24.062500 39.125000,25.000000 L 39.125000,22.000000 L 9.0000000,22.000000 L 9.0000000,25.000000 z " id="path7914" sodipodi:nodetypes="ccccc"/>
-    <path sodipodi:type="arc" style="opacity:0.10439561;fill:url(#radialGradient2097);fill-opacity:1;stroke:none;stroke-width:3;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" id="path1361" sodipodi:cx="22.958872" sodipodi:cy="34.94062" sodipodi:rx="10.31934" sodipodi:ry="2.320194" d="M 33.278212 34.94062 A 10.31934 2.320194 0 1 1  12.639532,34.94062 A 10.31934 2.320194 0 1 1  33.278212 34.94062 z" transform="matrix(2.32573,0,0,1.293,-29.39613,-8.178198)" inkscape:r_cx="true" inkscape:r_cy="true"/>
-  </g>
-</svg>
\ No newline at end of file
diff --git a/src/trace_viewer/README b/src/trace_viewer/README
deleted file mode 100644
index 547a1435..00000000
--- a/src/trace_viewer/README
+++ /dev/null
@@ -1,11 +0,0 @@
-
-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
diff --git a/src/trace_viewer/index.css b/src/trace_viewer/index.css
deleted file mode 100644
index 35ebcb23..00000000
--- a/src/trace_viewer/index.css
+++ /dev/null
@@ -1,86 +0,0 @@
-
-body {
-    background-color: #202020;
-    color: #DCDCCC;
-    font-family: monospace;
-    font-size: 14pt;
-    font-weight: bold;
-}
-
-img {
-    height: 30px;
-}
-
-#control {
-    position: fixed;
-    bottom: 0px;
-    left:10%;
-    right:10%;
-    width:80%;
-}
-
-#command {
-    font-size: 16pt;
-    width: 100%;
-}
-
-.call {
-    background-color: #313131;
-    border: 1px;
-    border-left: 5px;
-    border-color: rgb(118, 173, 160);
-    border-style: solid;
-    padding-top: 2px;
-    padding-bottom: 2px;
-    margin: 0px;
-    min-height: 32px;
-    display: flex;
-    align-items: center;
-}
-
-.write {
-    background-color: #313131;
-    border: 1px;
-    border-left: 5px;
-    border-color: rgb(255, 40, 40);
-    border-style: solid;
-    padding-top: 2px;
-    padding-bottom: 2px;
-    margin: 0px;
-    min-height: 32px;
-    display: flex;
-    align-items: center;
-}
-
-.load {
-    background-color: #313131;
-    color: white;
-    border: 1px;
-    border-left: 5px;
-    border-color: #ff9100;
-    border-style: solid;
-    padding-top: 2px;
-    padding-bottom: 2px;
-    margin: 0px;
-    min-height: 32px;
-    display: flex;
-    align-items: center;
-}
-
-.read {
-    background-color: #313131;
-    border: 1px;
-    border-left: 5px;
-    border-color: rgb(107, 199, 47);
-    border-style: solid;
-    padding-top: 2px;
-    padding-bottom: 2px;
-    margin: 0px;
-    min-height: 32px;
-    display: flex;
-    align-items: center;
-}
-
-.tree {
-    padding-left: 20px;
-}
\ No newline at end of file
diff --git a/src/trace_viewer/index.html b/src/trace_viewer/index.html
deleted file mode 100644
index 9efcca56..00000000
--- a/src/trace_viewer/index.html
+++ /dev/null
@@ -1,19 +0,0 @@
-<!DOCTYPE html>
-<html>
-  <head>
-    <meta charset="UTF-8">
-    <title>Sail Trace 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
diff --git a/src/trace_viewer/index.ts b/src/trace_viewer/index.ts
deleted file mode 100644
index f9b5041b..00000000
--- a/src/trace_viewer/index.ts
+++ /dev/null
@@ -1,287 +0,0 @@
-import {remote} from "electron"
-import fs = require("fs")
-const dialog = remote.dialog
-const app = remote.app
-
-let topCallDiv = document.createElement("div")
-
-const max_arg_length = 5000
-
-abstract class Event {
-    caller: Call
-
-    protected div: HTMLDivElement | null = null
-
-    public hide(): void {
-        if (this.div != null) {
-            this.div.remove()
-            this.div = null
-        }        
-    }
-
-    protected abstract showText(text: HTMLParagraphElement): void
-
-    public show(): HTMLDivElement {
-        let callerDiv: HTMLDivElement = (this.caller != null) ? this.caller.show() : topCallDiv
-        
-        if (this.div != null) {
-            return this.div
-        } else {
-            this.div = document.createElement("div")
-            this.div.className = "tree"
-            callerDiv.appendChild(this.div)
-            let text = document.createElement("p")
-            this.showText(text)
-            this.div.appendChild(text)
-            return this.div
-        }          
-    }
-}
-
-class Load extends Event {
-    loc: string
-    val: string
-
-    constructor(loc: string, val: string) {
-        super()
-        this.loc = loc
-        this.val = val
-    }
-
-    protected showText(text: HTMLParagraphElement): void {
-        text.className = "load"
-        text.insertAdjacentText('beforeend', this.loc + " " + this.val)        
-    }
-}
-
-class Read extends Event {
-    reg: string
-    value: string
-
-    constructor(reg: string, value: string) {
-        super()
-        this.reg = reg
-        this.value = value
-    }
-
-    public showText(text: HTMLParagraphElement): void {
-        text.className = "read"
-        text.insertAdjacentText('beforeend', this.reg + " " + this.value)
-    }
-}
-
-class Write extends Event {
-    reg: string
-    value: string
-
-    constructor(reg: string, value: string) {
-        super()
-        this.reg = reg
-        this.value = value
-    }
-
-    public showText(text: HTMLParagraphElement): void {
-        text.className = "write"
-        text.insertAdjacentText('beforeend', this.reg + " " + this.value)
-    }
-}
-
-class Call {
-    fn: string
-    arg: string
-    ret: string
-    callees: (Call | Event)[] = []
-    caller: Call
-
-    private div: HTMLDivElement | null = null        
-
-    private toggle: boolean = false
-    private toggleImg: HTMLImageElement | null = null
-
-    constructor(fn: string, arg: string, ret: string) {
-        this.fn = fn
-        this.arg = arg
-        this.ret = ret
-    }
-
-    public expand() {
-        if (this.caller != undefined) {
-            this.caller.expand()
-        }
-        this.showChildren()
-    }
-
-    public iter(f: (call: Call) => void): void {
-        f(this)
-        this.callees.forEach((callee) => {
-            if (callee instanceof Call) { callee.iter(f) }
-        })
-
-    }
-
-    public show(): HTMLDivElement {
-        let callerDiv: HTMLDivElement = (this.caller != null) ? this.caller.show() : topCallDiv
-
-        if (this.div != null) {
-            return this.div
-        } else {
-            this.div = document.createElement("div")
-            this.div.className = "tree"
-            callerDiv.appendChild(this.div)
-            let text = document.createElement("p")
-            text.className = "call"
-            if (this.callees.length > 0) {
-                this.toggleImg = document.createElement("img")
-                this.toggleImg.src = "List-add.svg"
-                this.toggleImg.addEventListener('click', () => {
-                    if (this.toggle) {
-                    this.hideChildren()
-                    } else {
-                        this.showChildren()
-                    }
-                })
-                text.appendChild(this.toggleImg)
-            }
-            this.toggle = false
-            let display_arg = this.arg
-            if (this.arg.length > max_arg_length) {
-                display_arg = this.arg.slice(0, max_arg_length)
-            }
-            let display_ret = this.ret
-            if (this.ret.length > max_arg_length) {
-                display_ret = this.ret.slice(0, max_arg_length)
-            }
-
-            text.insertAdjacentText('beforeend', this.fn + " " + display_arg + " -> " + display_ret)
-            this.div.appendChild(text)
-            return this.div
-        }
-    }
-
-    public hide(): void {
-        if (this.toggle == true) {
-            this.hideChildren()
-        }
-
-        if (this.div != null) {
-            this.div.remove()
-            this.div = null
-        }
-        if (this.toggleImg != null) {
-            this.toggleImg.remove()
-            this.toggleImg = null
-        }
-    }
-
-    public hideChildren(): void {
-        this.callees.forEach(call => {
-            call.hide()
-        })
-
-        if (this.toggleImg != null) {
-            this.toggleImg.src = "List-add.svg"
-            this.toggle = false
-        } else {
-            alert("this.toggleImg was null!")
-        }
-    }
-
-    public showChildren(): void {
-        this.callees.forEach(call => {
-            call.show()
-        });
-
-        if (this.toggleImg != null) {
-            this.toggleImg.src = "List-remove.svg"
-            this.toggle = true
-        } else {
-            alert("this.toggleImg was null!")
-        }
-    }
-
-    public appendChild(child: Call | Write | Read | Load): void {
-        child.caller = this
-
-        this.callees.push(child)
-    }
-}
-
-document.addEventListener('DOMContentLoaded', () => {
-    let rootCall = new Call("ROOT", "", "")
-    topCallDiv.id = "root"
-    document.getElementById("container")!.appendChild(topCallDiv)
-
-    let commandInput = document.getElementById("command") as HTMLInputElement
-
-    commandInput.addEventListener("keydown", (event) => {
-        if(event.keyCode == 13) {
-            let cmd = commandInput.value.split(" ")
-            commandInput.value = ""
-
-            if (cmd[0] == "function") {
-                rootCall.iter((call) => {
-                    if (call.fn == cmd[1]) { call.caller.expand() }
-                })
-            }
-        }
-    })
-
-    let files = dialog.showOpenDialog(remote.getCurrentWindow(), {title: "Select log file", defaultPath: app.getAppPath()})
-
-    if (files == [] || files == undefined) {
-        dialog.showErrorBox("Error", "No file selected")
-        app.exit(1)
-    }
-
-    fs.readFile(files[0], 'utf-8', (err, data) => {
-        if (err) {
-            dialog.showErrorBox("Error", "An error occurred when reading the log: " + err.message)
-            app.exit(1)
-        }
-
-        let lines = data.split("\n")
-        // let indents = lines.map(line => line.search(/[^\s]/) / 2)
-        lines = lines.map(line => line.trim())
-
-        let stack : Call[] = [rootCall]
-
-        lines.forEach(line => {
-            if (line.match(/^Call:/)) {
-                let words = line.slice(6).split(" ")
-                let call = new Call(words[0], words.slice(1).join(" "), "")
-                if (stack.length > 0) {
-                    stack[stack.length - 1].appendChild(call)
-                }
-                stack.push(call)
-            } else if (line.match(/^Return:/)) {
-                let call = stack.pop()
-                if (call == undefined) {
-                    alert("Unbalanced return")
-                    app.exit(1)
-                } else {
-                    call.ret = line.slice(8)
-                }
-            } else if (line.match(/^Write:/)) {
-                let words = line.slice(7).split(" ")
-                let write = new Write(words[0], words.slice(1).join(" "))
-                if (stack.length > 0) {
-                    stack[stack.length - 1].appendChild(write)
-                }
-            } else if (line.match(/^Read:/)) {
-                let words = line.slice(6).split(" ")
-                let read = new Read(words[0], words.slice(1).join(" "))
-                if (stack.length > 0) {
-                    stack[stack.length - 1].appendChild(read)
-                }
-            } else if (line.match(/^Load:/)) {
-                let words = line.slice(6).split(" ")
-                let load = new Load(words[0], words[1])
-                if (stack.length > 0) {
-                    stack[stack.length - 1].appendChild(load)
-                }
-            }
-        })
-
-        rootCall.show()
-    })
-})
\ No newline at end of file
diff --git a/src/trace_viewer/main.ts b/src/trace_viewer/main.ts
deleted file mode 100644
index 5cc33452..00000000
--- a/src/trace_viewer/main.ts
+++ /dev/null
@@ -1,12 +0,0 @@
-import {app, BrowserWindow} from 'electron'
-
-let win : BrowserWindow | null = null
-
-app.on('ready', () => {
-    win = new BrowserWindow({width: 1920, height: 1200})
-    win.loadURL('file://' + __dirname + '/index.html')
-    //win.webContents.openDevTools()
-    win.on('close', () => {
-        win = null
-    })
-})
\ No newline at end of file
diff --git a/src/trace_viewer/package.json b/src/trace_viewer/package.json
deleted file mode 100644
index e3a88d30..00000000
--- a/src/trace_viewer/package.json
+++ /dev/null
@@ -1,15 +0,0 @@
-{
-  "name": "trace_viewer",
-  "version": "1.0.0",
-  "description": "",
-  "main": "main.js",
-  "scripts": {
-    "test": "echo \"Error: no test specified\" && exit 1",
-    "tsc": "./node_modules/typescript/bin/tsc"
-  },
-  "devDependencies": {
-    "@types/node": "^8.0.46",
-    "electron": "1.7.9",
-    "typescript": "^2.5.3"
-  }
-}
diff --git a/src/trace_viewer/tsconfig.json b/src/trace_viewer/tsconfig.json
deleted file mode 100644
index e66156b3..00000000
--- a/src/trace_viewer/tsconfig.json
+++ /dev/null
@@ -1,18 +0,0 @@
-{
-    "compileOnSave": true,
-    "compilerOptions": {
-        "target": "es5",
-        "moduleResolution": "node",
-        "pretty": true,
-        "newLine": "LF",
-        "allowSyntheticDefaultImports": true,
-        "strict": true,
-        "noUnusedLocals": true,
-        "noUnusedParameters": true,
-        "sourceMap": true,
-        "strictNullChecks": true,
-        "skipLibCheck": true,
-        "allowJs": true,
-        "jsx": "preserve"
-    }
-}
\ No newline at end of file