HomeIsabelle/Phabricator

Fix interpreted code-generator to handle offsets in addresses as int rather…

Description

Fix interpreted code-generator to handle offsets in addresses as int rather than word.

Details

Provenance
dcjmAuthored on Fri, Oct 2, 9:28 AM
Parents
rPOLYML09827e8d7c2e: Change project file for interpreted version in a similar way to the X86 version.
Branches
Unknown
Tags
Unknown