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

Bump rustc version by a few weeks #650

Merged
merged 6 commits into from
May 6, 2024
Merged

Bump rustc version by a few weeks #650

merged 6 commits into from
May 6, 2024

Commits on May 6, 2024

  1. Bump rustc version

    @Nadrieril
    Nadrieril committed May 6, 2024
    Configuration menu
    Copy the full SHA
    d2994fc View commit details
    Browse the repository at this point in the history

  2. Bump rustc version

    @Nadrieril
    Nadrieril committed May 6, 2024
    Configuration menu
    Copy the full SHA
    7b6b49c View commit details
    Browse the repository at this point in the history

  3. Box<Vec<T>> is silly

    @Nadrieril
    Nadrieril committed May 6, 2024
    Configuration menu
    Copy the full SHA
    ae77c06 View commit details
    Browse the repository at this point in the history

  4. Bump rustc version

    @Nadrieril
    Nadrieril committed May 6, 2024
    Configuration menu
    Copy the full SHA
    122a64e View commit details
    Browse the repository at this point in the history

  5. feat: get rid of ImplExprAtom::{FnPointer,Closure}

    @W95Psp
    W95Psp committed May 6, 2024
    Configuration menu
    Copy the full SHA
    f2e20fa View commit details
    Browse the repository at this point in the history

  6. fix(proof-libs): reflect alloc changes

    @W95Psp
    W95Psp committed May 6, 2024
    Configuration menu
    Copy the full SHA
    22177f0 View commit details
    Browse the repository at this point in the history