[isabelle-dev] AFP/JinjaThreads failure

Makarius makarius at sketis.net
Fri Apr 20 15:33:20 CEST 2012


On Thu, 19 Apr 2012, Brian Huffman wrote:

>>> This is probably related to my changeset Isabelle/9475d524bafb, where
>>> I redefined a bunch of word operations with lift_definition instead of
>>> definition.
>
> Hopefully changeset e3c699a1fae6 will take care of the problem.

Thanks.  It works on lxbroy10:

Timing HOL-Word-JinjaThreads-Basic-JinjaThreads (6 threads, 3709.711s 
elapsed time, 16364.149s cpu time, 8361.441s GC time, factor 4.41)
Finished HOL-Word-JinjaThreads-Basic-JinjaThreads (1:04:08 elapsed time, 
4:35:38 cpu time, factor 4.29)


 	Makarius



More information about the isabelle-dev mailing list