On Tue, 30 Dec 2014, Makarius wrote:
So far this is just an intermediate outline of some reforms that came
about spontaneously. We are right in the middle between two releases,
so more is likely to happen.
Another reason why more parallelism is likely to happen is my new (very
modest) workstation with 12 cores / 24 hardware threads. That is actually
just the low-end: the current high-end in the workstation market is at
36 cores / 72 hardware threads -- double that for high-end servers.
Makarius
----------------------------------------------------------------------------
http://stop-ttip.org 1,235,950 Participants
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
