[isabelle-dev] AFP: Session AVL-Trees broken

Gerwin Klein kleing at cse.unsw.edu.au
Thu Nov 8 22:52:31 CET 2012

On 08/11/2012, at 10:18 PM, Johannes Hölzl <hoelzl at in.tum.de> wrote:

> Am Donnerstag, den 08.11.2012, 09:40 +1100 schrieb Gerwin Klein:
> [..]
>> The solution may be to just increase timeouts. On the other hand, this
>> whole thing used to work just fine and started to go haywire
>> 2012-10-19, then the log files are cut off in the middle at
>> HOL-Probability (probably nonterminating, I guess these sessions
>> should get a timeout too, the old setup was cumulative), HOL-Probality
>> worked on 2012-10-26 (but then timeouts), then again stuck at
>> HOL-Probability, and since 2012-10-28 mostly timeouts.
> Just as another data point: I regularly build the HOL-Probability image
> from the repository on my machine (32-bit linux, Core 2 Duo, 4GB ram)
> and I never had a problem in the last months.

Ok. I'll go back and check the specific changesets. If they indeed build normally, then something weird is going on with macbroy2.

Is there another mac server that we can use as a dedicated AFP machine?


More information about the isabelle-dev mailing list