better latex macros

egraphs-good · Feb 10, 2025 · 60f52c3 · 60f52c3
1 parent f0da7d6
commit 60f52c3
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 21 deletions.
diff --git a/infra/nightly-resources/index.js b/infra/nightly-resources/index.js
@@ -67,23 +67,7 @@ function addTableTo(element, data, title) {
     navigator.clipboard.writeText(table);
   };
 
-  // add a button that copies latex macros for table
-  const copyMacrosButton = document.createElement("button");
-  copyMacrosButton.innerText = "Copy Latex Macros";
-  copyMacrosButton.onclick = () => {
-    const macros = nestedJsonToLatexMacros(
-      data,
-      "name",
-      "executions",
-      "runMethod",
-    );
-    console.log("macros");
-    console.log(macros);
-    navigator.clipboard.writeText(macros);
-  };
-
   element.appendChild(copyButton);
-  element.appendChild(copyMacrosButton);
 
   // add a new div for the table
   const tableDiv = document.createElement("div");
@@ -130,18 +114,25 @@ function refreshView() {
 
   // fill in the overall stats table
   const overallStats = getOverallStatistics();
-
-  console.log("here");
   addTableTo(document.getElementById("tables"), overallStats, "Overall Stats");
 
+  var latexMacros = "";
+  latexMacros = latexMacros + jsonToLatexMacros(overallStats, "runMethod", "");
+
   for (const suite of getSuites()) {
     const tableData = tableForSuite(suite);
     addTableTo(document.getElementById("tables"), tableData, suite + " Stats");
+    latexMacros = latexMacros + nestedJsonToLatexMacros(
+      tableData,
+      "name",
+      "executions",
+      "runMethod",
+    );
   }
 
   renderWarnings();
   refreshChart();
-  refreshLatexMacros();
+  refreshLatexMacros(latexMacros);
 }
 
 function renderWarnings() {
@@ -227,10 +218,10 @@ async function buildNightlyDropdown(element, previousRuns, initialIdx) {
   select.value = formatRun(previousRuns[initialIdx]);
 }
 
-async function refreshLatexMacros() {
+async function refreshLatexMacros(tableMacros) {
   const latexMacrosTextArea = document.getElementById("latex-macros-text");
   const latexMacros = await fetch("nightlymacros.tex").then((r) => r.text());
-  latexMacrosTextArea.value = latexMacros;
+  latexMacrosTextArea.value = tableMacros + latexMacros;
 }
 
 function addGraphs() {

diff --git a/infra/nightly-resources/table.js b/infra/nightly-resources/table.js
@@ -53,6 +53,9 @@ function ConvertJsonToTable(
   tableClassName,
   linkText,
 ) {
+  // copy the table right away so we don't mutate it
+  parsedJson = JSON.parse(JSON.stringify(parsedJson));
+
   //Patterns for links and NULL value
   var italic = "<i>{0}</i>";
   var link = linkText