[isabelle-dev] JinjaThreads

2010-12-18 Thread Clemens Ballarin
JinjaThreads doesn't seem to run out of the box (on macbroy2, with Poly/ML 5.3.0). It seems to run out of memory. I use ML_OPTIONS=-H 500, but I would assume the AFP sets this appropriately. Probably this is a known issue, but I don't know where to check for the automatic AFP logs.

Re: [isabelle-dev] JinjaThreads

2010-12-18 Thread Alexander Krauss
Clemens Ballarin wrote: JinjaThreads doesn't seem to run out of the box (on macbroy2, with Poly/ML 5.3.0). It seems to run out of memory. I use ML_OPTIONS=-H 500, but I would assume the AFP sets this appropriately. Probably this is a known issue, but I don't know where to check for the

Re: [isabelle-dev] JinjaThreads

2010-12-18 Thread Gerwin Klein
On 19/12/2010, at 8:16 AM, Alexander Krauss wrote: Clemens Ballarin wrote: JinjaThreads doesn't seem to run out of the box (on macbroy2, with Poly/ML 5.3.0). It seems to run out of memory. I use ML_OPTIONS=-H 500, but I would assume the AFP sets this appropriately. Probably this is a