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

Adjust proof tooling to support CBMC v6 #1180

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

Adjust proof tooling to support CBMC v6 #1180

wants to merge 12 commits into from

Commits on Sep 27, 2024

  1. Adjust proof tooling to support CBMC v6 

    With CBMC v6, unwinding assertions as well as other checks are enabled
by default.
    @tautschnig
    tautschnig committed Sep 27, 2024
    Configuration menu
    Copy the full SHA
    a73ab0d View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. Merge branch 'main' into cbmc-v6

    @tony-josi-aws
    tony-josi-aws authored Oct 10, 2024
    Configuration menu
    Copy the full SHA
    9a82d35 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Merge branch 'main' into cbmc-v6

    @ActoryOu
    ActoryOu authored Oct 18, 2024
    Configuration menu
    Copy the full SHA
    ea1a182 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. Fix CBMC issues

    @ActoryOu
    ActoryOu committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    88e51a7 View commit details
    Browse the repository at this point in the history

  2. Fix spelling & formatting

    @ActoryOu
    ActoryOu committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    adabaad View commit details
    Browse the repository at this point in the history

  3. Fix build-check

    @ActoryOu
    ActoryOu committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    bb48c52 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. Add unit test cases for FreeRTOS_multiply_int32 and FreeRTOS_add_int32

    @ActoryOu
    ActoryOu committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    5f752cc View commit details
    Browse the repository at this point in the history

  2. Tony's comment

    @ActoryOu
    ActoryOu committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    68a768c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into cbmc-v6

    @tautschnig
    tautschnig authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    095c3dd View commit details
    Browse the repository at this point in the history

  4. Bump CBMC version to very latest release

    @tautschnig
    tautschnig authored Oct 22, 2024
    Configuration menu
    Copy the full SHA
    e046c6c View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2024

  1. Replace Synopsys link with blackduck one to solve link error.

    @ActoryOu
    ActoryOu committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    7ba244b View commit details
    Browse the repository at this point in the history

  2. Move the comment to the right place

    @ActoryOu
    ActoryOu committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    93147e3 View commit details
    Browse the repository at this point in the history