Skip to content

v3.18
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 08 Jan 00:33
· 182 commits to master since this release
v3.18
a53f532

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: v3.17...v3.18

Assets 2
Loading