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 Oct 14 2020, 1:18 PM
Parents
rPOLYML5b30027d4fb2: Don't build the UnixSock structure on Windows.
Branches
Unknown
Tags
Unknown