search

awslabs / aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
Apache License 2.0
263 stars 159 forks source link

Run proofs with CBMC 6.2.0 #1149

Closed graebm closed 2 months ago

graebm commented 2 months ago

Use latest versions of proof tools

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