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

BUG fuzzing found a bug in the resolver, we need a complete set of conflicts to do backjumping #5988

Merged
merged 22 commits into from
Sep 17, 2018
Merged

BUG fuzzing found a bug in the resolver, we need a complete set of conflicts to do backjumping #5988

merged 22 commits into from
Sep 17, 2018

Commits on Sep 6, 2018

  1. Copy the full case from rust-lang@003c29b

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    dfad631 View commit details
    Browse the repository at this point in the history

  2. remove things depending on bad, rename some things

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    0781ce2 View commit details
    Browse the repository at this point in the history

  3. remove "D"

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    4cfe649 View commit details
    Browse the repository at this point in the history

  4. remove lots more

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    77cd4d7 View commit details
    Browse the repository at this point in the history

  5. rename things

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    ad852eb View commit details
    Browse the repository at this point in the history

  6. renumber things

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    d6d3a04 View commit details
    Browse the repository at this point in the history

  7. split up some names

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    e6078b4 View commit details
    Browse the repository at this point in the history

  8. time to investigate the bug

    @Eh2406
    Eh2406 committed Sep 6, 2018
    Configuration menu
    Copy the full SHA
    a875816 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2018

  1. this oddly worked

    @Eh2406
    Eh2406 committed Sep 12, 2018
    Configuration menu
    Copy the full SHA
    69e00e8 View commit details
    Browse the repository at this point in the history

  2. a new one to minimized

    @Eh2406
    Eh2406 committed Sep 12, 2018
    Configuration menu
    Copy the full SHA
    b0ab1f2 View commit details
    Browse the repository at this point in the history

  3. remove unused crates

    @Eh2406
    Eh2406 committed Sep 12, 2018
    Configuration menu
    Copy the full SHA
    00cbb0a View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2018

  1. remove debs leading to remove now unused crates

    @Eh2406
    Eh2406 committed Sep 13, 2018
    Configuration menu
    Copy the full SHA
    47d9fe9 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2018

  1. remove debs leading to remove now unused crates

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    70bfd73 View commit details
    Browse the repository at this point in the history

  2. rename deps

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    c77f60d View commit details
    Browse the repository at this point in the history

  3. clean up commas

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    2f21280 View commit details
    Browse the repository at this point in the history

  4. a new one to minimized

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    9051dbf View commit details
    Browse the repository at this point in the history

  5. remove debs leading to remove now unused crates

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    fbee2e7 View commit details
    Browse the repository at this point in the history

  6. rename deps

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    079ac47 View commit details
    Browse the repository at this point in the history

  7. small clean up

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    8707fcb View commit details
    Browse the repository at this point in the history

  8. only skip in the backtrack_stack if the conflicting_activations i… 

    …s complete
    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    2b1f093 View commit details
    Browse the repository at this point in the history

  9. cargo fmt

    @Eh2406
    Eh2406 committed Sep 14, 2018
    Configuration menu
    Copy the full SHA
    9b2295d View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2018

  1. bump env_logger to a more minimal-versions compatible one

    @Eh2406
    Eh2406 committed Sep 17, 2018
    Configuration menu
    Copy the full SHA
    682b295 View commit details
    Browse the repository at this point in the history