A stream-based runtime-verification framework for generating hard real-time C code.
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.19...v3.19.1
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.18.1...v3.19
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.18...v3.18.1
This version was a hotfix release due to a bug identified during the post-release tests of https://github.com/Copilot-Language/copilot/releases/tag/v3.18. The complete list of changes, including the changes in v3.18, is listed below:
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.17...v3.18.1
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.17...v3.18
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.16...v3.16.1
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.15...v3.16
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.14...v3.15
Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.13...v3.14