What's Changed
- Add aws_ prefix to prebuild_dependency CMake function name by @sfod in #1146
- Makefile.common updates for CBMC by @tautschnig in #1148
- Run proofs with CBMC 6.2.0 by @graebm in #1149
- Only set mtune neoverse if compiler supports it by @DmitriyMusatkin in #1150
Full Changelog: v0.9.27...v0.9.28
Contributors
sfod, tautschnig, and 2 other contributors