Lars Noschinski nosch...@in.tum.de wrote:
On 19.10.2011 23:36, Jasmin Christian Blanchette wrote:
Am 19.10.2011 um 22:34 schrieb Alexander Krauss:
Does anybody know if there is a straightforward translation of the
error codes 134/137 into English?
Just Google Unix exit codes.
E.g. 134 =
On Thu, 20 Oct 2011, Account Isatest wrote:
Test for platform at-poly-test failed. Log file attached.
[...]
3:02:39 elapsed time, 3:11:31 cpu time, factor 1.04
Logics HOL FAILED!
--- test FAILED --- Thu Oct 20 03:25:34 CEST 2011 --- macbroy21
Again the same failure. Here are
Hi,
I'm currently updating IsaPlanner and IsaCoSy to Isabelle2011-1. I noticed
there are some changes to the QuickCheck interface:
The function test_term now takes an extra first argument of type
compile_generator. What is this thing an how do I create one? Or even better,
is there a default
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)