Merge branch 'master' of github.com:uwplse/herbie into develop

Author: pavpanchekha

README.md

@@ -51,7 +51,7 @@ Running Herbie
 --------------
 
 For details on how to run Herbie, please see the
-[tutorial](http://herbie.uwplse.org/doc/tutorial.html).
+[tutorial](http://herbie.uwplse.org/doc/latest/using-herbie.html).
 
 The format of input files is a Scheme-based language;
 you can find several examples in `bench/`.

src/syntax/rules.rkt

@@ -26,7 +26,7 @@
 	(car results))))
 
 ; Commutativity
-(define-ruleset commutivity (arithmetic simplify)
+(define-ruleset commutativity (arithmetic simplify)
   [+-commutative     (+ a b)               (+ b a)]
   [*-commutative     (* a b)               (* b a)])
 

www/doc/1.0/using-herbgrind.html

@@ -55,7 +55,9 @@ <h2>Compiling the benchmark program</h2>
   contains one record for each operation; the only operation found
   in <code>diff-roots-simple.c</code> is:</p>
 
-  <pre>(- (sqrt (+ 1.000000 10000000000000.000000)) (sqrt 10000000000000.000000))
+  <pre>(FPCore ()
+  :type binary64
+  (- (sqrt (+ 1.000000 10000000000000.000000)) (sqrt 10000000000000.000000)))
 subtraction in main at diff-roots-simple.c:12 (address 400A00)
 43.129555 bits average error
 43.129555 bits max error