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 static handling and most of the operand codegen code to StableMIR #2931

Merged
merged 6 commits into from
Dec 12, 2023
Merged

Migrate static handling and most of the operand codegen code to StableMIR #2931

merged 6 commits into from
Dec 12, 2023

Commits on Dec 11, 2023

  1. Add convert_operand to StableConverter

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

  2. Migrate operand to StableMIR

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

  3. Simplify Adt constants + cover all slice types

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

Commits on Dec 12, 2023

  1. Update kani-compiler/src/codegen_cprover_gotoc/codegen/operand.rs 

    Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
    @celinval @zhassan-aws
    celinval and zhassan-aws authored Dec 12, 2023
    Configuration menu
    Copy the full SHA
    3265b25 View commit details
    Browse the repository at this point in the history

  2. Add size_constant methods and comment to test

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

  3. Merge branch 'main' into smir-operand

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