HomeIsabelle/Phabricator

Convert ForeignCall to use the pre-assembler layer. Remove ArmSequences and…

Description

Convert ForeignCall to use the pre-assembler layer. Remove ArmSequences and the old code-generator.

Details

Provenance
dcjmAuthored on Jan 7 2022, 3:01 PM
Parents
rPOLYML7f766f218d7d: Move allocation code and branch tables into pre-assembler "instructions".
Branches
Unknown
Tags
Unknown