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

Use .equals() for nodeValues if == does not work; fixes #3484 #3523

Closed
wants to merge 39 commits into from
Closed

Use .equals() for nodeValues if == does not work; fixes #3484 #3523

wants to merge 39 commits into from

Commits on Jul 29, 2020

  1. Routines to format AnalysisResult objects

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    90cdc60 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    62376b7 View commit details
    Browse the repository at this point in the history

  3. Fix issues

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    c057cdf View commit details
    Browse the repository at this point in the history

  4. Use .equals() for nodeValues if == does not work

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    f420843 View commit details
    Browse the repository at this point in the history

  5. Javadoc fixes

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    fe18877 View commit details
    Browse the repository at this point in the history

  6. Merge ../checker-framework-fork-mernst-branch-analysisresult-repr int… 

    …o nodevalues-eq-then-equals
    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    65d71dc View commit details
    Browse the repository at this point in the history

  7. Remove commented-out code

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    c27c7b4 View commit details
    Browse the repository at this point in the history

  8. Add a repr() method for ControlFlowGraph

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    702f803 View commit details
    Browse the repository at this point in the history

  9. Add SystemUtil.sleep method

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    2f6efa5 View commit details
    Browse the repository at this point in the history

  10. Remove stray character

    @mernst
    mernst committed Jul 29, 2020
    Configuration menu
    Copy the full SHA
    d1045e1 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2020

  1. Address code review feedback

    @mernst
    mernst committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    4c9b3cd View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    b4a3db7 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-mernst-branch-javacutil-sleep into an… 

    …alysisresult-repr
    @mernst
    mernst committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    3e37f6f View commit details
    Browse the repository at this point in the history

  4. Fix import statement

    @mernst
    mernst committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    31f73b8 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-branch-master into javacutil-sleep

    @mernst
    mernst committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    cf227e1 View commit details
    Browse the repository at this point in the history

  6. Fix typo, remove throw

    @mernst
    mernst committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    ffc8fc9 View commit details
    Browse the repository at this point in the history

  7. Merge ../checker-framework-fork-mernst-branch-javacutil-sleep into an… 

    …alysisresult-repr
    @mernst
    mernst committed Jul 30, 2020
    Configuration menu
    Copy the full SHA
    b5f101b View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2020

  1. Address code review feedback

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    1f01fcd View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    6b00d1e View commit details
    Browse the repository at this point in the history

  3. More changes from code review

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    6d76803 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    0453ce1 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-analysisresult-repr int… 

    …o nodevalues-eq-then-equals
    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    7cc2236 View commit details
    Browse the repository at this point in the history

  6. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    20f244c View commit details
    Browse the repository at this point in the history

  7. Merge ../checker-framework-fork-mernst-branch-analysisresult-repr int… 

    …o nodevalues-eq-then-equals
    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    e45f915 View commit details
    Browse the repository at this point in the history

  8. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    6b2cec3 View commit details
    Browse the repository at this point in the history

  9. Add AnalysisResult.checkRep method

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    a309b83 View commit details
    Browse the repository at this point in the history

  10. Remove AnalysisResult.checkRep

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    ca60260 View commit details
    Browse the repository at this point in the history

  11. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    6e10edb View commit details
    Browse the repository at this point in the history

  12. Merge ../checker-framework-branch-master into analysisresult-checkrep… 

    …-method
    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    6194e5c View commit details
    Browse the repository at this point in the history

  13. Merge ../checker-framework-fork-mernst-branch-analysisresult-repr int… 

    …o nodevalues-eq-then-equals
    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    98fe42c View commit details
    Browse the repository at this point in the history

  14. Merge ../checker-framework-fork-mernst-branch-analysisresult-checkrep… 

    …-method into nodevalues-eq-then-equals
    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    c4bdb38 View commit details
    Browse the repository at this point in the history

  15. Explain repr()

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    835d152 View commit details
    Browse the repository at this point in the history

  16. Don't use repr()

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    f3ebe6f View commit details
    Browse the repository at this point in the history

  17. Tweak wording

    @mernst
    mernst committed Jul 31, 2020
    Configuration menu
    Copy the full SHA
    f0fc6cc View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2020

  1. Fix HTML tag

    @mernst
    mernst committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    cbdde4b View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into analysisresult-checkrep… 

    …-method
    @mernst
    mernst committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    9c4209a View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-branch-master into analysisresult-repr

    @mernst
    mernst committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    4bcb7ef View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-fork-mernst-branch-analysisresult-repr int… 

    …o nodevalues-eq-then-equals
    @mernst
    mernst committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    c429f18 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-analysisresult-checkrep… 

    …-method into nodevalues-eq-then-equals
    @mernst
    mernst committed Aug 1, 2020
    Configuration menu
    Copy the full SHA
    5c39fb6 View commit details
    Browse the repository at this point in the history