HomeIsabelle/Phabricator

Treat the word offset in Foreign.Memory as signed. This applies to the get and…

Description

Treat the word offset in Foreign.Memory as signed. This applies to the get and set functions as well as ++ and --.
Fixes issue #141. Added negative offset tests to Test163.

Details

Provenance
dcjmAuthored on Sep 1 2020, 4:12 PM
Parents
rPOLYMLa2e243468ee0: Use GCC intrinsics for atomic operations rather than Windows functions if…
Branches
Unknown
Tags
Unknown