HomeIsabelle/Phabricator

Constants and offsets need to be big-endian on big-endian architecture.

Description

Constants and offsets need to be big-endian on big-endian architecture.

Details

Provenance
dcjmAuthored on May 11 2021, 12:15 PM
Parents
rPOLYML3f9b811f7c37: Convert between little-endian instruction format and native word.
Branches
Unknown
Tags
Unknown