copilot
- Version bump (4.4). (#618)
- Update build status badge URL. (#612)
copilot-core
- Version bump (4.4). (#618)
- Remove deprecated Copilot.Core.Type.uTypeType. (#615)
copilot-c99
- Version bump (4.4). (#618)
copilot-interpreter
- Version bump (4.4). (#618)
copilot-language
- Version bump (4.4). (#618)
copilot-libraries
- Version bump (4.4). (#618)
copilot-prettyprinter
- Version bump (4.4). (#618)
copilot-theorem
- Version bump (4.4). (#618)
- Translate quantifiers correctly in Kind2 backend. (#594)
Full Changelog: v4.3...v4.4
