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.

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

Report AlwaysFalseConstraints as CF errors #341

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

Commits on Jul 6, 2021

  1. Configuration menu
    Copy the full SHA
    e8613b2 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2021

  1. Configuration menu
    Copy the full SHA
    6bf6317 View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2021

  1. refactor

    d367wang committed Jul 13, 2021
    Configuration menu
    Copy the full SHA
    5209dc4 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2021

  1. Apply suggestions from code review

    Co-authored-by: Werner Dietl <wdietl@gmail.com>
    d367wang and wmdietl authored Jul 14, 2021
    Configuration menu
    Copy the full SHA
    d5a9672 View commit details
    Browse the repository at this point in the history
  2. add comments

    d367wang committed Jul 14, 2021
    Configuration menu
    Copy the full SHA
    5c21828 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2021

  1. adapt CFInferenceTest

    d367wang committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    576d9b4 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    fad7c62 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2021

  1. Configuration menu
    Copy the full SHA
    9fee375 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2021

  1. Configuration menu
    Copy the full SHA
    318a92a View commit details
    Browse the repository at this point in the history
  2. tweaks

    d367wang committed Aug 27, 2021
    Configuration menu
    Copy the full SHA
    49c3cf5 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2021

  1. remove -Awarn flag

    d367wang committed Aug 31, 2021
    Configuration menu
    Copy the full SHA
    5f840ed View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2021

  1. Configuration menu
    Copy the full SHA
    5440175 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2021

  1. Configuration menu
    Copy the full SHA
    8a6b53b View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2021

  1. enable -Awarn

    d367wang committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    10fe1b2 View commit details
    Browse the repository at this point in the history
  2. Update Unsat.java

    d367wang authored Dec 17, 2021
    Configuration menu
    Copy the full SHA
    64ab800 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ec5c793 View commit details
    Browse the repository at this point in the history
  4. Merge branch 'unsat-verify' of github.com:d367wang/checker-framework-…

    …inference into unsat-verify
    d367wang committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    f34d071 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2022

  1. Configuration menu
    Copy the full SHA
    fbffe45 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2022

  1. Configuration menu
    Copy the full SHA
    0f57b21 View commit details
    Browse the repository at this point in the history
  2. Merge branch 'unsat-verify' of github.com:d367wang/checker-framework-…

    …inference into unsat-verify
    d367wang committed Apr 24, 2022
    Configuration menu
    Copy the full SHA
    a517708 View commit details
    Browse the repository at this point in the history