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

Support unique classes (Fixes #3313) #3336

Merged
merged 35 commits into from
Jul 21, 2020
Merged

Support unique classes (Fixes #3313) #3336

merged 35 commits into from
Jul 21, 2020

Commits on May 28, 2020

  1. Fix for feature request typetools#3313 in Aliasing Checker

    @aditya3434
    aditya3434 committed May 28, 2020
    Configuration menu
    Copy the full SHA
    fd536c4 View commit details
    Browse the repository at this point in the history

  2. Fix for explicit annotation check in Aliasing Checker

    @aditya3434
    aditya3434 committed May 28, 2020
    Configuration menu
    Copy the full SHA
    126014d View commit details
    Browse the repository at this point in the history

  3. Adding test cases for removal of explicit annotation check

    @aditya3434
    aditya3434 committed May 28, 2020
    Configuration menu
    Copy the full SHA
    b2b91eb View commit details
    Browse the repository at this point in the history

Commits on May 29, 2020

  1. Ensuring all framework tests are passed

    @aditya3434
    aditya3434 committed May 29, 2020
    Configuration menu
    Copy the full SHA
    1b756c0 View commit details
    Browse the repository at this point in the history

  2. Formatting changes

    @aditya3434
    aditya3434 committed May 29, 2020
    Configuration menu
    Copy the full SHA
    4edfc68 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2020

  1. Merge ../checker-framework-branch-master into 3313-explicit-annotatio… 

    …n-fix
    @mernst
    mernst committed Jun 3, 2020
    Configuration menu
    Copy the full SHA
    dde03ef View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2020

  1. Fix for feature request typetools#3313 in Aliasing Checker

    @aditya3434
    aditya3434 committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    22462e0 View commit details
    Browse the repository at this point in the history

  2. Revert "Fix for feature request typetools#3313 in Aliasing Checker" 

    This reverts commit fd536c4.
    @aditya3434
    aditya3434 committed Jun 5, 2020
    Configuration menu
    Copy the full SHA
    017082b View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jun 6, 2020
    Configuration menu
    Copy the full SHA
    4b36609 View commit details
    Browse the repository at this point in the history

  2. Merge branch '3313-explicit-annotation-fix' of https://github.com/adi… 

    …tya3434/checker-framework into 3313-explicit-annotation-fix
    @aditya3434
    aditya3434 committed Jun 6, 2020
    Configuration menu
    Copy the full SHA
    fa03246 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2020

  1. Fix for feature request typetools#3313 in Aliasing Checker

    @aditya3434
    aditya3434 committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    97ff12d View commit details
    Browse the repository at this point in the history

  2. Revert "Fix for feature request typetools#3313 in Aliasing Checker" 

    This reverts commit fd536c4.
    @aditya3434
    aditya3434 committed Jun 11, 2020
    Configuration menu
    Copy the full SHA
    629a1a9 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2020

  1. Merge remote-tracking branch 'upstream/master'

    @aditya3434
    aditya3434 committed Jun 16, 2020
    Configuration menu
    Copy the full SHA
    25b602a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jun 16, 2020
    Configuration menu
    Copy the full SHA
    91d8372 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2020

  1. Fix for feature request typetools#3313 in Aliasing Checker

    @aditya3434
    aditya3434 committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    eb424fd View commit details
    Browse the repository at this point in the history

  2. Revert "Fix for feature request typetools#3313 in Aliasing Checker" 

    This reverts commit fd536c4.
    @aditya3434
    aditya3434 committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    c324094 View commit details
    Browse the repository at this point in the history

  3. Fix for feature request typetools#3313 in Aliasing Checker

    @aditya3434
    aditya3434 committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    941cab0 View commit details
    Browse the repository at this point in the history

  4. Revert "Fix for feature request typetools#3313 in Aliasing Checker" 

    This reverts commit fd536c4.
    @aditya3434
    aditya3434 committed Jun 17, 2020
    Configuration menu
    Copy the full SHA
    d71f608 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2020

  1. Merge remote-tracking branch 'upstream/master'

    @aditya3434
    aditya3434 committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    53a6c12 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    ff1b9e4 View commit details
    Browse the repository at this point in the history

  3. Resolving review comments

    @aditya3434
    aditya3434 committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    135b266 View commit details
    Browse the repository at this point in the history

  4. Removing redundant variables

    @aditya3434
    aditya3434 committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    db149b9 View commit details
    Browse the repository at this point in the history

  5. Modifying documentation

    @aditya3434
    aditya3434 committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    e64f002 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jun 27, 2020
    Configuration menu
    Copy the full SHA
    167d9cc View commit details
    Browse the repository at this point in the history

  2. Making requested changes

    @aditya3434
    aditya3434 committed Jun 27, 2020
    Configuration menu
    Copy the full SHA
    cf45fd6 View commit details
    Browse the repository at this point in the history

  3. Modifying documentation

    @aditya3434
    aditya3434 committed Jun 27, 2020
    Configuration menu
    Copy the full SHA
    f3d2479 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2020

  1. Deleting stubfile.astub

    @aditya3434
    aditya3434 committed Jun 28, 2020
    Configuration menu
    Copy the full SHA
    9b60d82 View commit details
    Browse the repository at this point in the history

  2. Removing stubfile.astub references

    @aditya3434
    aditya3434 committed Jun 28, 2020
    Configuration menu
    Copy the full SHA
    1335ba2 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jul 11, 2020
    Configuration menu
    Copy the full SHA
    1da4103 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jul 13, 2020
    Configuration menu
    Copy the full SHA
    7b191e9 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    bd1fe05 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jul 17, 2020
    Configuration menu
    Copy the full SHA
    37976e8 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jul 18, 2020
    Configuration menu
    Copy the full SHA
    1523897 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2020

  1. Merge branch 'master' into 3313-explicit-annotation-fix

    @aditya3434
    aditya3434 committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    79f35f1 View commit details
    Browse the repository at this point in the history

  2. Making requested changes

    @aditya3434
    aditya3434 committed Jul 21, 2020
    Configuration menu
    Copy the full SHA
    f6e67cc View commit details
    Browse the repository at this point in the history