Skip to content

Releases: Copilot-Language/copilot

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

Assets 2
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

Assets 2
Loading