v4.1

copilot

• Version bump (4.1). (#561)
• Update contribution guidelines. (#476)
• Update README with missing publications. (#544)
• Make the what4-propositional example's comments match results. (#535)
• Add example describing how to implement updateField. (#525)
• Standardize changelog format. (#550)
• Add installation instructions for Fedora 40 and up. (#542)

copilot-core

• Version bump (4.1). (#561)
• Add Haddocks for updateField. (#525)
• Standardize changelog format. (#550)
• Deprecate Copilot.Core.Type.UType.uTypeType. (#484)

copilot-c99

• Version bump (4.1). (#561)
• Standardize changelog format. (#550)

copilot-interpreter

• Version bump (4.1). (#561)

copilot-language

• Version bump (4.1). (#561)
• Reject duplicate externs in properties and theorems. (#536)
• Standardize changelog format. (#550)

copilot-libraries

• Version bump (4.1). (#561)
• Standardize changelog format. (#550)

copilot-prettyprinter

• Version bump (4.1). (#561)

copilot-theorem

• Version bump (4.1). (#561)
• Standardize changelog format. (#550)

Full Changelog: v4.0...v4.1

v4.0

copilot

• Version bump (4.0). (#532)
• Update example to demonstrate struct update support. (#524)
• Update example to demonstrate array update support. (#36)

copilot-core

• Version bump (4.0). (#532)
• Update Op3, Array to support array updates. (#36)

copilot-c99

• Version bump (4.0). (#532)
• Add support for array updates. (#36)

copilot-interpreter

• Version bump (4.0). (#532)
• Add support for array updates. (#36)

copilot-language

• Version bump (4.0). (#532)
• Add support for array updates. (#36)

copilot-libraries

• Version bump (4.0). (#532)
• Rename operator to avoid name clash. (#36)

copilot-prettyprinter

• Version bump (4.0). (#532)
• Add support for pretty-printing struct update expressions. (#526)
• Add support for pretty-printing array update expressions. (#36)

copilot-theorem

• Version bump (4.0). (#532)
• Add support for struct updates in Copilot.Theorem.What4. (#524)
• Add support for array updates in Copilot.Theorem.What4. (#36)

Full Changelog: v3.20...v4.0

v3.20

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

v3.19.1

copilot

• Version bump (3.19.1). (#512)

copilot-core

• Version bump (3.19.1). (#512)

copilot-c99

• Version bump (3.19.1). (#512)

copilot-interpreter

• Version bump (3.19.1). (#512)

copilot-language

• Version bump (3.19.1). (#512)

copilot-libraries

• Version bump (3.19.1). (#512)

copilot-prettyprinter

• Version bump (3.19.1). (#512)

copilot-theorem

• Version bump (3.19.1). (#512)
• Fix handling of unsatisfiable properties with Kind2. (#495)
• Remove outdated details from README. (#452)

Full Changelog: v3.19...v3.19.1

v3.19

copilot

• Version bump (3.19). (#504)

copilot-core

• Version bump (3.19). (#504)
• Remove deprecated functions in Copilot.Core.Type and Copilot.Core.Type.Array. (#500)
• Increase test coverage. (#502)

copilot-c99

• Version bump (3.19). (#504)

copilot-interpreter

• Version bump (3.19). (#504)

copilot-language

• Version bump (3.19). (#504)

copilot-libraries

• Version bump (3.19). (#504)

copilot-prettyprinter

• Version bump (3.19). (#504)

copilot-theorem

• Version bump (3.19). (#504)

Full Changelog: v3.18.1...v3.19

v3.18.1

copilot

• Version bump (3.18.1). (#493)
• Update README to reflect support for GHC 9.6. (#491)

copilot-core

• Version bump (3.18.1). (#493)

copilot-c99

• Version bump (3.18.1). (#493)

copilot-interpreter

• Version bump (3.18.1). (#493)

copilot-language

• Version bump (3.18.1). (#493)

copilot-libraries

• Version bump (3.18.1). (#493)

copilot-prettyprinter

• Version bump (3.18.1). (#493)

copilot-theorem

• Version bump (3.18.1). (#493)
• Adjust to work with GHC 9.6. (#491)

Full Changelog: v3.18...v3.18.1

Notes

This version was a hotfix release due to a bug identified during the post-release tests of https://github.com/Copilot-Language/copilot/releases/tag/v3.18. The complete list of changes, including the changes in v3.18, is listed below:

copilot

• Version bump (3.18.1). (#493)
• Enable tests for copilot-theorem in CI script. (#474)
• Enable tests for copilot-libraries in CI script. (#475)
• Replace uses of forall with forAll. (#470)
• Update CI job to check for MISRA compliance with cppcheck. (#472)
• Relax version constraint on optparse-applicative. (#488)
• Update README to reflect support for GHC 9.6. (#491)

copilot-core

• Version bump (3.18.1). (#493)

copilot-c99

• Version bump (3.18.1). (#493)
• Change return type of main generated for tests. (#468)
• Print constants in tests using portable suffixes. (#471).
• Pass output arrays as arguments to trigger argument functions. (#431)
• Compliance with MISRA C 2023 / MISRA C 2012. (#472)

copilot-interpreter

• Version bump (3.18.1). (#493)

copilot-language

• Version bump (3.18.1). (#493)
• Add type annotation to help type inference engine. (#469)
• Rename forall to forAll. (#470)

copilot-libraries

• Version bump (3.18.1). (#493)
• Introduce testing infrastructure for Copilot.Library. (#475)
• Replace uses of forall with forAll. (#470)

copilot-prettyprinter

• Version bump (3.18.1). (#493)

copilot-theorem

• Version bump (3.18.1). (#493)
• Introduce testing infrastructure for Copilot.Theorem.What4. (#474)
• Replace uses of forall with forAll. (#470)
• Adjust to work with GHC 9.6. (#491)

Full Changelog: v3.17...v3.18.1

v3.18

copilot

• Version bump (3.18). (#487)
• Enable tests for copilot-theorem in CI script. (#474)
• Enable tests for copilot-libraries in CI script. (#475)
• Replace uses of forall with forAll. (#470)
• Update CI job to check for MISRA compliance with cppcheck. (#472)
• Relax version constraint on optparse-applicative. (#488)

copilot-core

• Version bump (3.18). (#487)

copilot-c99

• Version bump (3.18). (#487)
• Change return type of main generated for tests. (#468)
• Print constants in tests using portable suffixes. (#471).
• Pass output arrays as arguments to trigger argument functions. (#431)
• Compliance with MISRA C 2023 / MISRA C 2012. (#472)

copilot-interpreter

• Version bump (3.18). (#487)

copilot-language

• Version bump (3.18). (#487)
• Add type annotation to help type inference engine. (#469)
• Rename forall to forAll. (#470)

copilot-libraries

• Version bump (3.18). (#487)
• Introduce testing infrastructure for Copilot.Library. (#475)
• Replace uses of forall with forAll. (#470)

copilot-prettyprinter

• Version bump (3.18). (#487)

copilot-theorem

• Version bump (3.18). (#487)
• Introduce testing infrastructure for Copilot.Theorem.What4. (#474)
• Replace uses of forall with forAll. (#470)

Full Changelog: v3.17...v3.18

v3.17

copilot

• Version bump (3.17). (#466)
• Replace uses of deprecated functions. (#457)
• Fix typo in README. (#459)

copilot-c99

• Version bump (3.17). (#466)
• Replace uses of deprecated functions. (#457)

copilot-core

• Version bump (3.17). (#466)
• Compliance with style guide. (#457)

copilot-interpreter

• Version bump (3.17). (#466)
• Replace uses of deprecated functions. (#457)

copilot-language

• Version bump (3.17). (#466)

copilot-libraries

• Version bump (3.17). (#466)

copilot-prettyprinter

• Version bump (3.17). (#466)
• Replace uses of deprecated functions. (#457)

copilot-theorem

• Version bump (3.17). (#466)
• Relax version constraint on what4. (#461)
• Replace uses of deprecated functions. (#457)

v3.16.1

copilot

• Version bump (3.16.1). (#455)

copilot-c99

• Version bump (3.16.1). (#455)
• Clean code. (#453)

copilot-core

• Version bump (3.16.1). (#455)

copilot-interpreter

• Version bump (3.16.1). (#455)

copilot-language

• Version bump (3.16.1). (#455)

copilot-libraries

• Version bump (3.16.1). (#455)
• Fix semantics of since in Copilot.Library.PTLTL. (#443)
• Prevent the majority function from generating unused local variables. (#408)

copilot-prettyprinter

• Version bump (3.16.1). (#455)

copilot-theorem

• Version bump (3.16.1). (#455)

New Contributors

• @InnovativeInventor made their first contribution in #450!!!!

Full Changelog: v3.16...v3.16.1

v3.16

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