HomeIsabelle/Phabricator

Change interpreter "load-from-constant-area" instructions to take an offset to…

Description

Change interpreter "load-from-constant-area" instructions to take an offset to the start of the constant area and a separate index.
This will allow the 32-in-64 version to use 64-bit constants.

Details

Provenance
dcjmAuthored on Nov 19 2020, 3:46 PM
Parents
rPOLYML208cd718f1e5: Add print function to Bootstrap structure to allow for a print before each…
Branches
Unknown
Tags
Unknown