Skip to content

/ servo

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

#14902 Write a MIR lint for rooting analysis #20264

Closed
wants to merge 15 commits into from
Closed

#14902 Write a MIR lint for rooting analysis #20264

wants to merge 15 commits into from
+688 −191

Commits on Mar 10, 2018

  1. #14902 Write a MIR lint for rooting analysis

    @mrowqa
    mrowqa committed Mar 10, 2018
    Loading status checks…
    89177a7

Commits on Mar 11, 2018

  1. Skip checking subexpressions (temporary variables).

    @mrowqa
    mrowqa committed Mar 11, 2018
    Loading status checks…
    ea0c1d4

Commits on Mar 19, 2018

  1. Further progress (theoretically it should be able to detect some impr… 

    …orer usages involving generics)
    @mrowqa
    mrowqa committed Mar 19, 2018
    Loading status checks…
    011217b

  2. Moved forward with generics checking & refactored the code

    @mrowqa
    mrowqa committed Mar 19, 2018
    Loading status checks…
    4169308

Commits on Mar 26, 2018

  1. Calls to generic functions should be detected

    @mrowqa
    mrowqa committed Mar 26, 2018
    Loading status checks…
    41f4774

Commits on Mar 27, 2018

  1. Generic ADT with unrooted substs are detected.

    @mrowqa
    mrowqa committed Mar 27, 2018
    Loading status checks…
    d5eafe0

Commits on Mar 28, 2018

  1. Checking recursively parent generics + some proof work for allowing n… 

    …ew methods
    @mrowqa
    mrowqa committed Mar 28, 2018
    Loading status checks…
    2f4af72

  2. Updated way of detecting "new" methods and added test for closures.

    @mrowqa
    mrowqa committed Mar 28, 2018
    Loading status checks…
    53ed102

Commits on Apr 8, 2018

  1. Fixed problem with unrooted interior.

    @mrowqa
    mrowqa committed Apr 8, 2018
    Loading status checks…
    c6d04fa

Commits on May 9, 2018

  1. Merge branch 'master' into mir-must-root

    @mrowqa
    mrowqa committed May 9, 2018
    88a1814

  2. Fixed generating traits by codegen.

    @mrowqa
    mrowqa committed May 9, 2018
    Loading status checks…
    c1e333b

  3. Fixed some #[must_root] errors and added debugging code.

    @mrowqa
    mrowqa committed May 9, 2018
    Loading status checks…
    2f767d2

Commits on May 10, 2018

  1. Fixed more violations.

    @mrowqa
    mrowqa committed May 10, 2018
    Loading status checks…
    2416333

Commits on May 11, 2018

  1. Added more exceptions to the plugin; servo should compile

    @mrowqa
    mrowqa committed May 11, 2018
    Loading status checks…
    3c14830

  2. Temporarily commented out one test

    @mrowqa
    mrowqa committed May 11, 2018
    Loading status checks…
    fc4c611
You can’t perform that action at this time.