HomeIsabelle/Phabricator

Use GCC intrinsics for atomic operations rather than Windows functions if…

Description

Use GCC intrinsics for atomic operations rather than Windows functions if they're available.

Details

Provenance
dcjmAuthored on Aug 26 2020, 6:24 PM
Parents
rPOLYML07ae67e015d7: Fix for Linux and rebuild configure.
Branches
Unknown
Tags
Unknown