HomeIsabelle/Phabricator

Rename interpret.cpp as bytecode.cpp prior to split.

Description

Rename interpret.cpp as bytecode.cpp prior to split.

Details

Provenance
dcjmAuthored on Oct 25 2020, 10:54 AM
Parents
rPOLYML7316a6d0ac75: Re-enable support for 32-in-64 in the interpreter.
Branches
Unknown
Tags
Unknown