Changelog of @hackage/copilot-theorem 4.0

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). * Update description, bug-reports and homepage field in cabal file (#97).

2019-11-22 Ivan Perez ivan.perez@nianet.org * Version bump (3.1). * Remove ExternFun (#99).