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

Unify and improve const-prop lints #69185

Merged
merged 16 commits into from
Feb 20, 2020
Merged

Commits on Feb 14, 2020

  1. const-prop: use one helper method for all lints; consistently lint ov…

    …erflow on BinOps and not on Assert
    RalfJung committed Feb 14, 2020
    Configuration menu
    Copy the full SHA
    ad4b3f3 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2020

  1. Configuration menu
    Copy the full SHA
    bd48522 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    9c76394 View commit details
    Browse the repository at this point in the history
  3. add test for issue 69020

    RalfJung committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    4b8c784 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    2107e73 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    415218f View commit details
    Browse the repository at this point in the history
  6. fix another test

    RalfJung committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    25870a0 View commit details
    Browse the repository at this point in the history
  7. fix compile-fail

    RalfJung committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    c4a6f84 View commit details
    Browse the repository at this point in the history
  8. Tighter type bounds for messages

    Co-Authored-By: Mazdak Farrokhzad <twingoow@gmail.com>
    RalfJung and Centril committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    0c8c800 View commit details
    Browse the repository at this point in the history
  9. adjust run-fail tests

    RalfJung committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    3134df2 View commit details
    Browse the repository at this point in the history
  10. remove no-longer-needed test

    RalfJung committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    94047f1 View commit details
    Browse the repository at this point in the history
  11. fix codegen tests

    RalfJung committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    b6aaacd View commit details
    Browse the repository at this point in the history
  12. fix incremental tests

    RalfJung committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    97cc3a2 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2020

  1. better lint names

    RalfJung committed Feb 18, 2020
    Configuration menu
    Copy the full SHA
    5e19350 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2020

  1. Configuration menu
    Copy the full SHA
    58bb47e View commit details
    Browse the repository at this point in the history
  2. fix 32bit-only test

    RalfJung committed Feb 19, 2020
    Configuration menu
    Copy the full SHA
    88d14bf View commit details
    Browse the repository at this point in the history