Copilot Language Copilot Versions Save

A stream-based runtime-verification framework for generating hard real-time C code.

v3.19.1

2 weeks ago

copilot

  • Version bump (3.19.1). (#512)

copilot-core

  • Version bump (3.19.1). (#512)

copilot-c99

  • Version bump (3.19.1). (#512)

copilot-interpreter

  • Version bump (3.19.1). (#512)

copilot-language

  • Version bump (3.19.1). (#512)

copilot-libraries

  • Version bump (3.19.1). (#512)

copilot-prettyprinter

  • Version bump (3.19.1). (#512)

copilot-theorem

  • Version bump (3.19.1). (#512)
  • Fix handling of unsatisfiable properties with Kind2. (#495)
  • Remove outdated details from README. (#452)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.19...v3.19.1

v3.19

2 months ago

copilot

  • Version bump (3.19). (#504)

copilot-core

  • Version bump (3.19). (#504)
  • Remove deprecated functions in Copilot.Core.Type and Copilot.Core.Type.Array. (#500)
  • Increase test coverage. (#502)

copilot-c99

  • Version bump (3.19). (#504)

copilot-interpreter

  • Version bump (3.19). (#504)

copilot-language

  • Version bump (3.19). (#504)

copilot-libraries

  • Version bump (3.19). (#504)

copilot-prettyprinter

  • Version bump (3.19). (#504)

copilot-theorem

  • Version bump (3.19). (#504)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.18.1...v3.19

v3.18.1

4 months ago

copilot

  • Version bump (3.18.1). (#493)
  • Update README to reflect support for GHC 9.6. (#491)

copilot-core

  • Version bump (3.18.1). (#493)

copilot-c99

  • Version bump (3.18.1). (#493)

copilot-interpreter

  • Version bump (3.18.1). (#493)

copilot-language

  • Version bump (3.18.1). (#493)

copilot-libraries

  • Version bump (3.18.1). (#493)

copilot-prettyprinter

  • Version bump (3.18.1). (#493)

copilot-theorem

  • Version bump (3.18.1). (#493)
  • Adjust to work with GHC 9.6. (#491)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.18...v3.18.1

Notes

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:

copilot

  • Version bump (3.18.1). (#493)
  • Enable tests for copilot-theorem in CI script. (#474)
  • Enable tests for copilot-libraries in CI script. (#475)
  • Replace uses of forall with forAll. (#470)
  • Update CI job to check for MISRA compliance with cppcheck. (#472)
  • Relax version constraint on optparse-applicative. (#488)
  • Update README to reflect support for GHC 9.6. (#491)

copilot-core

  • Version bump (3.18.1). (#493)

copilot-c99

  • Version bump (3.18.1). (#493)
  • Change return type of main generated for tests. (#468)
  • Print constants in tests using portable suffixes. (#471).
  • Pass output arrays as arguments to trigger argument functions. (#431)
  • Compliance with MISRA C 2023 / MISRA C 2012. (#472)

copilot-interpreter

  • Version bump (3.18.1). (#493)

copilot-language

  • Version bump (3.18.1). (#493)
  • Add type annotation to help type inference engine. (#469)
  • Rename forall to forAll. (#470)

copilot-libraries

  • Version bump (3.18.1). (#493)
  • Introduce testing infrastructure for Copilot.Library. (#475)
  • Replace uses of forall with forAll. (#470)

copilot-prettyprinter

  • Version bump (3.18.1). (#493)

copilot-theorem

  • Version bump (3.18.1). (#493)
  • Introduce testing infrastructure for Copilot.Theorem.What4. (#474)
  • Replace uses of forall with forAll. (#470)
  • Adjust to work with GHC 9.6. (#491)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.17...v3.18.1

v3.18

4 months ago

copilot

  • Version bump (3.18). (#487)
  • Enable tests for copilot-theorem in CI script. (#474)
  • Enable tests for copilot-libraries in CI script. (#475)
  • Replace uses of forall with forAll. (#470)
  • Update CI job to check for MISRA compliance with cppcheck. (#472)
  • Relax version constraint on optparse-applicative. (#488)

copilot-core

  • Version bump (3.18). (#487)

copilot-c99

  • Version bump (3.18). (#487)
  • Change return type of main generated for tests. (#468)
  • Print constants in tests using portable suffixes. (#471).
  • Pass output arrays as arguments to trigger argument functions. (#431)
  • Compliance with MISRA C 2023 / MISRA C 2012. (#472)

copilot-interpreter

  • Version bump (3.18). (#487)

copilot-language

  • Version bump (3.18). (#487)
  • Add type annotation to help type inference engine. (#469)
  • Rename forall to forAll. (#470)

copilot-libraries

  • Version bump (3.18). (#487)
  • Introduce testing infrastructure for Copilot.Library. (#475)
  • Replace uses of forall with forAll. (#470)

copilot-prettyprinter

  • Version bump (3.18). (#487)

copilot-theorem

  • Version bump (3.18). (#487)
  • Introduce testing infrastructure for Copilot.Theorem.What4. (#474)
  • Replace uses of forall with forAll. (#470)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.17...v3.18

v3.17

6 months ago

copilot

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)
  • Fix typo in README. (#459)

copilot-c99

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)

copilot-core

  • Version bump (3.17). (#466)
  • Compliance with style guide. (#457)

copilot-interpreter

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)

copilot-language

  • Version bump (3.17). (#466)

copilot-libraries

  • Version bump (3.17). (#466)

copilot-prettyprinter

  • Version bump (3.17). (#466)
  • Replace uses of deprecated functions. (#457)

copilot-theorem

  • Version bump (3.17). (#466)
  • Relax version constraint on what4. (#461)
  • Replace uses of deprecated functions. (#457)

v3.16.1

8 months ago

copilot

  • Version bump (3.16.1). (#455)

copilot-c99

  • Version bump (3.16.1). (#455)
  • Clean code. (#453)

copilot-core

  • Version bump (3.16.1). (#455)

copilot-interpreter

  • Version bump (3.16.1). (#455)

copilot-language

  • Version bump (3.16.1). (#455)

copilot-libraries

  • Version bump (3.16.1). (#455)
  • Fix semantics of since in Copilot.Library.PTLTL. (#443)
  • Prevent the majority function from generating unused local variables. (#408)

copilot-prettyprinter

  • Version bump (3.16.1). (#455)

copilot-theorem

  • Version bump (3.16.1). (#455)

New Contributors

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.16...v3.16.1

v3.16

10 months ago

copilot

  • Version bump (3.16). (#448)

copilot-c99

  • Version bump (3.16). (#448)
  • Introduce testing infrastructure. (#413)

copilot-core

  • Version bump (3.16). (#448)

copilot-interpreter

  • Version bump (3.16). (#448)

copilot-language

  • Version bump (3.16). (#448)
  • Move Copilot.Language.Stream.Arg to Copilot.Language.Spec. (#446)

copilot-libraries

  • Version bump (3.16). (#448)

copilot-prettyprinter

  • Version bump (3.16). (#448)

copilot-theorem

  • Version bump (3.16). (#448)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.15...v3.16

v3.15

1 year ago

copilot

  • Version bump (3.15). (#438)

copilot-c99

  • Version bump (3.15). (#438)

copilot-core

  • Version bump (3.15). (#438)
  • Remove Copilot.Core.Type.Equality. (#427)
  • Remove Copilot.Core.PrettyPrint. (#426)

copilot-interpreter

  • Version bump (3.15). (#438)

copilot-language

  • Version bump (3.15). (#438)
  • Remove outdated comment about pretty-printer. (#428)

copilot-libraries

  • Version bump (3.15). (#438)

copilot-prettyprinter

  • Version bump (3.15). (#438)

copilot-theorem

  • Version bump (3.15). (#438)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.14...v3.15

v3.14

1 year ago

copilot

  • Version bump (3.14). (#422)
  • Replace import of Copilot.Language.prettyPrint. (#412)
  • Re-structure README. (#415)
  • Update README to reflect support for GHC 9.4. (#423)

copilot-c99

  • Version bump (3.14). (#422)

copilot-core

  • Version bump (3.14). (#422)
  • Remove Copilot.Core.PrettyDot. (#409)
  • Fix formatting error in CHANGELOG. (#414)
  • Remove module space Copilot.Core.Interpret. (#410)
  • Remove unused definitions from Copilot.Core.Type.Array. (#411)

copilot-interpreter

  • Version bump (3.14). (#422)

copilot-language

  • Version bump (3.14). (#422)
  • Remove function Copilot.Language.prettyPrint. (#412)
  • Adjust to work with GHC 9.4. (#423)

copilot-libraries

  • Version bump (3.14). (#422)

copilot-prettyprinter

  • Version bump (3.14). (#422)

copilot-theorem

  • Version bump (3.14). (#422)
  • Adjust contraints on version of what4. (#423)

Full Changelog: https://github.com/Copilot-Language/copilot/compare/v3.13...v3.14