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).
