Re: [isabelle-dev] Failure semantics for isabelle sessions

2011-10-20 Thread Alexander Krauss
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 =

Re: [isabelle-dev] isabelle test failed

2011-10-20 Thread Makarius
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

[isabelle-dev] QuickCheck interface question

2011-10-20 Thread Moa Johansson
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

[isabelle-dev] Fwd: status (AFP)

2011-10-20 Thread Lukas Bulwahn
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)