v0.8.20
Pre-release
Pre-release
What's Changed
- Pin CBMC version to 5.81.0 by @karkhaz in #1022
- Fix race condition in promise.c by @evanmiller in #1023
- Remove unimplemented prototype from ring_buffer.h by @evanmiller in #1024
- Move CBMC back to latest by @tautschnig in #1026
- Fix warnings in public headers by @graebm in #998
New Contributors
- @evanmiller made their first contribution in #1023
Full Changelog: v0.8.19...v0.8.20
Contributors
evanmiller, tautschnig, and 2 other contributors