Skip to content

v3.16
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 08 Jul 02:50
· 311 commits to master since this release
v3.16
71fa7fa

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

Assets 2
Loading