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 lint for float in array comparison #5345

Merged
merged 15 commits into from
Apr 15, 2020
Merged

Add lint for float in array comparison #5345

merged 15 commits into from
Apr 15, 2020

Commits on Apr 9, 2020

  1. Add lint when comparing floats in an array 

    Finishes #4277
    @briankabiro @marcin-serwin
    briankabiro authored and marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    d440935 View commit details
    Browse the repository at this point in the history

  2. Add tests for float in array comparison

    @briankabiro @marcin-serwin
    briankabiro authored and marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    0d00eaf View commit details
    Browse the repository at this point in the history

  3. Update field names in is_float

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    03f584c View commit details
    Browse the repository at this point in the history

  4. Update stderr of float_cmp test

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    b4ff774 View commit details
    Browse the repository at this point in the history

  5. Add handling of float arrays to miri_to_const

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    2153abb View commit details
    Browse the repository at this point in the history

  6. Handle evaluating constant index expression

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    6217671 View commit details
    Browse the repository at this point in the history

  7. Allow for const arrays of zeros

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    bcbb9d9 View commit details
    Browse the repository at this point in the history

  8. Don't show comparison suggestion for arrays

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    1bab67c View commit details
    Browse the repository at this point in the history

  9. Handle constant arrays with single value

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    d3167c6 View commit details
    Browse the repository at this point in the history

  10. Add float cmp tests for arrays

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    3c738b2 View commit details
    Browse the repository at this point in the history

  11. Add float cmp const tests for arrays

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    c7b5e30 View commit details
    Browse the repository at this point in the history

  12. Make epsilon note spanless when comparing arrays

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    84ae3d8 View commit details
    Browse the repository at this point in the history

  13. Indicate when arrays are compared in error message

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    f637c45 View commit details
    Browse the repository at this point in the history

  14. Split check_fn function

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    4e01ca3 View commit details
    Browse the repository at this point in the history

  15. Make the epsilon note spanless

    @marcin-serwin
    marcin-serwin committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    4449cc7 View commit details
    Browse the repository at this point in the history