HomeIsabelle/Phabricator

Improvements to interpreted code and the interpreter. Add code to handle…

Description

Improvements to interpreted code and the interpreter. Add code to handle andalso/orelse by jumping. Add equalWordConstB instruction
to handle the common case of equality with a constant.

Details

Provenance
dcjmAuthored on Tue, Oct 6, 4:46 PM
Parents
rPOLYMLbd97deb0d0a8: Fix bug that only showed up after several bootstraps.
Branches
Unknown
Tags
Unknown