feature/gnat-15-continuous-server

Merge branch 'feature/upgrade-gnatprove' into feature/gnat-15

feature/gnat-15-continuous-client

Merge branch 'feature/upgrade-gnatprove' into feature/gnat-15

main-continuous-server

Update UML model with v0.10.0 developments (server)

v0.10.0

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

v0.9.0

What's Changed

The coap_client is functional and formally verified. It is using now Non-Confirmable messages, which is more in line to the fact of not having retransmissions.

Added unit test to increase coverage.

WolfSSL upgraded to v3.8.0.

Full Changelog: v0.1.0...v0.9.0

continuous

Release version 0.9.0 for the client

v0.1.0: first working and verified version with a client implementation

What's Changed

• Action: portable Makefile for tests by @mgrojo in #5
• Action: use gcov instead of gnatcoverage for integration to codecov.io by @mgrojo in #4
• Action: add proving with GNATprove by @mgrojo in #6
• Create workflow to build and upload AppImage by @mgrojo in #8

New Contributors

• @mgrojo made their first contribution in #2

Full Changelog: https://github.com/mgrojo/coap_spark/commits/v0.1.0