Skip to content

Releases: validsdp/validsdp

Version 1.0.2

13 Dec 14:11
@proux01 proux01
v1.0.2
c858b4c
Compare
Choose a tag to compare
Version 1.0.2 Latest
Latest

Compiles with Coq 8.15→8.18 and MathComp 1.15→1.18
(see included README.md or .opam file for other dependencies).

Assets 4
Loading

Version 1.0.1

19 Sep 13:36
@erikmd erikmd
v1.0.1
15a2e20
Compare
Choose a tag to compare
Version 1.0.1

Compiles with Coq 8.14→8.16 and MathComp 1.13→1.15
(see included README.md or .opam file for other dependencies).

Assets 4
Loading

Version 1.0.0

24 Jan 14:39
@proux01 proux01
v1.0.0
dd5a5ca
Compare
Choose a tag to compare
Version 1.0.0

Compiles with Coq 8.12→8.15 and MathComp 1.12→1.14
(see included README.md or .opam file for other dependencies).

Assets 4
Loading

Version 0.7.0

26 Feb 18:20
@erikmd erikmd
v0.7.0
This tag was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
3b9b147
This commit was signed with the committer’s verified signature. The key has expired.
erikmd Erik Martin-Dorel
GPG key ID: 9ED87DA01733593F
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Version 0.7.0

Compiles with Coq 8.7→8.11 and MathComp 1.8→1.10
(see included README.md or .opam file for other dependencies).

Assets 4
Loading

Version 0.6.0

24 Nov 17:42
@proux01 proux01
v0.6.0
d67553c
Compare
Choose a tag to compare
Version 0.6.0

Compiles with Coq 8.7 to 8.10 and Mathcomp 1.8 and 1.9
(see included README.md or Opam file for other dependencies).

Assets 4
Loading

Version 0.5

09 Jan 11:44
@proux01 proux01
v0.5
2c4e87b
Compare
Choose a tag to compare
Version 0.5

Libvalidsdp

Assets 3
Loading