v1.1.0

This is a minor release with some proof improvements, updates to the latest Alire project format, and improved testing.

What's Changed

• Regenerate projects with latest Alire by @damaki in #3
• Update GitHub CI workflow by @damaki in #4
• Setup GNATcov and improve test coverage by @damaki in #5
• Add code coverage badge by @damaki in #6
• Prove correctness of frame delimiter encoding. by @damaki in #7
• Enable checks-as-errors when running gnatprove by @damaki in #9

Full Changelog: v1.0.0...v1.1.0

v1.0.0

First release