Changelog of @hackage/copilot-theorem 4.3

2025-03-07 * 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)

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

2024-11-07 * Version bump (4.1). (#561) * Standardize changelog format. (#550)

2024-09-07 * 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)

2024-07-07 * Version bump (3.20). (#522) * What4 upper-bound dependency version bump. (#514)

2024-05-07 * Version bump (3.19.1). (#512) * Fix handling of unsatisfiable properties with Kind2. (#495) * Remove outdated details from README. (#452)

2024-03-07 * Version bump (3.19). (#504)

2024-01-07 * Version bump (3.18.1). (#493) * Adjust to work with GHC 9.6. (#491)

2024-01-07 * Version bump (3.18). (#487) * Introduce testing infrastructure for Copilot.Theorem.What4. (#474) * Replace uses of forall with forAll. (#470)

2023-11-07 * Version bump (3.17). (#466) * Relax version constraint on what4. (#461) * Replace uses of deprecated functions. (#457)

2023-09-07 * Version bump (3.16.1). (#455)

2023-07-07 * Version bump (3.16). (#448)

2023-05-07 * Version bump (3.15). (#438)

2023-03-07 * Version bump (3.14). (#422) * Adjust contraints on version of what4. (#423)

2023-01-07 * Version bump (3.13). (#406)

2022-11-07 * Version bump (3.12). (#389) * Add functionality for bisimulation proofs of Copilot specifications. (#363) * Use pretty-printer from copilot-prettyprinter. (#383) * Replace uses of Copilot.Core.Type.Equality with definitions from base:Data.Type.Equality. (#379)

2022-09-07 * Version bump (3.11). (#376)

2022-07-07 * Version bump (3.10). (#356) * Remove comment from cabal file. (#325) * Remove unnecessary dependencies from Cabal package. (#326) * Remove duplicated compiler option. (#328) * Relax version bounds of dependencies. (#335) * Include repo info in cabal file. (#333)

2022-05-06 * Version bump (3.9). (#320) * Compliance with style guide (partial). (#316)

2022-03-07 * Version bump (3.8). (#298) * Mark package as uncurated to avoid modification. (#288)

2022-01-07 * Version bump (3.7). (#287) * Relax version contraints on what4. (#277)

2021-11-07 * Version bump (3.6). (#264) * Fix outdated/broken links. (#252)

2021-08-19 * Version bump (3.5). (#247) * Update travis domain in README. (#222) * Remove unused type U2. (#91) * Update official maintainer. (#236, #245)

2021-07-07 * Version bump (3.4). (#231)

2021-05-07 * Version bump (3.3). (#217) * Adjust contraints on version of what4. (#90)

2021-03-07 * Version bump (3.2.1). (#92) * Completed the documentation. (#95, #93)

2020-12-06 * Version bump (3.2). (#65) * Update description, bug-reports and homepage field in cabal file. (#97)

2019-11-22 * Version bump (3.1). (#46) * Remove ExternFun. (#99)