HomeIsabelle/Phabricator

Add the interpreter to the x86-specific code. Change the atomic operations…

Description

Add the interpreter to the x86-specific code. Change the atomic operations used in the RTS.

Details

Provenance
dcjmAuthored on Oct 26 2020, 3:16 PM
Parents
rPOLYMLa6166783e4c1: Split the byte-code interpreted version.
Branches
Unknown
Tags
Unknown