What's Changed
- CoAP server support in the library and example program by @mgrojo in #17
- Update macOS version in CI workflow by @mgrojo in #16
All source code in library and client and server programs have been formally verified up to the silver level.
Full Changelog: v0.9.0...v0.10.0
Contributors
mgrojo