Implement -find-nonatomic-writes filter#9

Merged

nh2 merged 7 commits intonh2:masterfrom qrilka:nonatomic-writes-filter

Apr 1, 2019

+244-8

Commits on Mar 29, 2019

Add some haddocks and improve code readability
qrilka
committed