<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
</p>
<p>Fine by me. I've had to reconstruct the C code for the WH 16-bit
algorithm. More anon.</p>
<p><br>
</p>
<p>Olwen</p>
<p><br>
</p>
<blockquote type="cite"
cite="mid:336cac5c-09e5-9a4b-ed63-dcf1f9b32295@proteancode.com">
<p><font size="+1">Or Frama-C - shall we have a theorem-prover
rumble? :-)</font></p>
<p><font size="+1"> - Rod</font></p>
<p><font size="+1"><br>
</font></p>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
The System Safety Mailing List
<a class="moz-txt-link-abbreviated" href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE">systemsafety@TechFak.Uni-Bielefeld.DE</a>
Manage your subscription: <a class="moz-txt-link-freetext" href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a></pre>
</blockquote>
</body>
</html>