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

Add @SideEffectsOnly annotation #5582

Draft
wants to merge 173 commits into
base: master
Choose a base branch
from
Draft

Add @SideEffectsOnly annotation #5582

wants to merge 173 commits into from

Commits on Dec 3, 2020

  1. temp commit

    @t-rasmud
    t-rasmud committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    427c55a View commit details
    Browse the repository at this point in the history

  2. side effects only checker

    @t-rasmud
    t-rasmud committed Dec 3, 2020
    Configuration menu
    Copy the full SHA
    0ad09bb View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2020

  1. side effects only for this and field values

    @t-rasmud
    t-rasmud committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    15ca2db View commit details
    Browse the repository at this point in the history

  2. more tests

    @t-rasmud
    t-rasmud committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    2857929 View commit details
    Browse the repository at this point in the history

  3. add null checks

    @t-rasmud
    t-rasmud committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    21dc0a4 View commit details
    Browse the repository at this point in the history

  4. side effects only javadoc

    @t-rasmud
    t-rasmud committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    ef59d5e View commit details
    Browse the repository at this point in the history

  5. purity suggestions test

    @t-rasmud
    t-rasmud committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    40fdfd8 View commit details
    Browse the repository at this point in the history

  6. nullness check

    @t-rasmud
    t-rasmud committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    ac6d8ca View commit details
    Browse the repository at this point in the history

  7. javadoc

    @t-rasmud
    t-rasmud committed Dec 4, 2020
    Configuration menu
    Copy the full SHA
    df56c0d View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2020

  1. remove sideeffectsonly from purity

    @t-rasmud
    t-rasmud committed Dec 5, 2020
    Configuration menu
    Copy the full SHA
    48d2d42 View commit details
    Browse the repository at this point in the history

  2. remove side_effects_only from purity kinds

    @t-rasmud
    t-rasmud committed Dec 5, 2020
    Configuration menu
    Copy the full SHA
    595de2c View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2020

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Dec 6, 2020
    Configuration menu
    Copy the full SHA
    9347508 View commit details
    Browse the repository at this point in the history

  2. remove unnecessary

    @t-rasmud
    t-rasmud committed Dec 6, 2020
    Configuration menu
    Copy the full SHA
    1459a9c View commit details
    Browse the repository at this point in the history

  3. add documentation

    @t-rasmud
    t-rasmud committed Dec 6, 2020
    Configuration menu
    Copy the full SHA
    39edb6d View commit details
    Browse the repository at this point in the history

  4. documentation for side effects only

    @t-rasmud
    t-rasmud committed Dec 6, 2020
    Configuration menu
    Copy the full SHA
    b3ecb7e View commit details
    Browse the repository at this point in the history

  5. fix formatting

    @t-rasmud
    t-rasmud committed Dec 6, 2020
    Configuration menu
    Copy the full SHA
    7300132 View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2020

  1. fix side effects only for receiver

    @t-rasmud
    t-rasmud committed Dec 8, 2020
    Configuration menu
    Copy the full SHA
    8c3a428 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2021

  1. checher-qual after merging with master

    @t-rasmud
    t-rasmud committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    c34dd98 View commit details
    Browse the repository at this point in the history

  2. remove unrelated

    @t-rasmud
    t-rasmud committed Feb 16, 2021
    Configuration menu
    Copy the full SHA
    1c9d4ad View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    dcc0390 View commit details
    Browse the repository at this point in the history

  2. refactor qual

    @t-rasmud
    t-rasmud committed Feb 17, 2021
    Configuration menu
    Copy the full SHA
    a2dd514 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2021

  1. Merge github.com:typetools/checker-framework

    @t-rasmud
    t-rasmud committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    34c456b View commit details
    Browse the repository at this point in the history

  2. Merge github.com:typetools/checker-framework

    @t-rasmud
    t-rasmud committed Feb 23, 2021
    Configuration menu
    Copy the full SHA
    5eb932a View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    5fd464f View commit details
    Browse the repository at this point in the history

  2. remove unrelated test file

    @t-rasmud
    t-rasmud committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    a0442b4 View commit details
    Browse the repository at this point in the history

  3. documenting toy checker

    @t-rasmud
    t-rasmud committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    ce77c26 View commit details
    Browse the repository at this point in the history

  4. fix documentation and refactoring

    @t-rasmud
    t-rasmud committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    171090d View commit details
    Browse the repository at this point in the history

  5. fix SideEffectsOnly documentation

    @t-rasmud
    t-rasmud committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    6877a37 View commit details
    Browse the repository at this point in the history

  6. improves documentation for SideEffectsOnly

    @t-rasmud
    t-rasmud committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    8a04d7f View commit details
    Browse the repository at this point in the history

  7. more documentation for SideEffectsOnly

    @t-rasmud
    t-rasmud committed Mar 2, 2021
    Configuration menu
    Copy the full SHA
    245984b View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2021

  1. Merge github.com:typetools/checker-framework

    @t-rasmud
    t-rasmud committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    d7a6c6a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    837128d View commit details
    Browse the repository at this point in the history

  3. addressing review

    @t-rasmud
    t-rasmud committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    ec10c52 View commit details
    Browse the repository at this point in the history

  4. addressing review: entryset() to keyset()

    @t-rasmud
    t-rasmud committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    201d09b View commit details
    Browse the repository at this point in the history

  5. give meaningful qualifier names

    @t-rasmud
    t-rasmud committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    39f0044 View commit details
    Browse the repository at this point in the history

  6. address review

    @t-rasmud
    t-rasmud committed Mar 4, 2021
    Configuration menu
    Copy the full SHA
    835712a View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2021

  1. JavaExpression instead of String and clean-up

    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    9bbe372 View commit details
    Browse the repository at this point in the history

  2. test case: change parameter names

    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    3e0fbe7 View commit details
    Browse the repository at this point in the history

  3. fix documentation

    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    5f03c88 View commit details
    Browse the repository at this point in the history

  4. Merge github.com:typetools/checker-framework

    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    d1dc0cb View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    9344756 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    5afaf07 View commit details
    Browse the repository at this point in the history

  7. fix checker-qual

    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    237e037 View commit details
    Browse the repository at this point in the history

  8. checker-qual signedness fix

    @t-rasmud
    t-rasmud committed Mar 5, 2021
    Configuration menu
    Copy the full SHA
    f93a6dc View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2021

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Mar 6, 2021
    Configuration menu
    Copy the full SHA
    4590c3d View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2021

  1. fix documentation for SideEffectsOnly

    @t-rasmud
    t-rasmud committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    810a45a View commit details
    Browse the repository at this point in the history

  2. SideEffectsOnly empty test

    @t-rasmud
    t-rasmud committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    6c3560e View commit details
    Browse the repository at this point in the history

  3. SideEffectsOnly documentation fixes

    @t-rasmud
    t-rasmud committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    d4d967d View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2021

  1. Merge branch 'side-effects-only' of github.com:t-rasmud/checker-frame… 

    …work into side-effects-only
    @mernst
    mernst committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    9b85e87 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2021

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    d9cd13d View commit details
    Browse the repository at this point in the history

  2. Documentation improvements

    @mernst
    mernst committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    4712584 View commit details
    Browse the repository at this point in the history

  3. Tweaks

    @mernst
    mernst committed Mar 18, 2021
    Configuration menu
    Copy the full SHA
    9275dee View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2021

  1. Fix error and test case for SideEffectsOnly field

    @t-rasmud
    t-rasmud committed Mar 22, 2021
    Configuration menu
    Copy the full SHA
    3d2caa1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Mar 22, 2021
    Configuration menu
    Copy the full SHA
    9750682 View commit details
    Browse the repository at this point in the history

  3. SideEffects relationship documentatio

    @t-rasmud
    t-rasmud committed Mar 22, 2021
    Configuration menu
    Copy the full SHA
    875f638 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2021

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Mar 23, 2021
    Configuration menu
    Copy the full SHA
    0541f0f View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2021

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Mar 24, 2021
    Configuration menu
    Copy the full SHA
    8ea0e1e View commit details
    Browse the repository at this point in the history

  2. Undo whitespace change

    @mernst
    mernst committed Mar 24, 2021
    Configuration menu
    Copy the full SHA
    3092354 View commit details
    Browse the repository at this point in the history

  3. Tweak documentation

    @mernst
    mernst committed Mar 24, 2021
    Configuration menu
    Copy the full SHA
    4a11c51 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2021

  1. clean imports

    @t-rasmud
    t-rasmud committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    bf86930 View commit details
    Browse the repository at this point in the history

  2. report error correctly

    @t-rasmud
    t-rasmud committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    dee4cd3 View commit details
    Browse the repository at this point in the history

  3. address review comment

    @t-rasmud
    t-rasmud committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    6e5c391 View commit details
    Browse the repository at this point in the history

  4. reintroduce incorrectly deleted code

    @t-rasmud
    t-rasmud committed Mar 30, 2021
    Configuration menu
    Copy the full SHA
    87bd9a7 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2021

  1. merge with master; check; skip pre-commit

    @t-rasmud
    t-rasmud committed Mar 31, 2021
    Configuration menu
    Copy the full SHA
    cbc6afb View commit details
    Browse the repository at this point in the history

  2. fix updateForMethodCall after merge

    @t-rasmud
    t-rasmud committed Mar 31, 2021
    Configuration menu
    Copy the full SHA
    7e0337c View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2021

  1. fix imports

    @t-rasmud
    t-rasmud committed Apr 2, 2021
    Configuration menu
    Copy the full SHA
    94176a4 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Apr 3, 2021
    Configuration menu
    Copy the full SHA
    d5c2fea View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2021

  1. fix deprecated method

    @t-rasmud
    t-rasmud committed Apr 6, 2021
    Configuration menu
    Copy the full SHA
    a2c749e View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2021

  1. javadoc fixes

    @t-rasmud
    t-rasmud committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    0d5d7b4 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2021

  1. test case for empty @SideEffectsOnly

    @t-rasmud
    t-rasmud committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    2abdc8c View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2021

  1. temp commit: experimenting

    @t-rasmud
    t-rasmud committed Apr 9, 2021
    Configuration menu
    Copy the full SHA
    a8cad8c View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2021

  1. SideEffectsOnly checker: reports error on some assignments

    @t-rasmud
    t-rasmud committed Apr 12, 2021
    Configuration menu
    Copy the full SHA
    1cc560e View commit details
    Browse the repository at this point in the history

Commits on May 19, 2021

  1. merge with master

    @t-rasmud
    t-rasmud committed May 19, 2021
    Configuration menu
    Copy the full SHA
    b446e3c View commit details
    Browse the repository at this point in the history

Commits on May 20, 2021

  1. imports refactoring

    @t-rasmud
    t-rasmud committed May 20, 2021
    Configuration menu
    Copy the full SHA
    8e62d1e View commit details
    Browse the repository at this point in the history

Commits on May 31, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed May 31, 2021
    Configuration menu
    Copy the full SHA
    533f1eb View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Jun 25, 2021
    Configuration menu
    Copy the full SHA
    7e6f352 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2021

  1. merge

    @t-rasmud
    t-rasmud committed Jul 8, 2021
    Configuration menu
    Copy the full SHA
    9f19380 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2021

  1. handling method invocations

    @t-rasmud
    t-rasmud committed Jul 11, 2021
    Configuration menu
    Copy the full SHA
    0288bdf View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2021

  1. SEOnly checking at method invocations

    @t-rasmud
    t-rasmud committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    e09d7ea View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2021

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Aug 3, 2021
    Configuration menu
    Copy the full SHA
    42c6748 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2021

  1. Merge branch 'side-effects-only' of github.com:t-rasmud/checker-frame… 

    …work into side-effects-only
    @t-rasmud
    t-rasmud committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    0e478f5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    72647aa View commit details
    Browse the repository at this point in the history

  3. fix package name

    @t-rasmud
    t-rasmud committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    f91ac19 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2021

  1. test case: Check SideEffectsOnly

    @t-rasmud
    t-rasmud committed Aug 12, 2021
    Configuration menu
    Copy the full SHA
    fc91585 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2021

  1. comments

    @t-rasmud
    t-rasmud committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    4bcbb3b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Aug 15, 2021
    Configuration menu
    Copy the full SHA
    ebe7036 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2021

  1. builds

    @t-rasmud
    t-rasmud committed Aug 23, 2021
    Configuration menu
    Copy the full SHA
    e6a61f5 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Oct 14, 2021
    Configuration menu
    Copy the full SHA
    990e6e2 View commit details
    Browse the repository at this point in the history

  2. SideEffectsOnlyAnnoChecker

    @t-rasmud
    t-rasmud committed Oct 14, 2021
    Configuration menu
    Copy the full SHA
    9220596 View commit details
    Browse the repository at this point in the history

  3. test case fixes

    @t-rasmud
    t-rasmud committed Oct 14, 2021
    Configuration menu
    Copy the full SHA
    fccd5e6 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2021

  1. javadoc

    @t-rasmud
    t-rasmud committed Oct 18, 2021
    Configuration menu
    Copy the full SHA
    6d2d9fa View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Oct 18, 2021
    Configuration menu
    Copy the full SHA
    e5c48be View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2021

  1. documentation for -AcheckSideEffectsOnlyAnnotation

    @t-rasmud
    t-rasmud committed Oct 20, 2021
    Configuration menu
    Copy the full SHA
    3c8878c View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    a4439a1 View commit details
    Browse the repository at this point in the history

  2. Documentation tweaks

    @mernst
    mernst committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    15b3a08 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2021

  1. Tweak comment

    @mernst
    mernst committed Oct 27, 2021
    Configuration menu
    Copy the full SHA
    8dd7d94 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2021

  1. change method name

    @t-rasmud
    t-rasmud committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    1264b07 View commit details
    Browse the repository at this point in the history

  2. fix error message key

    @t-rasmud
    t-rasmud committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    5b0dbc5 View commit details
    Browse the repository at this point in the history

  3. checkPurityAnnotations flag checks SideEffectsOnly

    @t-rasmud
    t-rasmud committed Nov 2, 2021
    Configuration menu
    Copy the full SHA
    1ecd0fe View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2021

  1. report error if invoked method not @SideEffectsOnly

    @t-rasmud
    t-rasmud committed Nov 6, 2021
    Configuration menu
    Copy the full SHA
    a984534 View commit details
    Browse the repository at this point in the history

  2. report error if invoked method not @SideEffectsOnly

    @t-rasmud
    t-rasmud committed Nov 6, 2021
    Configuration menu
    Copy the full SHA
    177c221 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2021

  1. adding test case

    @t-rasmud
    t-rasmud committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    eb71099 View commit details
    Browse the repository at this point in the history

  2. fixing javadoc

    @t-rasmud
    t-rasmud committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    a1115c7 View commit details
    Browse the repository at this point in the history

  3. fixing javadoc

    @t-rasmud
    t-rasmud committed Nov 8, 2021
    Configuration menu
    Copy the full SHA
    30f4258 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2021

  1. testing CheckSideEffectsOnly functionality in Purity Checker

    @t-rasmud
    t-rasmud committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    b630298 View commit details
    Browse the repository at this point in the history

  2. minor

    @t-rasmud
    t-rasmud committed Nov 14, 2021
    Configuration menu
    Copy the full SHA
    d1b69c4 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2021

  1. fix

    @t-rasmud
    t-rasmud committed Nov 15, 2021
    Configuration menu
    Copy the full SHA
    d9e3336 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2021

  1. Merge branch 'master' of github.com:t-rasmud/checker-framework into s… 

    …ide-effects-only
    @t-rasmud
    t-rasmud committed Nov 22, 2021
    Configuration menu
    Copy the full SHA
    9632766 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    b0a4dd0 View commit details
    Browse the repository at this point in the history

  2. Tweaks

    @mernst
    mernst committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    2d33f32 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2023

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Jan 8, 2023
    Configuration menu
    Copy the full SHA
    5a1fc70 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2023

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    dfcd7a9 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    f595e57 View commit details
    Browse the repository at this point in the history

  3. Assign body once

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    58a847e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into side-effects-only

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    b35a2d7 View commit details
    Browse the repository at this point in the history

  5. Add default constructors as required by JDK 19

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    b4ed608 View commit details
    Browse the repository at this point in the history

  6. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    4c2764b View commit details
    Browse the repository at this point in the history

  7. Remove unneeded option

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    c88351c View commit details
    Browse the repository at this point in the history

  8. Tweak comments

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    0161dfb View commit details
    Browse the repository at this point in the history

  9. Rename

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    8d97f20 View commit details
    Browse the repository at this point in the history

  10. Add documentation

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    f639ba2 View commit details
    Browse the repository at this point in the history

  11. Rename variable

    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    1463fff View commit details
    Browse the repository at this point in the history

  12. Merge branch 'side-effects-only' of github.com:mernst/checker-framewo… 

    …rk into side-effects-only
    @mernst
    mernst committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    67c0e46 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2023

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Feb 2, 2023
    Configuration menu
    Copy the full SHA
    3b6c532 View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2023

  1. Checkpoint

    @mernst
    mernst committed Feb 3, 2023
    Configuration menu
    Copy the full SHA
    d74c8a4 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Feb 3, 2023
    Configuration menu
    Copy the full SHA
    ca34d95 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into side-effects-only

    @mernst
    mernst committed Feb 3, 2023
    Configuration menu
    Copy the full SHA
    6c5d10c View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2023

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Feb 20, 2023
    Configuration menu
    Copy the full SHA
    9d1f067 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2023

  1. Merge branch 'master' into side-effects-only

    @mernst
    mernst committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    8b5e726 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Tweak definition of @SideEffectsOnly

    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    0832758 View commit details
    Browse the repository at this point in the history

  2. Reduce diffs with upstream

    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    03bca3f View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d52132e View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2024

  1. Merge ../checker-framework-branch-master into side-effects-only

    @mernst
    mernst committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    98607fe View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. Merge branch 'typetools:master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    275e806 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. Issue warning on @SideEffectsOnly({})

    @jyoo980
    jyoo980 committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    8c56e18 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    cf0f995 View commit details
    Browse the repository at this point in the history

  3. Update manual guidance for @SideEffectsOnly({})

    @jyoo980
    jyoo980 committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    31d1b43 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'side-effects-only' of github.com:mernst/checker-framewo… 

    …rk into side-effects-only
    @jyoo980
    jyoo980 committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    3a69228 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Add test case for empty @SideEffectsOnly

    @jyoo980
    jyoo980 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    a9fccf6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    647c9b9 View commit details
    Browse the repository at this point in the history

  3. Update tests

    @jyoo980
    jyoo980 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    98c1b5d View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    ed83772 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Apply lint

    @jyoo980
    jyoo980 committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    3afb830 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Refactor SideEffectsOnlyChecker#visitMethodInvocation and pass more… 

    … tests
    @jyoo980
    jyoo980 committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    2f7355b View commit details
    Browse the repository at this point in the history

  2. Fix failing test

    @jyoo980
    jyoo980 committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    b2fb30b View commit details
    Browse the repository at this point in the history

  3. Make behaviour consistent with manual when @SideEffectsOnly appears… 

    … with `@Pure` or `@SideEffectFree`
    @jyoo980
    jyoo980 committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    9f9e005 View commit details
    Browse the repository at this point in the history

  4. Add Javadoc

    @jyoo980
    jyoo980 committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    3bea5d8 View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2024

  1. Add naive implementation for aliasing

    @jyoo980
    jyoo980 committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    7b1f256 View commit details
    Browse the repository at this point in the history

  2. Improve error message

    @jyoo980
    jyoo980 committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    b7c8187 View commit details
    Browse the repository at this point in the history

  3. Correct Javadoc

    @jyoo980
    jyoo980 committed Apr 13, 2024
    Configuration menu
    Copy the full SHA
    73c45c0 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2024

  1. "Unrefine" fields in abstract store depending on declared side-effects

    @jyoo980
    jyoo980 committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    01ff6f8 View commit details
    Browse the repository at this point in the history

  2. Update Javadoc

    @jyoo980
    jyoo980 committed Apr 14, 2024
    Configuration menu
    Copy the full SHA
    4fe3a6e View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Remove unnecessary print line

    @jyoo980
    jyoo980 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    61909fd View commit details
    Browse the repository at this point in the history

  2. Correct logic for field CFStore updates

    @jyoo980
    jyoo980 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    a4f3ec1 View commit details
    Browse the repository at this point in the history

  3. Update naming

    @jyoo980
    jyoo980 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    7ec0b2f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    da51f1b View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    9f81866 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    d4230fe View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Make refinement happen for local variables (THIS BREAKS TESTS)

    @jyoo980
    jyoo980 committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    64a6561 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    d5347bd View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2024

  1. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 20, 2024
    Configuration menu
    Copy the full SHA
    e02124d View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Update logic for removing information from method calls

    @jyoo980
    jyoo980 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    d55c9d8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    906c8b5 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    dcede5d View commit details
    Browse the repository at this point in the history

  4. Add test case

    @jyoo980
    jyoo980 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    820002a View commit details
    Browse the repository at this point in the history

  5. Avoid CF crash when invalid expression is passed to @SideEffectsOnly

    @jyoo980
    jyoo980 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    090ec33 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    4f46ad4 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. Possible fix to forEach lambda

    @jyoo980
    jyoo980 committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    5911bfd View commit details
    Browse the repository at this point in the history

  2. Merge branch 'side-effects-only' of github.com:mernst/checker-framewo… 

    …rk into side-effects-only
    @jyoo980
    jyoo980 committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    44c5020 View commit details
    Browse the repository at this point in the history

  3. Clean up test case

    @jyoo980
    jyoo980 committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    7e9e02c View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    a39c61d View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. Removing sideEffectsUnrefineAliases flag

    @jyoo980
    jyoo980 committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    17c0ce6 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. Merge branch 'master' into side-effects-only

    @jyoo980
    jyoo980 committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    e7cf745 View commit details
    Browse the repository at this point in the history