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

Move error reporting and initialisation clean-up #135

Merged
merged 13 commits into from
Feb 17, 2020
Merged

Move error reporting and initialisation clean-up #135

merged 13 commits into from
Feb 17, 2020

Commits on Jan 1, 2020

  1. Initial stab at a full move tracking

    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    8473450 View commit details
    Browse the repository at this point in the history

  2. Clean up the implementation 

    It should now be much clearer what is computed when, and why.
    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    ca80463 View commit details
    Browse the repository at this point in the history

  3. Document var_maybe_initialized_on_exit and friends 

    Closes #116.

Also, fixes a compile error I forgot.
    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    ac3f165 View commit details
    Browse the repository at this point in the history

  4. Apparently, we now need to make Context have an anonymous lifetime

    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    54d668d View commit details
    Browse the repository at this point in the history

  5. Add move errors to dump output, refactor dump logic with a macro 

    This removes a *lot* of duplicate code.
    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    4cd38aa View commit details
    Browse the repository at this point in the history

  6. The Great Renaming: liveness and initialization edition

    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    804452d View commit details
    Browse the repository at this point in the history

  7. I give up; compute partial initialization for drop-liveness!

    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    02da6e6 View commit details
    Browse the repository at this point in the history

  8. Fix Clippy warnings

    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    7921d9c View commit details
    Browse the repository at this point in the history

  9. Clean up after rebase (sorry for the anachronism)

    Albin Stjerna committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    8c10c7f View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2020

  1. Clean up and update fact files 

    This removes a LOT of unused facts that we don't need for the unit tests, and
renames and updates those we do need.
    Albin Stjerna committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    80a3ca7 View commit details
    Browse the repository at this point in the history

  2. Version-bump and update RELEASES.md

    Albin Stjerna committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    b05a8ba View commit details
    Browse the repository at this point in the history

  3. Update collect-facts.sh to only collect the needed facts

    Albin Stjerna committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    ed924db View commit details
    Browse the repository at this point in the history

  4. Update the tests for polonius-parser to use new names 

    Also drive-by update: replace repeated assert `.is_ok()` followed by unwrap with
more succinct `.expect()` to catch (and more importantly print) parser errors.
    Albin Stjerna committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    2f60ff2 View commit details
    Browse the repository at this point in the history