Hi all,
JinjaThreads currently probably fails because of the changeset
6e422d180de8 (http://isabelle.in.tum.de/repos/isabelle/rev/6e422d180de8)
*** 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
I could not even inspect the proof state where it fails, as my machine
is not able to load the theory.
If anyone here has an educated guess how this proof can be fixed, you
should try.
There are at least two machines, lxbroy10 in Munich, and one in
Australia, running regularly that can check these guesses once you push
them.
Lukas
-------- Original Message --------
Subject: status (AFP)
Date: Fri, 21 Oct 2011 06:31:55 +1100
From: Gerwin Klein <kle...@ertos.nicta.com.au>
To: undisclosed-recipients:;
The status of the following AFP entries changed or remains FAIL:
[JinjaThreads] is still on FAIL.
Full entry status athttp://afp.sourceforge.net/status.shtml
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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
