HomeIsabelle/Phabricator

Change from boolean executable/non-executable into a three-way selection…

Description

Change from boolean executable/non-executable into a three-way selection including stacks.

Details

Provenance
dcjmAuthored on Aug 3 2020, 4:31 PM
Parents
rPOLYML1b579fda5f12: Implement dual areas if mmap fails when write+execute permission is requested.
Branches
Unknown
Tags
Unknown