HomeIsabelle/Phabricator

Replace virtual calls to Load/SaveInterpreterState with non-virtual to see if…

Description

Replace virtual calls to Load/SaveInterpreterState with non-virtual to see if this speeds up the interpreter.

Details

Provenance
dcjmAuthored on Nov 12 2020, 9:08 AM
Parents
rPOLYMLf39391060c1a: Remove some unused declarations.
Branches
Unknown
Tags
Unknown