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

Add verif.bmc VerifToSMT lowering #7603

Merged
merged 11 commits into from
Sep 24, 2024
Merged

Add verif.bmc VerifToSMT lowering #7603

merged 11 commits into from
Sep 24, 2024

Commits on Sep 13, 2024

  1. Add BMC to SMT lowering 

    Co-authored-by: Martin Erhart <[email protected]>
    @TaoBi22 @maerhart
    TaoBi22 and maerhart committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    0bdaccc View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Format & clean-up

    @TaoBi22
    TaoBi22 committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    80736fc View commit details
    Browse the repository at this point in the history

  2. Remove now-unnecessary assert

    @TaoBi22
    TaoBi22 committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    8353a4b View commit details
    Browse the repository at this point in the history

  3. Drop error conversions

    @TaoBi22
    TaoBi22 committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    8a8f912 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Address nits & add missing Func dialect dep

    @TaoBi22
    TaoBi22 committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    1d0dcec View commit details
    Browse the repository at this point in the history

  2. Add lowering tests for assert & assume ops

    @TaoBi22
    TaoBi22 committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    ef796fa View commit details
    Browse the repository at this point in the history

  3. Error on multiple assertions

    @TaoBi22
    TaoBi22 committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    b6740f8 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Drop unnecessary zip & braces

    @TaoBi22
    TaoBi22 committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    7fdbe40 View commit details
    Browse the repository at this point in the history

  2. Instantiate SymbolTable in runOnOperation

    @TaoBi22
    TaoBi22 committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    3fe3e64 View commit details
    Browse the repository at this point in the history

  3. Check assertion count outside pattern, update error message & add test

    @TaoBi22
    TaoBi22 committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    f6e32a2 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Add assertion check early pass exit

    @TaoBi22
    TaoBi22 committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2af0484 View commit details
    Browse the repository at this point in the history