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