HomeIsabelle/Phabricator

Add a virtual function to the RtsModules class to handle the very specific case…

Description

Add a virtual function to the RtsModules class to handle the very specific case of Unix fork. The child
process is single-threaded and quite limited in the system calls allowed. For the moment this just
refactoring.

Details

Provenance
dcjmAuthored on Aug 9 2020, 4:50 PM
Parents
rPOLYML159dc81efc3b: Merge branch 'master' into GCPercent
Branches
Unknown
Tags
Unknown