Skip to content

Releases: damaki/cobs

v1.1.0

13 Nov 11:46
Compare
Choose a tag to compare

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

31 Aug 10:15
265ca94
Compare
Choose a tag to compare

First release