Releases: jasmin-lang/coqword
Releases · jasmin-lang/coqword
Release v3.2
v3.2
This tag was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
1abe5ad
This commit was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
This version is compatible with Coq versions 8.16 to 8.19 and math-comp versions 2.0 to 2.2.
Release v2.4
v2.4
This tag was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
bd9a02d
This commit was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
This version is compatible with Coq versions 8.12 to 8.19 and math-comp versions 1.12 to 1.19.
Release v3.1
v3.1
This tag was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
a7f2d08
This commit was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
This version is compatible with Coq versions 8.16 to 8.19 and math-comp versions 2.0 to 2.2.
Release v2.3
v2.3
This tag was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
48ca41b
This commit was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
This version is compatible with Coq versions 8.12 to 8.19 and math-comp versions 1.12 to 1.19.
Release v3.0
v3.0
This tag was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
960a955
This commit was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
This version is compatible with Coq versions 8.16 to 8.18 and math-comp versions 2.0 to 2.1.
Release v2.2
v2.2
This tag was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
537141a
This commit was signed with the committer’s verified signature.
The key has expired.
vbgl
Vincent Laporte
This version is compatible with Coq versions 8.12 to 8.18 and math-comp versions 1.12 to 1.18.
Release v2.1
rename ssrZ.v to word_ssrZ.v to avoid conflict with coq-mathcomp-zify
Release v2.0
Rename the logical path from CoqWord to mathcomp.word Fix #11
Release v1.1
Make the library compatible with Coq 8.15 & mathcomp 1.14.
Release v1.0
Tag version (1.0) in opam package