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
Contributors
damaki