HaLVM icon indicating copy to clipboard operation
HaLVM copied to clipboard

Published 20 hours ago • verified publisher icon GaloisInc

Fix -M allocation

Open acw opened this issue 9 years ago • 1 comments

The current -M computation is assuming that all of memory not required for the code segment will be the GC'd heap. We should add a 1-2MB buffer, and then lean on our removal of allocPage to fix the rest.

acw avatar Sep 27 '16 23:09 acw

This is obviously highly related to #79.

acw avatar Mar 24 '17 17:03 acw