HomeIsabelle/Phabricator

Implement callbacks (FFI closures) in ARM64. There is still a problem with…

Description

Implement callbacks (FFI closures) in ARM64. There is still a problem with saving
closures with saveState and that also seems to be present in X86.

Details

Provenance
dcjmAuthored on Tue, Apr 13, 1:12 PM
Parents
rPOLYML763128724bcf: Fix matching in allocator.
Branches
Unknown
Tags
Unknown