v4.3

copilot

• Version bump (4.3). (#604)
• Include missing dependencies in installation instructions. (#591)
• Update version of GHC in README. (#590)
• Add example of how to use proveWithCounterExample. (#589)
• List all Copilot packages in installation command in README. (#597)

copilot-core

• Version bump (4.3). (#604)
• Fix typo in documentation. (#587)
• Add a Show instance for Type. (#589)
• Add a Prop type to capture how a property is quantified. (#254)

copilot-c99

• Version bump (4.3). (#604)

copilot-interpreter

• Version bump (4.3). (#604)

copilot-language

• Version bump (4.3). (#604)
• Fix typo in documentation. (#587)
• Record how a Property's underlying proposition is quantified. (#254)
• Remove deprecated function Copilot.Language.Operators.Array.(.!!).
  (#599)

copilot-libraries

• Version bump (4.3). (#604)
• Remove deprecated function Copilot.Library.Utils.(!!). (#599)

copilot-prettyprinter

• Version bump (4.3). (#604)
• Update pretty-printing to handle Props. (#254)

copilot-theorem

• Version bump (4.3). (#604)
• Fix multiple typos in README. (#560)
• Fix typo in documentation. (#587)
• Add function to produce counterexamples for invalid properties. (#589)
• Reject existentially quantified properties in What4 backend. (#254)

New Contributors

• @estherdconrad made their first contribution in #593

Full Changelog: v4.2...v4.3