Changelog of @hackage/copilot-libraries 3.19.1

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

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