HomeIsabelle/Phabricator

Handle GC and stack overflow traps by calling into the C code rather than…

Description

Handle GC and stack overflow traps by calling into the C code rather than returning to it.

Details

Provenance
dcjmAuthored on May 9 2019, 5:28 PM
Parents
rPOLYMLe1e07285e039: Switch to using compiled call-back functions.
Branches
Unknown
Tags
Unknown