Index: tools/sodium/index.html |
diff --git a/tools/sodium/index.html b/tools/sodium/index.html |
new file mode 100644 |
index 0000000000000000000000000000000000000000..cbfe49902d0c8d11f648f41f6a22f3399a997530 |
--- /dev/null |
+++ b/tools/sodium/index.html |
@@ -0,0 +1,36 @@ |
+<!DOCTYPE html> |
+<html> |
+ <head> |
+ <title>Sodium</title> |
+ <meta charset="utf-8"> |
+ <link href="styles.css" rel="stylesheet" type="text/css"> |
+ </head> |
+ <script src="https://google-code-prettify.googlecode.com/svn/loader/run_prettify.js"></script> |
+ <script src="./sodium.js"></script> |
+ <script type="text/javascript"></script> |
+ <body> |
+ <table style='top:5px; width:100%;'> |
+ <tr><td id='table-header'> |
+ <input type='file' id='log-file-id' /> |
+ <select id="kind-selector-id" onchange="Sodium.kindChangedHandler(this);"></select><br> |
+ <select id="function-selector-id" onchange="Sodium.functionChangedHandler();"></select> |
+ </td></tr> |
+ <tr> |
+ <table style='height:90%;'> |
+ <tr> |
+ <td id='asm-container'> |
+ <div id='asm-text'></div> |
+ </td> |
+ <td id='source-container'> |
+ <div id='source-text'><pre id='source-text-pre'/></div> |
+ </td> |
+ </tr> |
+ </table> |
+ </tr> |
+ </table> |
+ <script> |
+ Sodium.buildFunctionKindSelector(document.getElementById('kind-selector-id')); |
+ document.getElementById('log-file-id').addEventListener('change', Sodium.readLog, false); |
+ </script> |
+ </body> |
+</html> |