Skip to content

Releases: Copilot-Language/copilot

v3.18

08 Jan 00:33
@ivanperez-keera ivanperez-keera
v3.18
a53f532
Compare
Choose a tag to compare
v3.18

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

Loading

v3.17

08 Nov 00:33
@ivanperez-keera ivanperez-keera
v3.17
cfc565b
Compare
Choose a tag to compare
v3.17

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)
Loading

v3.16.1

08 Sep 07:50
@ivanperez-keera ivanperez-keera
v3.16.1
4da64b3
Compare
Choose a tag to compare
v3.16.1

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: v3.16...v3.16.1

Contributors

InnovativeInventor
Loading

v3.16

08 Jul 02:50
@ivanperez-keera ivanperez-keera
v3.16
71fa7fa
Compare
Choose a tag to compare
v3.16

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: v3.15...v3.16

Loading

v3.15

08 May 07:26
@ivanperez-keera ivanperez-keera
v3.15
9e2b8ff
Compare
Choose a tag to compare
v3.15

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: v3.14...v3.15

Loading

v3.14

08 Mar 08:10
@ivanperez-keera ivanperez-keera
v3.14
34b4545
Compare
Choose a tag to compare
v3.14

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: v3.13...v3.14

Loading