HomeIsabelle/Phabricator

Reset the paging limit if there are no page faults since the last heap resizing.

Description

Reset the paging limit if there are no page faults since the last heap resizing.
This avoids problems with spurious page faults from the statistics file.

Details

Provenance
dcjmAuthored on Aug 22 2020, 7:00 PM
Parents
rPOLYMLf1b510a4cd4d: Increase the limit for inline size for the simplifier before a function will…
Branches
Unknown
Tags
Unknown