Skip to content

Commit 67cd4ad

Browse files
committed
Update to 1.4
1 parent 3121ca1 commit 67cd4ad

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

www/doc/latest

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
1.3
1+
1.4

www/index.html

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,8 +81,10 @@ <h3>Contribute</h3>
8181

8282
<h2>Herbie Project News</h2>
8383
<ol id="news">
84-
<li><time>18 Nov</time><a href="http://davidthien.com">David</a> will be talking about FPBench 1.2 and the latest improvements in Herbie at <a href="https://correctness-workshop.github.io/2019/">Correctness 2019</a> in <a href="https://sc19.supercomputing.org">Denver</a>.
85-
<li><time>17 Nov</time>Herbie got a shout-out in <a href="https://pavpanchekha.com/">Pavel</a>'s talk at the <a href="http://fpanalysistools.org/sc19/">FP analysis tutorial</a> at <a href="https://sc19.supercomputing.org">SC'19</a>.
84+
<li><time>20 Jul</time>The chaos of 2020 now brings you a rowboat of stability: <a href="doc/1.4/release-notes.html">Herbie 1.4</a>, with significant speed-ups and ease of use improvements. Download and try it today!.</li>
85+
<hr class="yearmark" />
86+
<li><time>18 Nov</time><a href="http://davidthien.com">David</a> will be talking about FPBench 1.2 and the latest improvements in Herbie at <a href="https://correctness-workshop.github.io/2019/">Correctness 2019</a> in <a href="https://sc19.supercomputing.org">Denver</a>.</li>
87+
<li><time>17 Nov</time>Herbie got a shout-out in <a href="https://pavpanchekha.com/">Pavel</a>'s talk at the <a href="http://fpanalysistools.org/sc19/">FP analysis tutorial</a> at <a href="https://sc19.supercomputing.org">SC'19</a>.</li>
8688
<li><time>1 May</time><a href="https://pavpanchekha.com/">Pavel</a> will be joining the <a href="https://www.utah.edu/">University of Utah</a> as an assistant professor next year, joining <a href="http://www.cs.utah.edu/~ganesh/">Ganesh</a> and <a href="https://zvonimir.info/">Zvonimir</a> at what is already a nexus of floating-point research.</li>
8789
<li><time>13 Mar</time><a href="https://homes.cs.washington.edu/~ztatlock/">Zach</a> gave a keynote at <a href="https://posithub.org/conga/2019/">CoNGA’19</a> on multi-precision, multi-format computations and our efforts to support them in Herbie, <a href="http://fpbench.org">FPBench</a>, and <a href="http://titanic.uwplse.org">Titanic</a>.</li>
8890
<hr class="yearmark" />

0 commit comments

Comments
 (0)