issues
search
jasmin-lang
/
coqword
Yet Another Coq Library on Machine Words.
MIT License
9
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Change implementation of lsr
#32
vbgl
closed
3 months ago
0
Add lemma urepr_lsr
#31
vbgl
closed
3 months ago
0
Do not require all_ssreflect
#30
vbgl
closed
3 months ago
3
Do not require all_algebra
#29
vbgl
closed
5 months ago
1
Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
#28
rtetley
closed
4 months ago
7
Address warnings
#27
vbgl
closed
9 months ago
0
This library is compatible with mathcomp 1.18
#26
vbgl
closed
9 months ago
0
Please create a tag for Coq 8.18 in Coq Platform 2023.10
#25
rtetley
closed
5 months ago
6
Relax version constraints
#24
vbgl
closed
11 months ago
0
Build issue [reference not found error]
#23
Unlimitosu
closed
1 year ago
4
Port to MathComp 2
#22
proux01
closed
9 months ago
7
CI: fix docker image permission (following coq-docker README+Zulip)
#21
strub
closed
1 year ago
0
don't use mod in mkword
#20
bgregoir
closed
1 year ago
3
Maintenance
#19
vbgl
closed
1 year ago
2
Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
#18
MSoegtropIMC
closed
1 year ago
2
rename ssrZ.v to word_ssrZ.v to avoid conflict with coq-mathcomp-zify
#17
MSoegtropIMC
closed
1 year ago
2
Adapt to coq/coq#16920
#16
olaure01
closed
1 year ago
1
Please remove the copy of ssrZ (or rename it)
#15
MSoegtropIMC
opened
1 year ago
13
version: "dev" in opam file
#14
eponier
closed
1 year ago
2
CI: add MC 1.15
#13
strub
closed
2 years ago
0
Rename the logical path from CoqWord to mathcomp.word
#12
strub
closed
2 years ago
0
Consider changing to logpath based on mathcomp
#11
palmskog
closed
2 years ago
1
Test build with coq dev image
#10
maximedenes
closed
2 years ago
3
mathcomp 1.14: mark as compatible and enable CI
#9
vbgl
closed
2 years ago
0
Make it compatible with Coq 8.15
#8
vbgl
closed
2 years ago
0
Prepare for coq 8.14
#7
vbgl
closed
2 years ago
0
Fix definition of sub_word
#6
eponier
closed
3 years ago
5
wcat_r is injective
#5
vbgl
closed
4 years ago
0
CI is currently broken
#4
strub
closed
2 years ago
1
Fix for math-comp 1.9
#3
vbgl
closed
5 years ago
1
Coq 8.8.2 with coq-math-comp.dev
#2
ildyria
closed
5 years ago
2
Allow 8.8.1
#1
ildyria
closed
5 years ago
0