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

Upgrade toolchain to 08/28 #3454

Merged
merged 15 commits into from
Aug 28, 2024
Merged

Upgrade toolchain to 08/28 #3454

merged 15 commits into from
Aug 28, 2024

Commits on Aug 20, 2024

  1. Upgrade toolchain to 08/20

    @jaisnan
    jaisnan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    6777e7c View commit details
    Browse the repository at this point in the history

  2. Remove leftover test file

    @jaisnan
    jaisnan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    9bf5f8d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into fix-toolchain-820

    @jaisnan
    jaisnan authored Aug 20, 2024
    Configuration menu
    Copy the full SHA
    c960770 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… 

    …nto fix-toolchain-820
    @jaisnan
    jaisnan committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    9cdca7f View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. Update to 08/26

    @jaisnan
    jaisnan committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    4556921 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of https://github.com/model-checking/kani into fi… 

    …x-toolchain-820
    @jaisnan
    jaisnan committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    5918bf2 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Upgrade to 8/27 and fix breaks in cargo

    @jaisnan
    jaisnan committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    c8bfdb0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into fix-toolchain-820

    @jaisnan
    jaisnan authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    f205511 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Update to 08/28

    @jaisnan
    jaisnan committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    825e880 View commit details
    Browse the repository at this point in the history

  2. Fix clippy errors

    @jaisnan
    jaisnan committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    6e07c05 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… 

    …nto fix-toolchain-820
    @jaisnan
    jaisnan committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    9818fec View commit details
    Browse the repository at this point in the history

  4. Remove unnecessary print statements

    @jaisnan
    jaisnan committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    d35186e View commit details
    Browse the repository at this point in the history

  5. Add a blanket allow across the workspace for "too_long_first_doc_para… 

    …graph"
    @jaisnan
    jaisnan committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    df4008e View commit details
    Browse the repository at this point in the history

  6. Revert whitespace change

    @jaisnan
    jaisnan committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    beb375d View commit details
    Browse the repository at this point in the history

  7. Cargo fmt + clippy

    @jaisnan
    jaisnan committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    cd53bcf View commit details
    Browse the repository at this point in the history