2025-11-07
        * Version bump (4.6). (#679)

2025-09-07
        * Version bump (4.5.1). (#666)

2025-07-07
        * Version bump (4.5). (#642)

2025-05-07
        * Version bump (4.4). (#618)

2025-03-07
        * Version bump (4.3). (#604)
        * Remove deprecated function Copilot.Library.Utils.(!!). (#599)

2025-01-07
        * Version bump (4.2). (#577)
        * Bump upper version constraint on containers. (#570)

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

2024-09-07
        * Version bump (4.0). (#532)
        * Rename operator to avoid name clash. (#36)

2024-07-07
        * Version bump (3.20). (#522)

2024-05-07
        * Version bump (3.19.1). (#512)

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

2024-01-07
        * Version bump (3.18.1). (#493)

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

2023-11-07
        * Version bump (3.17). (#466)

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

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

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

2023-03-07
        * Version bump (3.14). (#422)

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

2022-11-07
        * Version bump (3.12). (#389)

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

2022-07-07
        * Version bump (3.10). (#356)
        * Remove unnecessary dependencies from Cabal package. (#327)
        * Remove duplicated compiler option. (#328)
        * Relax version bounds of dependencies. (#335)
        * Update 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)

2021-11-07
        * Version bump (3.6). (#264)
        * Improve documentation of LTL module. (#131)
        * Fix outdated/broken links. (#252)

2021-08-19
        * Version bump (3.5). (#247)
        * Update travis domain in README. (#222)
        * Update official maintainer. (#236)
        * Update source repo location. (#241)
        * Add I. Perez to author list. (#243)

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

2021-05-07
        * Version bump (3.3). (#217)

2021-03-07
        * Version bump (3.2.1). (#126)
        * Completed the documentation. (#127)

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

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