Pass on using-web

Author: pavpanchekha

src/web/demo.rkt

@@ -101,6 +101,7 @@
     `(form ([action ,(url improve)] [method "post"] [id "formula"]
             [data-progress ,(url improve-start)])
            (input ([name "formula"] [autofocus "true"] [placeholder "(FPCore (x) (- (sqrt (+ x 1)) (sqrt x)))"]))
+           (pre ([id "progress"] [style "display: none;"]))
            (div ([class "extra-fields"])
              (label ([for "pre"]) "Precondition")
              (input ([name "pre"] [id "pre"] [placeholder "TRUE"]))
@@ -109,7 +110,6 @@
                (option ([value "binary64"]) "Double-precision floats")
                (option ([value "binary32"]) "Single-precision floats")))
            (ul ([id "errors"]))
-           (pre ([id "progress"] [style "display: none;"]))
            (input ([type "submit"])))
 
     (if (*demo?*)
@@ -318,7 +318,7 @@
   (thread-send *worker-thread* config)
 
   (eprintf "Herbie ~a with seed ~a\n" *herbie-version* (get-seed))
-  (eprintf "Find help on <https://herbie.uwplse.org/>, exit with Ctrl-C\n")
+  (eprintf "Find help on https://herbie.uwplse.org/, exit with Ctrl-C\n")
 
   (serve/servlet
    dispatch

www/doc/1.3/using-cli.html

@@ -18,8 +18,7 @@ <h1>Using Herbie from the Command Line</h1>
     make them more accurate. The expressions could come from
     anywhere—your source code, mathematical papers, or even the output
     of <a href="../1.0/using-herbgrind.html">Herbgrind</a>, our tool for
-    finding inaccurate expressions in binaries. This tutorial runs
-    Herbie on the benchmark programs that Herbie ships with.
+    finding inaccurate expressions in binaries.
   </p>
 
   <p>Herbie can be used from the command-line

www/doc/1.3/using-web.html

@@ -18,12 +18,11 @@ <h1>Using Herbie from the Browser</h1>
     make them more accurate. The expressions could come from
     anywhere—your source code, mathematical papers, or even the output
     of <a href="../1.0/using-herbgrind.html">Herbgrind</a>, our tool for
-    finding inaccurate expressions in binaries. This tutorial runs
-    Herbie on the benchmark programs that Herbie ships with.
+    finding inaccurate expressions in binaries.
   </p>
 
   <p>Herbie can be used from <a href="using-cli.html">the
-  command-line</a> and from the browser. This page covers
+  command-line</a> or from the browser. This page covers
   using Herbie from the browser.</p>
 
 
@@ -35,32 +34,31 @@ <h2 id="interactive">The Herbie web shell</h2>
     shell:
   </p>
 
-  <pre>herbie web</pre>
+  <pre class="shell">herbie web</pre>
 
-  <p>
-    After a few seconds, the web shell will rev up and direct your
-    browser to the main web shell page:
-  </p>
+  <p>After a few seconds, the web shell will rev up and direct your
+  browser to Herbie:</p>
 
-  <pre><strong>$</strong> herbie web
+  <pre class="shell">herbie web
+Herbie 1.3 with seed 841489305
+Find help on https://herbie.uwplse.org/, exit with Ctrl-C
 Your Web application is running at http://localhost:8000/.
 Stop this program at any time to terminate the Web Server.</pre>
 
   <figure>
     <img width="100%" src="web-main.png" />
-    <figcaption>The input page for the web shell.</figcaption>
+    <figcaption>The Herbie web shell.</figcaption>
   </figure>
 
   <p>
-    As in the screenshot, you can type expressions, in standard
-    mathematical syntax (parsed
+    You can type expressions in standard mathematical syntax (parsed
     by <a href="http://mathjs.org">Math.js</a>), and
     hit <kbd>Enter</kbd> to have Herbie attempt to improve them.
   </p>
 
   <figure>
     <img width="100%" src="web-progress.png" />
-    <figcaption>Herbie improvement in progress.</figcaption>
+    <figcaption>Herbie shows improvement logs as it works.</figcaption>
   </figure>
 
   <p>
@@ -78,14 +76,13 @@ <h2 id="interactive">The Herbie web shell</h2>
   <h2 id="batch">Batch report generation</h2>
 
   <p>A <a href="report.html">report</a> can also be generated directly
-  from a file of input expressions:</p>
+  from a file of <a href="input.html">input expressions</a>:</p>
 
   <pre><strong>$</strong> herbie report input.fpcore output/
-Starting Herbie on 3 problems...
-Seed: 921081490
-  1/3	[ 7108.190ms]	(39→ 0)	Expanding a square
-  2/3	[ 1894.348ms]	( 0→ 0)	Commute and associate
-  3/3	[ 873.3889ms]	(29→ 0)	Cancel like terms</pre>
+Starting Herbie on 3 problems (seed: 1201949741)...
+  1/3	[  22.014s]   39→ 0	Expanding a square
+  2/3	[   8.616s]    0→ 0	Commute and associate
+  3/3	[   1.715s]   29→ 0	Cancel like terms</pre>
 
   <p>
     This command asks Herbie to generate a report from the input
@@ -95,7 +92,7 @@ <h2 id="batch">Batch report generation</h2>
   </p>
 
   <p>
-    Once generated, open the <code>output/report.html</code> page
+    Once generated, open the <code>output/results.html</code> page
     in your favorite browser (but see <a href="faq.html"> the FAQ</a>
     if you're using Chrome). From that page, you can click on the rows
     in the table at the bottom to see the report for that expression.
@@ -104,37 +101,8 @@ <h2 id="batch">Batch report generation</h2>
   <p>Batch report generation is the most informative way to run Herbie
   on a large collection of inputs. Like the web shell, it can be
   customized through <a href="options.html">command-line options</a>,
-  including running Herbie in multiple threads at once.</p>
-
-
-  <h2>Input expressions</h2>
+  including parallelizing Herbie with multiple threads.</p>
 
-  <p>An example input file can be found in <code>bench/tutorial.fpcore</code>:</p>
-  
-  <pre>(FPCore (x)
-  :name "Cancel like terms"
-  (- (+ 1 x) x))
-
-(FPCore (x)
-  :name "Expanding a square"
-  (- (* (+ x 1) (+ x 1)) 1))
-
-(FPCore (x y z)
-  :name "Commute and associate"
-  (- (+ (+ x y) z) (+ x (+ y z))))</pre>
-  
-  <p> This code defines three floating point expressions that we want
-    to run Herbie on:</p>
-
-  <ul>
-    <li><code>(1 + x) - x</code>, titled “Cancel like terms”</li>
-    <li><code>(x + 1)² - 1</code>, titled “Expanding a square”</li>
-    <li><code>((x + y) + z) - (x + (y + z))</code>, titled “Commute
-    and associate”</li>
-  </ul>
-
-  <p>You can check out our <a href="input.html">input format
-    documentation</a> for more about the Herbie input format. </p>
 
 </body>
 </html>