<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#ffffff">
Hi all,<br>
<br>
<br>
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
JinjaThreads currently probably fails because of the changeset
6e422d180de8 (<a moz-do-not-send="true"
class="moz-txt-link-freetext"
href="http://isabelle.in.tum.de/repos/isabelle/rev/6e422d180de8">http://isabelle.in.tum.de/repos/isabelle/rev/6e422d180de8</a>)<br>
<br>
<br>
<pre wrap="">*** empty result sequence -- proof command failed
*** At command "apply" (line 2941 of "/home/kleing/afp/devel/thys/JinjaThreads/Compiler/JVMJ1.thy")
val it = (): unit
Exception- TOPLEVEL_ERROR raised
*** ML error
</pre>
<br>
<br>
I could not even inspect the proof state where it fails, as my
machine is not able to load the theory.<br>
If anyone here has an educated guess how this proof can be fixed,
you should try.<br>
There are at least two machines, lxbroy10 in Munich, and one in
Australia, running regularly that can check these guesses once you
push them.<br>
<br>
Lukas<br>
<br>
<br>
-------- Original Message --------
<table class="moz-email-headers-table" border="0" cellpadding="0"
cellspacing="0">
<tbody>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">Subject: </th>
<td>status (AFP)</td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">Date: </th>
<td>Fri, 21 Oct 2011 06:31:55 +1100</td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">From: </th>
<td>Gerwin Klein <a moz-do-not-send="true"
class="moz-txt-link-rfc2396E"
href="mailto:kleing@ertos.nicta.com.au"><kleing@ertos.nicta.com.au></a></td>
</tr>
<tr>
<th nowrap="nowrap" valign="BASELINE" align="RIGHT">To: </th>
<td>undisclosed-recipients:;</td>
</tr>
</tbody>
</table>
<br>
<br>
<pre>The status of the following AFP entries changed or remains FAIL:
[JinjaThreads] is still on FAIL.
Full entry status at <a moz-do-not-send="true" class="moz-txt-link-freetext" href="http://afp.sourceforge.net/status.shtml">http://afp.sourceforge.net/status.shtml</a>
AFP version: development -- hg id a98f0ac6930a
Isabelle version: devel -- hg id c4fab1099cd0
Test ended on: lemma, Fri Oct 21 06:31:55 EST 2011.
Have a nice day,
isatest
</pre>
</body>
</html>