HomeIsabelle/Phabricator

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

Authored by dcjm on Tue, Sep 1, 4:12 PM.

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

Committed
dcjmTue, Sep 1, 4:12 PM
Parents
rPOLYMLa2e243468ee0: Use GCC intrinsics for atomic operations rather than Windows functions if…
Branches
Unknown
Tags
Unknown
References
HEAD -> master