Merge pull request #200 from uwplse/develop

Release Herbie 1.2

Author: pavpanchekha

www/doc/latest

@@ -1 +1 @@
-1.1
+1.2

www/index.html

@@ -91,6 +91,7 @@ <h2 id="docs">Documentation</h2>
 
   <h2>Herbie Project News</h2>
   <ol id="news">
+    <li><time>15 Jun</time>After a year of work, <a href="doc/1.2/release-notes.html">Herbie 1.2</a> has been released. This release focuses on creativity and accuracy, with a new system to infer better branches and more accurate defaults for Herbie's various parameters. Read about all the changes in the <a href="doc/1.2/release-notes.html">release notes</a>.</li>
     <li><time>9 Apr</time>We teamed up with <a href="https://www.mpi-sws.org/people/hbecker/">Heiko</a> and <a href="https://people.mpi-sws.org/~eva/">Eva</a> on the <a href="https://github.com/malyzajko/daisy">Daisy</a> team to combine our tools and evaluate how best to use them together—it'll be published at <a href="https://fm2018.org">FM’18</a>. If you're using Herbie with other floating point tools, let us know!</li>
     <li><time>1 Mar</time><a href="https://pavpanchekha.com/">Pavel</a> and <a href="https://homes.cs.washington.edu/~ztatlock/">Zach</a> went to see <a href="https://www.mccawhall.com/events/detail/herbie-hancock">Herbie Hancock play at the Seattle Center</a>. Watching Herbie play Chameleon on the keytar is sure to inspire the next generation of floating point accuracy improvement!</li>
     <li><time>17 Jan</time><a href="https://pavpanchekha.com/">Pavel</a> gave <a href="https://www.youtube.com/watch?v=oYtnXEZC0jk">a talk</a> at <a href="https://www.microsoft.com/en-us/research/">Microsoft Research Redmond</a> on Herbie and <a href="http://herbgrind.ucsd.edu">Herbgrind</a>, plus the <a href="http://fpbench.org">FPBench</a> project. Thank you everyone who came!</li>