From 90e3e398526c1c865e150cf54ae4ec297fb7e2e5 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Fri, 26 Apr 2024 21:16:35 -0700
Subject: [PATCH] more work

---
 churchroad                 | 2 +-
 web-demo/src/lib.rs        | 4 +++-
 web-demo/static/index.html | 8 +++-----
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/churchroad b/churchroad
index 1b04236..b97b144 160000
--- a/churchroad
+++ b/churchroad
@@ -1 +1 @@
-Subproject commit 1b042364bac467ff1dac021fba85f778bcd9f5ff
+Subproject commit b97b144f8e1000122ecbe7375f6b6d964cc3bea7
diff --git a/web-demo/src/lib.rs b/web-demo/src/lib.rs
index fad4227..2c5b7dc 100644
--- a/web-demo/src/lib.rs
+++ b/web-demo/src/lib.rs
@@ -26,7 +26,9 @@ pub fn run_program(input: &str) -> Result {
             let choices = GreedyDagExtractor::default().extract(&serialized2, &[]);
             let mut out = churchroad::to_verilog_egraph_serialize(&serialized2, &choices, "");
 
-            out.push_str("\n\nOutputs:\n");
+            if outputs.len() > 0 {
+                out.push_str("\n\nOutputs:\n");
+            }
             for (i, output) in outputs.iter().enumerate() {
                 out.push_str(&format!("Output {}: {}\n", i, output));
             }
diff --git a/web-demo/static/index.html b/web-demo/static/index.html
index 6bdf5f2..7cc121c 100644
--- a/web-demo/static/index.html
+++ b/web-demo/static/index.html
@@ -421,18 +421,16 @@
     <div id="panel">
         <div id="toolbar">
             <button onclick="run()">Run</button>
-            <button onclick="pushState()" id="share">Share</button>
-            <button onclick="slideMode()">Slidemode</button>
             <button onclick="convertVerilog()">Convert Verilog</button>
             <button id="prev" onclick="prev()">Prev</button>
             <button id="next" onclick="next()">Next</button>
             <p id="slideNumber"></p>
 
             <!-- <label for="examples">Examples:</label> -->
-            <select name="examples" id="examples">
+            <select style="display: none;" name="examples" id="examples">
                 <option value=""> Load an example </option>
             </select>
-            <div class="right" id="github">
+            <!-- <div class="right" id="github">
                 <a class="badge" href="https://github.com/egraphs-good/egglog">
                     <img alt="GitHub Repo"
                         src="https://img.shields.io/github/stars/egraphs-good/egglog?label=GitHub&style=social"></a>
@@ -440,7 +438,7 @@
             <div class="right" id="docs">
                 <a class="badge" href="docs/egglog">
                     <img alt="Main Branch Documentation" src="https://img.shields.io/badge/docs-main-blue"></a>
-            </div>
+            </div> -->
         </div>
         <!-- Log panel -->
         <div class="tab">