Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement -find-nonatomic-writes filter #9

Merged
merged 7 commits into from
Apr 1, 2019

Commits on Mar 28, 2019

  1. tests: Add comments on newer GHCs

    nh2 committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    39b13c9 View commit details
    Browse the repository at this point in the history
  2. README: Add more TODOs

    nh2 committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    8c6b5cd View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    556773a View commit details
    Browse the repository at this point in the history
  4. Implement -find-nonatomic-writes filter

    qrilka authored and nh2 committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    341cc83 View commit details
    Browse the repository at this point in the history
  5. Add getExePath

    nh2 committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    4378c22 View commit details
    Browse the repository at this point in the history
  6. Remove filtering readonly opens as it doesn't buy us much

    Using this filtering on other syscalls requires tracking file
    open modes which complicate the code
    qrilka committed Mar 28, 2019
    Configuration menu
    Copy the full SHA
    1af2bef View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2019

  1. Configuration menu
    Copy the full SHA
    73c4f0d View commit details
    Browse the repository at this point in the history