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 version #2388

Merged

karkhaz merged 1 commit into model-checking:main from karkhaz:kk-bump-cbmc-version

Apr 18, 2023

Contributor

karkhaz commented Apr 18, 2023

Upgrade CBMC version to 5.81.0.

Checklist

Each commit message has a non-empty body, explaining why the change was made
Methods or procedures are documented
Regression or unit tests are included, or existing tests cover the modified code
My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.


          Bump CBMC version

7deaa0e

Upgrade CBMC version to 5.81.0.

karkhaz requested a review from a team as a code owner

April 18, 2023 16:41

zhassan-aws approved these changes

View reviewed changes

karkhaz enabled auto-merge (squash)

April 18, 2023 17:12

karkhaz merged commit afa39ff into model-checking:main

karkhaz deleted the kk-bump-cbmc-version branch

April 18, 2023 17:34

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet