Skip to content

v3.20
Compare
Choose a tag to compare
@ivanperez-keera ivanperez-keera released this 08 Jul 03:50
· 85 commits to master since this release
v3.20
6034e6d

copilot

  • Version bump (3.20). (#522)
  • Update README to reflect support for GHC 9.8. (#518)

copilot-core

  • Version bump (3.20). (#522)
  • Update Op2, Struct to support struct field updates. (#520)

copilot-c99

  • Version bump (3.20). (#522)
  • Add support for struct field updates. (#520)

copilot-interpreter

  • Version bump (3.20). (#522)
  • Add support for struct field updates. (#520)

copilot-language

  • Version bump (3.20). (#522)
  • Remove deprecated function Copilot.Language.Spec.forall. (#518)
  • Add support for struct field updates. (#520)

copilot-libraries

  • Version bump (3.20). (#522)

copilot-prettyprinter

  • Version bump (3.20). (#522)

copilot-theorem

  • Version bump (3.20). (#522)
  • What4 upper-bound dependency version bump. (#514)

Full Changelog: v3.19.1...v3.20

Assets 2
Loading