1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
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)
|
