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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
|
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)
* Remove deprecated fields of Copilot.Core.Expr.UExpr. (#636)
2025-05-07
* Version bump (4.4). (#618)
* Remove deprecated Copilot.Core.Type.uTypeType. (#615)
2025-03-07
* Version bump (4.3). (#604)
* Fix typo in documentation. (#587)
* Add a Show instance for Type. (#589)
* Add a Prop type to capture how a property is quantified. (#254)
2025-01-07
* Version bump (4.2). (#577)
* Deprecate fields of Copilot.Core.Expr.UExpr. (#565)
* Increase test coverage. (#555)
* Define generic implementations of Struct and Typed methods. (#564)
2024-11-07
* Version bump (4.1). (#561)
* Add Haddocks for updateField. (#525)
* Standardize changelog format. (#550)
* Deprecate Copilot.Core.Type.UType.uTypeType. (#484)
2024-09-07
* Version bump (4.0). (#532)
* Update Op3, Array to support array updates. (#36)
2024-07-07
* Version bump (3.20). (#522)
* Update Op2, Struct to support struct field updates. (#520)
2024-05-07
* Version bump (3.19.1). (#512)
2024-03-07
* Version bump (3.19). (#504)
* Remove deprecated functions in Copilot.Core.Type and
Copilot.Core.Type.Array. (#500)
* Increase test coverage. (#502)
2024-01-07
* Version bump (3.18.1). (#493)
2024-01-07
* Version bump (3.18). (#487)
2023-11-07
* Version bump (3.17). (#466)
* Compliance with style guide. (#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)
* Remove Copilot.Core.Type.Equality. (#427)
* Remove Copilot.Core.PrettyPrint. (#426)
2023-03-07
* Version bump (3.14). (#422)
* Remove Copilot.Core.PrettyDot. (#409)
* Fix formatting error in CHANGELOG. (#414)
* Remove module space Copilot.Core.Interpret. (#410)
* Remove unused definitions from Copilot.Core.Type.Array. (#411)
2023-01-07
* Version bump (3.13). (#406)
* Implement missing cases of type equality for arrays and structs.
(#400)
* Remove Copilot.Core.External. (#391)
* Fix bug in definition of simpleType for Int8. (#393)
* Hide module Copilot.Core.Type.Show. (#392)
2022-11-07
* Version bump (3.12). (#389)
* Deprecate Copilot.Core.PrettyPrinter. (#383)
* Replace uses of Copilot.Core.Type.Equality with definitions from
base:Data.Type.Equality; deprecate Copilot.Core.Type.Equality. (#379)
* Compliance with style guide. (#332)
2022-09-07
* Version bump (3.11). (#376)
* Deprecate Copilot.Core.PrettyDot. (#359)
* Remove Copilot.Core.Type.Dynamic. (#360)
* Split copilot-interpreter into separate library. (#361)
* Deprecate unused classes, functions from Array module. (#369)
2022-07-07
* Version bump (3.10). (#356)
* Fix error in test case generation; enable CLI args in tests. (#337)
* Remove unnecessary dependencies from Cabal package. (#324)
* Deprecate Copilot.Core.External. (#322)
* Remove duplicated compiler option. (#328)
* Hide type Copilot.Core.Type.Show.ShowWit. (#348)
* Deprecate Copilot.Core.Type.Show. (#330)
* Update repo info in cabal file. (#333)
2022-05-06
* Version bump (3.9). (#320)
* Compliance with style guide (partial). (#316)
* Hide module Copilot.Core.Interpret.Render. (#303)
* Remove Copilot.Core.Type.Dynamic.fromDynF,toDynF. (#301)
* Hide module Copilot.Core.Error. (#300)
* Remove Copilot.Core.Type.Uninitialized. (#302)
* Remove Copilot.Core.Expr.Tag. (#304)
2022-03-07
* Version bump (3.8). (#298)
* Replaces uses of the internal Dynamic with base:Data.Dynamic. (#266)
* Mark package as uncurated to avoid modification. (#288)
2022-01-07
* Version bump (3.7). (#287)
* Make imports explicit, reorganize imports. (#277)
* Remove Copilot.Core.Type.Read. (#286)
* Remove Copilot.Core.Type.Eq. (#285)
* Remove Copilot.Core.Locals. (#284)
* Deprecate Copilot.Core.Type.Show.ShowWit. (#283)
* Remove Copilot.Core.Type.Show.showWit. (#282)
2021-11-07
* Version bump (3.6). (#264)
* Deprecate Copilot.Core.Type.Dynamic.toDynF and fromDynF. (#269)
* Deprecate copilot-core:Copilot.Core.Type.Uninitialized. (#270)
* Deprecate export of copilot-core:Copilot.Core.Interpret.Render. (#268)
* Replace uses of copilot-core's error reporting functions. (#267)
* Introduce new ops atan2, ceiling, floor. (#246)
* Add initial support for unit testing. (#256)
* Deprecate unused type. (#260)
* Remove deprecated module. (#250)
* Fix outdated/broken links. (#252)
2021-08-19
* Version bump (3.5). (#247)
* Update travis domain in README. (#222)
* Remove commented code. (#15)
* Update official maintainer. (#236)
* Update source repo location. (#241)
* Add I. Perez to author list. (#243)
2021-07-07
* Version bump (3.4). (#231)
* Deprecated `Copilot.Core.Locals`. (#141)
* Deprecated `Copilot.Core.Type.Read` module. (#144)
* Deprecated `showWit`. (#140)
* Deprecated `Copilot.Core.Type.Eq`. (#143)
* Remove unused module `Copilot.Core.StructMarshal`. (#139)
2021-05-07
* Version bump (3.3). (#217)
* Fix URL in bug-reports field in cabal file. (#215)
* Deprecate unused module Copilot.Core.MakeTags. (#142)
* Deprecate unused functions in Copilot.Core.PrettyDot. (#137)
2021-03-05
* Version bump (3.2.1). (#136)
* Completed the documentation. (#145)
2020-12-06
* Version bump (3.2). (#65)
* Fixed implementation of tysize for n-dimensional arrays. (#147)
* Removed sorting of interpreter output. (#148)
* Minor documentation fixes. (#149, #151)
* Credits: @fdedden.
2019-11-22
* Version bump (3.1). (#46)
* Eliminate random modules and generators. (#157)
* Updated contact information for 'impossible' error. (#154)
* Implement missing pretty printer for Index operator. (#155)
|
