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.

Sign up for GitHub

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

Jump to bottom

Infer purity when using the Lock Checker #5343

Merged
merged 43 commits into from Sep 28, 2022
Merged

Infer purity when using the Lock Checker #5343

merged 43 commits into from Sep 28, 2022

Commits on Sep 26, 2022

  1. Infer purity when using the Lock Checker

    @mernst
    mernst committed Sep 26, 2022
    Copy the full SHA
    79f6aee View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2022

  1. Reorder method

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    c81cd8a View commit details
    Browse the repository at this point in the history

  2. Cleanup "infer purity" commit

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    0205a57 View commit details
    Browse the repository at this point in the history

  3. Reorder method (simplify flow, reduce indentation)

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    82ad20d View commit details
    Browse the repository at this point in the history

  4. Checkpoint; parts must be undone

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    61f8428 View commit details
    Browse the repository at this point in the history

  5. Tweaks to log file creation

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    5d0009f View commit details
    Browse the repository at this point in the history

  6. Check purity annotations

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    485ea82 View commit details
    Browse the repository at this point in the history

  7. Combine flow/ and flow2/ test directories

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    64a5205 View commit details
    Browse the repository at this point in the history

  8. Rename queue to classQueue

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    24daa98 View commit details
    Browse the repository at this point in the history

  9. Tweak comments

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    57a5022 View commit details
    Browse the repository at this point in the history

  10. Delete unused JUnit test

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    2cf1967 View commit details
    Browse the repository at this point in the history

  11. Fix typo

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    979221e View commit details
    Browse the repository at this point in the history

  12. Refactoring

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    8cafd5f View commit details
    Browse the repository at this point in the history

  13. Tweak manual

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    147c207 View commit details
    Browse the repository at this point in the history

  14. Checkpoint

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    95ecff5 View commit details
    Browse the repository at this point in the history

  15. Merge ../checker-framework-branch-master into lock-infer-purity

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    bfe0b5c View commit details
    Browse the repository at this point in the history

  16. Add comment

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    b6ea009 View commit details
    Browse the repository at this point in the history

  17. Undo some changes

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    b2f4641 View commit details
    Browse the repository at this point in the history

  18. Checkpoint

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    389ae02 View commit details
    Browse the repository at this point in the history

  19. Update documentation

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    d1ae162 View commit details
    Browse the repository at this point in the history

  20. Merge ../checker-framework-branch-master into lock-infer-purity

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    2f297cc View commit details
    Browse the repository at this point in the history

  21. Add documentation, refine type

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    666efda View commit details
    Browse the repository at this point in the history

  22. Rename formal parameter

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    9bb9b41 View commit details
    Browse the repository at this point in the history

  23. Merge ../checker-framework-branch-master into methodSideEffectAnnotat… 

    …ion-reorder
    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    16639bf View commit details
    Browse the repository at this point in the history

  24. Merge ../checker-framework-branch-master into flowtest-checkpurity

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    344dbac View commit details
    Browse the repository at this point in the history

  25. Merge ../checker-framework-branch-master into classQueue

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    f32f8fa View commit details
    Browse the repository at this point in the history

  26. Merge ../checker-framework-branch-master into lock-infer-purity

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    e5be130 View commit details
    Browse the repository at this point in the history

  27. Remove diagnostics

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    fd5cb17 View commit details
    Browse the repository at this point in the history

  28. Miscellaneous documentation improvements

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    97c27c7 View commit details
    Browse the repository at this point in the history

  29. Move a comma

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    17a3154 View commit details
    Browse the repository at this point in the history

  30. Undo changes

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    8e5c74c View commit details
    Browse the repository at this point in the history

  31. Merge ../checker-framework-fork-mernst-branch-flowtest-checkpurity in… 

    …to lock-infer-purity
    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    6cdf398 View commit details
    Browse the repository at this point in the history

  32. Fix Javadoc cross-references

    @mernst
    mernst committed Sep 27, 2022
    Copy the full SHA
    2cdfbd3 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. Merge ../checker-framework-fork-mernst-branch-misc-doc into lock-infe… 

    …r-purity
    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    b5ed6e7 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-fork-mernst-branch-classQueue into lock-in… 

    …fer-purity
    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    cc4f635 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-mernst-branch-methodSideEffectAnnotat… 

    …ion-reorder into lock-infer-purity
    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    b9aacf7 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-branch-master into lock-infer-purity

    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    8e725ad View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-branch-master into lock-infer-purity

    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    bd0d5bd View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into lock-infer-purity

    @smillst
    smillst committed Sep 28, 2022
    Copy the full SHA
    db0be59 View commit details
    Browse the repository at this point in the history

  7. Tweaks.

    @smillst
    smillst committed Sep 28, 2022
    Copy the full SHA
    5e9a80b View commit details
    Browse the repository at this point in the history

  8. Remove stray comment

    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    97217b6 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'lock-infer-purity' of github.com:mernst/checker-framewo… 

    …rk into lock-infer-purity
    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    5cf0fff View commit details
    Browse the repository at this point in the history

  10. Remove inferPurity variable

    @mernst
    mernst committed Sep 28, 2022
    Copy the full SHA
    acddc03 View commit details
    Browse the repository at this point in the history