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 nightly-2023-01-23 #2149

Merged
merged 5 commits into from
Mar 8, 2023
Merged

Upgrade toolchain to nightly-2023-01-23 #2149

merged 5 commits into from
Mar 8, 2023

Commits on Jan 23, 2023

  1. Upgrade toolchain to nightly-2023-01-16 

    This commit fixes compilation errors but not runtime ones. Related
changes:

rust-lang/rust#104986
rust-lang/rust#105657
rust-lang/rust#105603
rust-lang/rust#105613
    @celinval
    celinval committed Jan 23, 2023
    Configuration menu
    Copy the full SHA
    379413f View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. Upgrade toolchain to nightly-2023-01-23 

    to overcome an issue with async generators. Updated the
codegen_generator to follow the new logic implemented in
rust-lang/rust#105977
    @celinval
    celinval committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    c5db1df View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2023

  1. Merge remote-tracking branch 'origin/main' into issue-2113-toolchain 

    Conflicts:
    - kani-compiler/src/kani_middle/stubbing/annotations.rs
    - kani-compiler/src/session.rs (logger initialization issue)
    @celinval
    celinval committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    657ddda View commit details
    Browse the repository at this point in the history

  2. Mark performance regressions as ignored for now 

    and enable them to be executed as part of CBMC nightly
    @celinval
    celinval committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    4d3bed2 View commit details
    Browse the repository at this point in the history

  3. Change performance test to always run all tests 

    Added --no-fail-fast to the script
    @celinval
    celinval committed Mar 8, 2023
    Configuration menu
    Copy the full SHA
    e7bc03a View commit details
    Browse the repository at this point in the history