Bump version numbers

Author: pavpanchekha

egg-herbie/info.rkt

@@ -1,7 +1,7 @@
 #lang info
 
 (define collection "egg-herbie")
-(define version "1.6")
+(define version "2.0")
 
 (define pkg-desc "Racket bindings for simplifying math expressions using egg")
 (define pkg-authors

src/config.rkt

@@ -121,7 +121,7 @@
           (if (equal? out "") default out))
       default))
 
-(define *herbie-version* "1.6")
+(define *herbie-version* "2.0")
 
 (define *hostname* (run-command "hostname"))
 

src/info.rkt

@@ -28,7 +28,7 @@
     "profile-lib"
     "rackunit-lib"
     "web-server-lib"
-    ("egg-herbie" #:version "1.6")
+    ("egg-herbie" #:version "2.0")
     ("rival" #:version "1.7")
     ("fpbench" #:version "2.0.3")))
 

www/doc/2.0/using-cli.html

@@ -72,7 +72,7 @@ <h2 id="batch">Batch processing FPCores</h2>
   1/3	[   0.882s]   30→ 0	Cancel like terms
 Warning: 24.7% of points produce a very large (infinite) output.
 You may want to add a precondition.
-See <a href="https://herbie.uwplse.org/doc/1.6/faq.html#inf-points">&lt;https://herbie.uwplse.org/doc/1.6/faq.html#inf-points&gt;</a> for more.
+See <a href="https://herbie.uwplse.org/doc/2.0/faq.html#inf-points">&lt;https://herbie.uwplse.org/doc/2.0/faq.html#inf-points&gt;</a> for more.
   2/3	[   1.721s]   29→ 0	Expanding a square
   3/3	[   2.426s]    0→ 0	Commute and associate</pre>