v0.9.28

DmitriyMusatkin released this 06 Sep 19:10

· 8 commits to main since this release

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

Assets 2