Skip to content

v3.19

Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 08 Mar 09:11
· 126 commits to master since this release

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: v3.18.1...v3.19