HomeIsabelle/Phabricator

Change the way the cStructn functions work so that it is possible to computeā€¦

Description

Change the way the cStructn functions work so that it is possible to compute the size and alignment at compile time.

Details

Provenance
dcjmAuthored on May 23 2019, 10:49 PM
Parents
rPOLYML4d251dd08ab7: Use alloca for arguments and result in FFI calls.
Branches
Unknown
Tags
Unknown