HomeIsabelle/Phabricator

Check for exceptions raised in the RTS in the RTS call wrapper code and remove…

Description

Check for exceptions raised in the RTS in the RTS call wrapper code and remove CheckRTS. This avoids a check after every call to the wrapper code especially every arbitrary precision operation.

Details

Provenance
dcjmAuthored on Dec 27 2021, 10:24 AM
Parents
rPOLYMLfa611c35150f: Save active registers in the long case of an arbitrary precision operation…
Branches
Unknown
Tags
Unknown