forked from damien-pous/relation-algebra
-
Notifications
You must be signed in to change notification settings - Fork 0
/
CHANGELOG
87 lines (51 loc) · 2.45 KB
/
CHANGELOG
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
== RelationAlgebra 1.7.10 (2024, October 20th) ==
- compatibility with Coq 8.18
== RelationAlgebra 1.7.9 (2023, March 17th) ==
- compatibility with Coq 8.17
== RelationAlgebra 1.7.8 (2022, September 8th) ==
- compatibility with Coq 8.16
- minor fixes, including w.r.t. licensing issues
== RelationAlgebra 1.7.7 (2022, March 22nd) ==
- compatibility with Coq 8.15
- model of setoid-preserving heterogeneous relations
== RelationAlgebra 1.7.6 (2021, November 11th) ==
- compatibility with Coq 8.14
- support for idempotency of \cup and \cap when using coq-aac-tactics
== RelationAlgebra 1.7.5 (2020, December 29th) ==
- compatibility with Coq 8.13
== RelationAlgebra 1.7.4 (2020, October 20th) ==
- compatibility with Coq 8.11 & 8.12
- optional dependency on coq-aac-tactics (module [rewriting_aac])
- a few compilation warnings removed
== RelationAlgebra 1.7.3 (2020, February 27th) ==
- compatibility with Coq 8.11
== RelationAlgebra 1.7.2 (2020, February 27th) ==
- compatibility with Coq 8.10
== RelationAlgebra 1.7.1 (2019, February 8th) ==
- compatibility with Coq 8.9
== RelationAlgebra 1.7 (2018, December 17th) ==
- compatibility with Coq 8.8.2 (intermediate versions for Coq 8.6 and 8.7 can be found on github)
- unicode notations (i.e., "x ≡ y", "x ≦ y", "x⋅y")
- support heterogeneous relations on large types (outside [Set])
- [fhrel]: heterogeneous relations between finite types
(available if coq-mathcomp-ssreflect is present [optional dependency])
== RelationAlgebra 1.6 (2016, May 10th) ==
- minor fix to make it compile with Coq 8.5pl1
== RelationAlgebra 1.5 (2016, March 4th) ==
- few additions to the [relalg] and [lattice] modules
== RelationAlgebra 1.4 (2016, February 9th) ==
- distribution through opam, for Coq 8.5.0
- new module [relalg] for standard relation algebra facts and definitions
== RelationAlgebra 1.3 (2015, July 27th) ==
- distribution through opam, for Coq 8.4pl6
- fixing some notation levels in [sups], [sums]
== RelationAlgebra 1.2 (2013, February 25th) ==
- make it compile with Coq 8.4pl4
== RelationAlgebra 1.1 (2013, February 15th) ==
- [paterson]: proof of equivalence of two flowchart schemes, due to Paterson
- [compiler_opts]: added the two missing compiler optimisations
- [imp]: nicer presentation, using a partially shallow embedding
- [move]: tools to easily move subterms inside a product
- [lset]: fixed a typo
== RelationAlgebra 1.0 (2012, December 16th) ==
First release of the library