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

Fix WPI Non-Termination Issue with @UnknownInitialization Annotations #6657

Open
wants to merge 39 commits into
base: master
Choose a base branch
from
Open

Fix WPI Non-Termination Issue with @UnknownInitialization Annotations #6657

wants to merge 39 commits into from

Commits on Jun 19, 2024

  1. Handle WPI loop on Unknowninitialization annotations

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    ebb561b View commit details
    Browse the repository at this point in the history

  2. Resolved merge conflicts

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    30d842f View commit details
    Browse the repository at this point in the history

  3. Rename FlowExpression to JavaExpression in tests

    @smillst @erfan-arvan
    smillst authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    05ef6fb View commit details
    Browse the repository at this point in the history

  4. Update dependency io.github.classgraph:classgraph to v4.8.173 (typeto… 

    …ols#6653)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
    @renovate @erfan-arvan
    renovate[bot] authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    ebf782c View commit details
    Browse the repository at this point in the history

  5. Implement JavaExpression.SuperReference 

    Co-authored-by: Suzanne Millstein <[email protected]>
Co-authored-by: Michael Ernst <[email protected]>
    @jyoo980 @smillst
    @mernst @erfan-arvan
    3 people authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    5167ed1 View commit details
    Browse the repository at this point in the history

  6. Added a Tree argument to AnnotatedTypes.adaptParameters() 

    Co-authored-by: Michael Ernst <[email protected]>
    @smillst @mernst @erfan-arvan
    2 people authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    ee517ea View commit details
    Browse the repository at this point in the history

  7. Update contributors.tex

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    f3a08a7 View commit details
    Browse the repository at this point in the history

  8. Update contributors.tex to include the latest contributors

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    5df02b7 View commit details
    Browse the repository at this point in the history

  9. Update contributors.tex to include my name

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    42d7812 View commit details
    Browse the repository at this point in the history

  10. How to indicate that side effects can change a value's type qualifiers ( 

    typetools#6660)
    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    711ae4d View commit details
    Browse the repository at this point in the history

  11. Define TreeUtils.fieldsFromClassTree() (typetools#6659)

    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    d9a6504 View commit details
    Browse the repository at this point in the history

  12. Update contributors.tex after make it again

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    342bc94 View commit details
    Browse the repository at this point in the history

  13. Try to pass CI test -> Contrubutors names

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    b5a62d8 View commit details
    Browse the repository at this point in the history

  14. Update contributors.tex to reflect latest changes

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    5f3f89d View commit details
    Browse the repository at this point in the history

  15. Improve Javadoc for getAnnotationFromJavaExpression

    @smillst @erfan-arvan
    smillst authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    81f1f2b View commit details
    Browse the repository at this point in the history

  16. Add graphviz to list of dev dependencies for macOS

    @jyoo980 @erfan-arvan
    jyoo980 authored and erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    8c345fd View commit details
    Browse the repository at this point in the history

  17. Exclude my username from contributors.tex

    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    118b771 View commit details
    Browse the repository at this point in the history

  18. Transferred the proposed change for handling WPI loop for unknowninit… 

    …ialization annotations to NullnessAnnotatedTypeFactory
    @erfan-arvan
    erfan-arvan committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    4818ac2 View commit details
    Browse the repository at this point in the history

  19. Merge branch 'master' into bugfix/wpi-loop-unknowninitialization

    @kelloggm
    kelloggm authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    134e76f View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Rename method to adjust annotations before updating annotation set, u… 

    …pdate method usage, and revise comments
    @erfan-arvan
    erfan-arvan committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    1c31423 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/bugfix/wpi-loop-unknowninitializ… 

    …ation' into bugfix/wpi-loop-unknowninitialization
    @erfan-arvan
    erfan-arvan committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    131e864 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. Merge branch 'master' into bugfix/wpi-loop-unknowninitialization

    @erfan-arvan
    erfan-arvan authored Jun 22, 2024
    Configuration menu
    Copy the full SHA
    4691e84 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Merge branch 'master' into bugfix/wpi-loop-unknowninitialization

    @erfan-arvan
    erfan-arvan authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    872d7e1 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Merge branch 'master' into bugfix/wpi-loop-unknowninitialization

    @kelloggm
    kelloggm authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    33c82a6 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Merge branch 'typetools:master' into bugfix/wpi-loop-unknowninitializ… 

    …ation
    @erfan-arvan
    erfan-arvan authored Jul 1, 2024
    Configuration menu
    Copy the full SHA
    5b642c3 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2024

  1. Changed the name of the method, enhanced the body, and transferred th… 

    …e method to NullnessAnnotatedTypeFactory.java to make it local for Nullness-related inference rather than for all checkers. Also added a test case for the corresponding issue in the ainfer-nullness tests.
    @erfan-arvan
    erfan-arvan committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    d7acb57 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into bugfix/wpi-loop-unknowninitialization

    @erfan-arvan
    erfan-arvan authored Jul 6, 2024
    Configuration menu
    Copy the full SHA
    1b1d56f View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2024

  1. Removed unnecessary comments

    @erfan-arvan
    erfan-arvan committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    8826275 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'typetools:master' into bugfix/wpi-loop-unknowninitializ… 

    …ation
    @erfan-arvan
    erfan-arvan authored Jul 7, 2024
    Configuration menu
    Copy the full SHA
    388e584 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'bugfix/wpi-loop-unknowninitialization' of https://githu… 

    …b.com/erfan-arvan/checker-framework into bugfix/wpi-loop-unknowninitialization
    @erfan-arvan
    erfan-arvan committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    fd16cc8 View commit details
    Browse the repository at this point in the history

  4. Removed the imports from the test case

    @erfan-arvan
    erfan-arvan committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    eb79855 View commit details
    Browse the repository at this point in the history

  5. Changed the name of the test case

    @erfan-arvan
    erfan-arvan committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    6ae7fba View commit details
    Browse the repository at this point in the history

Commits on Jul 10, 2024

  1. Update checker build.gradle to fix ainferNullnessGenerateJaifs task i… 

    …ssue and add comments to the test file
    @erfan-arvan
    erfan-arvan committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    f057894 View commit details
    Browse the repository at this point in the history

  2. Rename an instance of VarArgsTest

    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    1a32487 View commit details
    Browse the repository at this point in the history

  3. Give DefaultQualifier runtime retention

    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    90129a3 View commit details
    Browse the repository at this point in the history

  4. Minor changes related to Non-Empty Checker

    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    cf451ba View commit details
    Browse the repository at this point in the history

  5. Use filePermissions instead of deprecated fileMode (typetools#6693)

    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    8eafe7d View commit details
    Browse the repository at this point in the history

  6. Disambiguate owners of fields in output (typetools#6699)

    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    1d5fb60 View commit details
    Browse the repository at this point in the history

  7. Comment changes (typetools#6700)

    @mernst @erfan-arvan
    mernst authored and erfan-arvan committed Jul 10, 2024
    Configuration menu
    Copy the full SHA
    217ba50 View commit details
    Browse the repository at this point in the history