HomeIsabelle/Phabricator

Implement the remaining result types for a callback and implement floating…

Description

Implement the remaining result types for a callback and implement floating point arguments in registers.

Details

Provenance
dcjmAuthored on Mar 20 2021, 1:08 PM
Parents
rPOLYML1391e07c85e8: Floating point values and large structures for FFI calls. Implementation of…
Branches
Unknown
Tags
Unknown