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

Remove --legacy-linker support #2127

Merged
merged 6 commits into from
Jan 17, 2023
Merged

Remove --legacy-linker support #2127

merged 6 commits into from
Jan 17, 2023

Commits on Jan 17, 2023

  1. Remove --legacy-linker support 

    I updated the firecracker codegen test to use `cargo kani assess`
instead and I removed the old scripts to collect info on the top X
crates since we no longer use them.

I kept the compiler option `--reachability=legacy` since we still use
it to test the std library code generation. I also kept the
`--mir-linker` option as a no-op for now.
    @celinval
    celinval committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    fa4e698 View commit details
    Browse the repository at this point in the history

  2. Remove test for replaced description

    @celinval
    celinval committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    fbb7de4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into issue-2126-legacy-linker

    @celinval
    celinval authored Jan 17, 2023
    Configuration menu
    Copy the full SHA
    cdf796a View commit details
    Browse the repository at this point in the history

  4. Print deprecation message for linker options

    @celinval
    celinval committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    4374c0d View commit details
    Browse the repository at this point in the history

  5. Use an actionable warning

    @celinval
    celinval committed Jan 17, 2023
    Configuration menu
    Copy the full SHA
    a052b67 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into issue-2126-legacy-linker

    @celinval
    celinval authored Jan 17, 2023
    Configuration menu
    Copy the full SHA
    8164f0b View commit details
    Browse the repository at this point in the history