/atomic-set-inference

Inference tool chain for automatically inferring atomic sets, a synchronization mechanism in which the programmer specifies the groups of data that must be accessed as a unit.

Primary LanguageJavaOtherNOASSERTION

No issues in this repository yet.