[Gmp-commit] /var/hg/www: Begin a Post-Mortem section.

[mercurial at gmplib.org]

details:   /var/hg/www/rev/e826293c824b
changeset: 255:e826293c824b
user:      Torbjorn Granlund <tg at gmplib.org>
date:      Tue Nov 29 23:32:45 2016 +0100
description:
Begin a Post-Mortem section.

diffstat:

 devel/mini-gmp-status.html |  15 +++++++++++++--
 1 files changed, 13 insertions(+), 2 deletions(-)

diffs (39 lines):

diff -r a365b6e94303 -r e826293c824b devel/mini-gmp-status.html
--- a/devel/mini-gmp-status.html	Sat Nov 26 16:14:18 2016 +0100
+++ b/devel/mini-gmp-status.html	Tue Nov 29 23:32:45 2016 +0100
@@ -30,7 +30,7 @@
       </td>
       <td style="text-align:center;">
 	<span style="font-size:200%;">Mini-GMP status</span> <br>
-	<span style="font-size:75%;">Last modified: 2016-11-26 </span>
+	<span style="font-size:75%;">Last modified: 2016-11-29 </span>
       </td>
     </tr>
   </table>
@@ -45,7 +45,7 @@
 <p>
 In November 2016 we added automated testing of the separately maintained
 mini-gmp library-in-the-library.  This has thus far triggered the following
-issues which need to be addressed.
+issues.
 </p>
 
 <blockquote>
@@ -191,6 +191,17 @@
   <a href="tm/gmp/check/failure/ivysol32.gmplib.org-dyn:32.txt">this</a>.
 </ol>
 
+
+<h3>Post-Mortem</h3>
+
+<p>
+The high-priority errors above (6, 9, 12) were all due to the same bug in
+division.
+</p>
+<p>
+Problem 2 was due to test slowness and seed inflicted huge timing variation.
+</p>
+
 <br><br>
 
 <div id="footer-spacer"></div>