HomeIsabelle/Phabricator

Reset the C stack pointer after a call to a C function on Unix 64-bits. This…

Description

Reset the C stack pointer after a call to a C function on Unix 64-bits. This was already
done on 32-bits and on Windows 64-bits.

Details

Provenance
dcjmAuthored on Mon, Feb 22, 4:23 PM
Parents
rPOLYML795465d5c91e: Change type of touchClosure to 'a closure -> unit. Allow "load" in the…
Branches
Unknown
Tags
Unknown