On Wed, 16 Mar 2016, Makarius wrote:
*** System ***
* Poly/ML heaps now follow the hierarchy of sessions, and thus require
much less disk space.
x86-linux
build -a -b -d '$AFP': 96GB ~> 8.3GB (without JinjaThreads)
Here are some more numbers, using Isabelle/a2351f82bc48 and
AFP/8d7e3304ddfc on x86_64-darwin:
build -a -b -d '$AFP': heaps 18G
Top 10 heaps:
1.3G JinjaThreads
539M HOL-Datatype_Examples
443M HOL-Proofs
432M Collections
392M Containers-Benchmarks
390M HOL
353M HOL-Nominal-Examples
352M ConcurrentGC
305M Isabelle_Meta_Model
283M HOL-ex
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev