HomeIsabelle/Phabricator

LoadC8/StoreC8 now take both an offset and an index as with the other C-memory…

Description

LoadC8/StoreC8 now take both an offset and an index as with the other C-memory loads/stores.

Details

Provenance
dcjmAuthored on Wed, Oct 14, 1:18 PM
Parents
rPOLYML5b30027d4fb2: Don't build the UnixSock structure on Windows.
Branches
Unknown
Tags
Unknown