Coq is a heavy user of persistent data structures and symbolic ASTs, so the

minor heap is heavily sollicited. Unfortunately, the default size is far too
small, so we enlarge it a lot (128 times larger).

To better handle huge memory consumers, we also augment the default major
heap increment and the GC pressure coefficient.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15953 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions