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

Run WPI on plume-util #5534

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

Run WPI on plume-util #5534

wants to merge 40 commits into from

Commits on Apr 4, 2021

  1. Run WPI on plume-util

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

Commits on Apr 5, 2021

  1. Use setwise operations

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    5993383 View commit details
    Browse the repository at this point in the history

  2. Add Javadoc

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    b13d92a View commit details
    Browse the repository at this point in the history

  3. Suppress a warning

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    f778735 View commit details
    Browse the repository at this point in the history

  4. Don't infer from recursive calls

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    f7cde82 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-lessthan-glb into wpi-p… 

    …lumeutil
    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    88e067f View commit details
    Browse the repository at this point in the history

  6. Merge ../checker-framework-fork-mernst-branch-wpi-recursive-call into… 

    … wpi-plumeutil
    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    8917f5b View commit details
    Browse the repository at this point in the history

  7. Merge ../checker-framework-branch-master into wpi-recursive-call

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    c8bdf7e View commit details
    Browse the repository at this point in the history

  8. Check elements and receivers instead of method names.

    @smillst
    smillst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    29ebb3d View commit details
    Browse the repository at this point in the history

  9. Merge branch 'wpi-recursive-call' of github.com:mernst/checker-framew… 

    …ork into wpi-recursive-call
    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    85670e8 View commit details
    Browse the repository at this point in the history

  10. Merge ../checker-framework-branch-master into wpi-plumeutil

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    a60505e View commit details
    Browse the repository at this point in the history

  11. Merge ../checker-framework-fork-mernst-branch-wpi-recursive-call into… 

    … wpi-plumeutil
    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    540f065 View commit details
    Browse the repository at this point in the history

  12. Simplify code

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    7d70c5c View commit details
    Browse the repository at this point in the history

  13. Merge ../checker-framework-branch-master into wpi-plumeutil

    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    1e03f2e View commit details
    Browse the repository at this point in the history

  14. Merge ../checker-framework-fork-mernst-branch-wpi-recursive-call into… 

    … wpi-plumeutil
    @mernst
    mernst committed Apr 5, 2021
    Configuration menu
    Copy the full SHA
    aad2959 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2021

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

    @mernst
    mernst committed Apr 7, 2021
    Configuration menu
    Copy the full SHA
    5dc343a View commit details
    Browse the repository at this point in the history

Commits on May 11, 2021

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

    @mernst
    mernst committed May 11, 2021
    Configuration menu
    Copy the full SHA
    1ee81ec View commit details
    Browse the repository at this point in the history

Commits on May 17, 2021

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

    @mernst
    mernst committed May 17, 2021
    Configuration menu
    Copy the full SHA
    8ace968 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2022

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

    @mernst
    mernst committed Jun 29, 2022
    Configuration menu
    Copy the full SHA
    22b20f9 View commit details
    Browse the repository at this point in the history

Commits on Jan 1, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

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

Commits on Jan 5, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

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

  2. Merge ../checker-framework-branch-master into wpi-plumeutil

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

Commits on Jan 8, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

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

Commits on Jan 13, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

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

Commits on Jan 18, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

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

  2. Merge branch 'master' into wpi-plumeutil

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

Commits on Jan 19, 2023

  1. Permit more time for inference jobs

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

  2. Merge ../checker-framework-fork-mernst-branch-ci-inference-test into … 

    …wpi-plumeutil
    @mernst
    mernst committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    e1fee05 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'wpi-plumeutil' of github.com:mernst/checker-framework i… 

    …nto wpi-plumeutil
    @mernst
    mernst committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    38bf746 View commit details
    Browse the repository at this point in the history

  4. Give inference job more time

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

  5. Merge ../checker-framework-branch-master into wpi-plumeutil

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

  6. Permit more time in CI

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

  7. Try twice in case of network lossage

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

  8. Merge ../checker-framework-fork-mernst-branch-compile-twice into wpi-… 

    …plumeutil
    @mernst
    mernst committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    32fc03b View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2023

  1. Add goal file, add diagnostics

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

  2. Merge ../checker-framework-branch-master into wpi-plumeutil

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

Commits on Jan 26, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

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

Commits on Feb 3, 2023

  1. Merge branch 'master' into wpi-plumeutil

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

Commits on Feb 20, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

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

Commits on Mar 21, 2023

  1. Merge ../checker-framework-branch-master into wpi-plumeutil

    @mernst
    mernst committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    7ab2792 View commit details
    Browse the repository at this point in the history