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

Bump CBMC to version 5.72.0 #1941

Merged
merged 21 commits into from
Dec 9, 2022
Merged

Bump CBMC to version 5.72.0 #1941

merged 21 commits into from
Dec 9, 2022

Commits on Nov 28, 2022

  1. Bump CBMC to version 5.71.0

    @zhassan-aws
    zhassan-aws committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    1e12c96 View commit details
    Browse the repository at this point in the history

  2. Fix format

    @zhassan-aws
    zhassan-aws committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    4c2619c View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into cbmc-5.71

    @zhassan-aws
    zhassan-aws committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    4d53835 View commit details
    Browse the repository at this point in the history

  4. Add copyright to Cargo.toml

    @zhassan-aws
    zhassan-aws committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    bd7e78c View commit details
    Browse the repository at this point in the history

  5. Reference GitHub issues and add performance information

    @zhassan-aws
    zhassan-aws committed Nov 28, 2022
    Configuration menu
    Copy the full SHA
    5cae8bc View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into cbmc-5.71

    @zhassan-aws
    zhassan-aws authored Nov 28, 2022
    Configuration menu
    Copy the full SHA
    8c8c52d View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2022

  1. Merge branch 'main' into cbmc-5.71

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    d216da7 View commit details
    Browse the repository at this point in the history

  2. Bump version to 5.72

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    00940c6 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'cbmc-5.71' of https://github.com/zhassan-aws/kani into … 

    …cbmc-5.71
    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    597e930 View commit details
    Browse the repository at this point in the history

  4. Add test for model-checking#705

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    a3fb14c View commit details
    Browse the repository at this point in the history

  5. Add test for model-checking#1226

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    06e0564 View commit details
    Browse the repository at this point in the history

  6. Add test for model-checking#1823

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    b504445 View commit details
    Browse the repository at this point in the history

  7. Add an unwind annotation

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    ba61ab9 View commit details
    Browse the repository at this point in the history

  8. Add test for model-checking#1958

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    b67defb View commit details
    Browse the repository at this point in the history

  9. Reference issue to investigate why an unwind annotation is now needed

    @zhassan-aws
    zhassan-aws committed Dec 8, 2022
    Configuration menu
    Copy the full SHA
    5c58885 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2022

  1. Fix fmt

    @zhassan-aws
    zhassan-aws committed Dec 9, 2022
    Configuration menu
    Copy the full SHA
    2aebf1b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into cbmc-5.71

    @zhassan-aws
    zhassan-aws authored Dec 9, 2022
    Configuration menu
    Copy the full SHA
    a97e26a View commit details
    Browse the repository at this point in the history

  3. Add asserts

    @zhassan-aws
    zhassan-aws committed Dec 9, 2022
    Configuration menu
    Copy the full SHA
    895e4bb View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into cbmc-5.71

    @zhassan-aws
    zhassan-aws committed Dec 9, 2022
    Configuration menu
    Copy the full SHA
    02739d6 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'cbmc-5.71' of https://github.com/zhassan-aws/kani into … 

    …cbmc-5.71
    @zhassan-aws
    zhassan-aws committed Dec 9, 2022
    Configuration menu
    Copy the full SHA
    8bf658c View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into cbmc-5.71

    @zhassan-aws
    zhassan-aws authored Dec 9, 2022
    Configuration menu
    Copy the full SHA
    b07568d View commit details
    Browse the repository at this point in the history