HomePhabricator

Thread safety analysis: Add support for negative requirements, which are

Description

Thread safety analysis: Add support for negative requirements, which are
capability expressions of the form !expr, and denote a capability that must
not be held.

Details

Committed
delesleyAug 4 2014, 9:10 AM
Parents
rL214724: Add features for PPC 4xx and e500/e500mc instructions.
Branches
Unknown
Tags
Unknown

Event Timeline