HomeIsabelle/Phabricator

Floating point values and large structures for FFI calls. Implementation of…

Description

Floating point values and large structures for FFI calls. Implementation of callbacks (closures) for simple arguments and results.

Details

Provenance
dcjmAuthored on Mar 19 2021, 5:09 PM
Parents
rPOLYMLcee35fcb0799: Profiling PC and SP values from the context.
Branches
Unknown
Tags
Unknown