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

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #2959

Merged
merged 9 commits into from
Dec 20, 2023
Merged

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #2959

merged 9 commits into from
Dec 20, 2023

Commits on Dec 20, 2023

  1. Start migrating foreign function

    @celinval
    celinval committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    e1502e7 View commit details
    Browse the repository at this point in the history

  2. Migrate compiler interface to use StableMIR

    @celinval
    celinval committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    3b3c43e View commit details
    Browse the repository at this point in the history

  3. Finish migration of compiler-interface

    @celinval
    celinval committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    b672e9b View commit details
    Browse the repository at this point in the history

  4. Fix regression tests and remove debug

    @celinval
    celinval committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    9afc460 View commit details
    Browse the repository at this point in the history

  5. Update the rust-toolchain

    @celinval
    celinval committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    f7e2d82 View commit details
    Browse the repository at this point in the history

  6. Fix perfomance regression

    @celinval
    celinval committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    2474b8b View commit details
    Browse the repository at this point in the history

  7. Merge branch 'main' into smir-comp-interface

    @celinval
    celinval authored Dec 20, 2023
    Configuration menu
    Copy the full SHA
    f7cc796 View commit details
    Browse the repository at this point in the history

  8. Apply suggestions from code review 

    Co-authored-by: Adrian Palacios <[email protected]>
    @celinval @adpaco-aws
    celinval and adpaco-aws authored Dec 20, 2023
    Configuration menu
    Copy the full SHA
    038e316 View commit details
    Browse the repository at this point in the history

  9. Rename mock functions

    @celinval
    celinval committed Dec 20, 2023
    Configuration menu
    Copy the full SHA
    31af32b View commit details
    Browse the repository at this point in the history