[isabelle-dev] Library/List_Prefix

Gerwin Klein gerwin.klein at nicta.com.au
Fri Aug 31 05:44:53 CEST 2012


On 31/08/2012, at 1:25 PM, Christian Sternagel <c-sterna at jaist.ac.jp> wrote:

> Well, it almost worked now ;).
> 
> even without -b all my memory was wasted and just as swapping started in earnest I got an error message, i.e., I have to adapt JinjaThreads to some previous changes.
> 
> Still, I am nowhere close to the 3-4 GB RAM usage that seem to be possible. Maybe the reason is that I'm on x86_64?

Yes, that'll be it. Memory usage on x86_64 is almost twice that of the 32bit version (which makes sense if you think about it).

Cheers,
Gerwin




More information about the isabelle-dev mailing list