diff --git a/tooling/web/index.html b/tooling/web/index.html index 5cfebed7..13ebd49f 100644 --- a/tooling/web/index.html +++ b/tooling/web/index.html @@ -13,7 +13,8 @@ @@ -29,7 +30,21 @@
-
+ +
+ + + + + +
parametervalue
number of columns 0
number of rows 0
ratio of non-empty cells0
+
+ +
+    +
+ +
@@ -37,25 +52,29 @@
index
-
+ +
  
-
- - +
+ + +
-
- -
- ratio of non-empty cells: -
diff --git a/tooling/web/styles.css b/tooling/web/styles.css index 8cbaa99b..95f61616 100644 --- a/tooling/web/styles.css +++ b/tooling/web/styles.css @@ -10,7 +10,7 @@ th, td { padding: 5px; } -#left, #middle, #right { +.horiz { display: inline-block; *display: inline; vertical-align: top; diff --git a/tooling/web/witness_view.js b/tooling/web/witness_view.js index d1e5903a..5697264c 100644 --- a/tooling/web/witness_view.js +++ b/tooling/web/witness_view.js @@ -99,6 +99,11 @@ function initialize_from_witness(fname,json) { ncolumns = matrix.length ncells = ncolumns * nrows; + let el_num_rows = document.getElementById("num-rows"); + let el_num_cols = document.getElementById("num-cols"); + el_num_rows.innerHTML = nrows.toString(); + el_num_cols.innerHTML = ncolumns.toString(); + let gates_base = []; let gate_colors = []; @@ -148,9 +153,9 @@ function initialize_from_witness(fname,json) { } } - el_ratio = document.getElementById("nonempty-ratio"); + let el_ratio = document.getElementById("nonempty-ratio"); let ratio = Math.round( 100 * (ncells - empty_counter) / ncells); - el_ratio.value = ratio.toString() + "%"; + el_ratio.innerHTML = ratio.toString() + "%"; } function handle_error(res) {