Skip to content

Releases: Copilot-Language/copilot

v4.4

08 May 14:30
@ivanperez-keera ivanperez-keera
v4.4
1b03ab5
Compare
Choose a tag to compare
v4.4 Latest
Latest

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

Assets 2
Loading
0 Join discussion

v4.3

08 Mar 02:29
@ivanperez-keera ivanperez-keera
v4.3
e042933
Compare
Choose a tag to compare
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

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

Contributors

estherdconrad
Loading
0 Join discussion

v4.2

08 Jan 01:16
@ivanperez-keera ivanperez-keera
v4.2
71dd870
Compare
Choose a tag to compare
v4.2

copilot

  • Version bump (4.2). (#577)
  • Bump upper version constraint on filepath. (#570)
  • Update struct examples to use generic method implementations. (#564)

copilot-core

  • Version bump (4.2). (#577)
  • Deprecate fields of Copilot.Core.Expr.UExpr. (#565)
  • Increase test coverage. (#555)
  • Define generic implementations of Struct and Typed methods. (#564)

copilot-c99

  • Version bump (4.2). (#577)
  • Remove uses of Copilot.Core.Expr.UExpr.uExprType. (#565)
  • Allow using same trigger name in multiple declarations. (#296)
  • Bump upper version constraint on filepath. (#570)

copilot-interpreter

  • Version bump (4.2). (#577)

copilot-language

  • Version bump (4.2). (#577)
  • Bump upper version constraint on containers. (#570)

copilot-libraries

  • Version bump (4.2). (#577)
  • Bump upper version constraint on containers. (#570)

copilot-prettyprinter

  • Version bump (4.2). (#577)
  • Remove uses of Copilot.Core.Expr.UExpr.uExprExpr. (#565)

copilot-theorem

  • Version bump (4.2). (#577)
  • Remove uses of Copilot.Core.Expr.UExpr.uExprType,uExprExpr. (#565)
  • Bump upper constraint on containers, data-default. (#570)

Full Changelog: v4.1...v4.2

Loading
4 Join discussion

v4.1

08 Nov 10:29
@ivanperez-keera ivanperez-keera
v4.1
633c7b9
Compare
Choose a tag to compare
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

Loading
0 Join discussion

v4.0

08 Sep 06:38
@ivanperez-keera ivanperez-keera
v4.0
068c06d
Compare
Choose a tag to compare
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

Loading
1 Join discussion

v3.20

08 Jul 03:50
@ivanperez-keera ivanperez-keera
v3.20
6034e6d
Compare
Choose a tag to compare
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

Loading

v3.19.1

08 May 07:46
@ivanperez-keera ivanperez-keera
v3.19.1
9e4b1cb
Compare
Choose a tag to compare
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

Loading

v3.19

08 Mar 09:11
@ivanperez-keera ivanperez-keera
v3.19
f823901
Compare
Choose a tag to compare
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

Loading

v3.18.1

08 Jan 09:48
@ivanperez-keera ivanperez-keera
v3.18.1
835deaf
Compare
Choose a tag to compare
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

Loading

v3.18

08 Jan 00:33
@ivanperez-keera ivanperez-keera
v3.18
a53f532
Compare
Choose a tag to compare
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

Loading