On Tue, 17 May 2011, Alexander Krauss wrote:
The plan is to move the afp test back to Munich when I'm in Munich in
about two weeks. Then we should be back to the old routine.
I'd prefer to run the test on a Linux machine. Is there one available
with around 4 cores and lots of memory?
Do 10GB already qualify? Then we can use lxbroy7/8, which are currently
looking for a new job.
It probably works if JinjaThreads is run with -M1. Some weeks ago I did
some fine tuning in the management of futures within the theory loader,
and JinjaThreads with -M4 or -M8 now needs "only" 16GB, instead of 24GB.
It might actually work with less, but I did not try to squeeze it further
yet.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
