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

WIP: add Wasmi translation invariants checker #1233

Draft
wants to merge 12 commits into
base: main
Choose a base branch
from
Draft

WIP: add Wasmi translation invariants checker #1233

wants to merge 12 commits into from

Commits on Oct 11, 2024

  1. create the initial structure and errors for translation invariant che… 

    …cking
    @Robbepop
    Robbepop committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    56664ab View commit details
    Browse the repository at this point in the history

  2. make invariant checker return potentially multiple errors

    @Robbepop
    Robbepop committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    cd8352f View commit details
    Browse the repository at this point in the history

  3. add clarifying comment

    @Robbepop
    Robbepop committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    880f917 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Merge branch 'main' into rf-translation-post-conditions

    @Robbepop
    Robbepop authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    de48f61 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Merge branch 'main' into rf-translation-post-conditions

    @Robbepop
    Robbepop committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    3708c10 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. Merge branch 'main' into rf-translation-post-conditions

    @Robbepop
    Robbepop committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    9e269c5 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2024

  1. Merge branch 'main' into rf-translation-post-conditions

    @Robbepop
    Robbepop committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    094bff0 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2024

  1. Merge branch 'main' into rf-translation-post-conditions

    @Robbepop
    Robbepop authored Nov 10, 2024
    Configuration menu
    Copy the full SHA
    aeacd72 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. add ValueStack::resolve_const helper method

    @Robbepop
    Robbepop committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    e3d2a58 View commit details
    Browse the repository at this point in the history

  2. add InstrSequence::as_slice helper method

    @Robbepop
    Robbepop committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    1a364e4 View commit details
    Browse the repository at this point in the history

  3. perform post conditions checking before finalization

    @Robbepop
    Robbepop committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    0793b9c View commit details
    Browse the repository at this point in the history

  4. add NonZeroBranchOffsets invariants checker

    @Robbepop
    Robbepop committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    b4daaca View commit details
    Browse the repository at this point in the history