PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications
https://pruners.github.io/archer
Apache License 2.0
61 stars 13 forks source link

Deduplication 60 #64

Closed simoatze closed 6 years ago

simoatze commented 6 years ago

@IanBriggs This are all the changes I made to make it compatible with Clang 6.0. I also modified a little the driver to include new flags like --nosa (no static analysis), and added a flag --nodup to enable your deduplication library.