add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) #602
andres-erbsenAnnotations
66 warnings
|
build (8.18-native)
Unused variable nlimbs might be a misspelled constructor. Use _ or
|
|
build (8.16-native)
Unused variable nlimbs catches more than one case.
|
|
build (8.19-native)
Unused variable nlimbs might be a misspelled constructor. Use _ or
|
|
build (8.8)
There is no option NativeCompute Timing.
|
|
build (8.8)
There is no option NativeCompute Timing.
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev-native)
"From Coq" has been replaced by "From Stdlib".
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.10)
There is no option NativeCompute Timing.
|
|
build (8.13)
Unused variable nlimbs catches more than one case.
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.13)
native_compute disabled at configure time; falling back to
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.13)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.13)
native_compute disabled at configure time; falling back to vm_compute.
|
|
build (8.15)
Unused variable nlimbs catches more than one case.
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.15)
native_compute disabled at configure time; falling back to
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.15)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.15)
native_compute disabled at configure time; falling back to vm_compute.
|
|
build (8.17-native)
Unused variable nlimbs might be a misspelled constructor. Use _ or
|
|
build (8.14)
Unused variable nlimbs catches more than one case.
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper
|
|
build (8.14)
native_compute disabled at configure time; falling back to
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.14)
grammar entry "ident" permitted "_" in addition to proper identifiers; this use is deprecated and its meaning will change in the future; use "name" instead.
|
|
build (8.14)
native_compute disabled at configure time; falling back to vm_compute.
|
|
build (8.9)
There is no option NativeCompute Timing.
|
|
build (8.9)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
|
build (8.11)
There is no option NativeCompute Timing.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
8.10
Expired
|
13.7 MB |
sha256:6b5f2c4b2b0f012e1a52072df8a4a6bcbb33baa544017097f3ef219854ac8559
|
|
|
8.11
Expired
|
16.7 MB |
sha256:a5ded8c0ab1bbd989f976e732083636e5146be227b8ae18ecbb08535ba221c85
|
|
|
8.12
Expired
|
17.2 MB |
sha256:65d23c9c91a7efd57154e86d37b474f2a0d1323208bba92eb96abf71c2d80302
|
|
|
8.13
Expired
|
16.6 MB |
sha256:6cf2e03dd54be7de4b8c48361142e111d2d4d540159381238cbb8c29319e7131
|
|
|
8.14
Expired
|
16.4 MB |
sha256:16e5ab008760882d2b2e9b877e241a75ae4a3f09a456a072e1653892f007aa17
|
|
|
8.15
Expired
|
16 MB |
sha256:45b142716c65ae2b706b6826b792275b5bbef8e254cdfebb8fb7014bb53b7a97
|
|
|
8.16-native
Expired
|
17.1 MB |
sha256:0ad9d21dbfd1722bd9d1dddcb56ecabc355283ee80c222c2c5c7ff69879fb2ff
|
|
|
8.17-native
Expired
|
16.8 MB |
sha256:f29417b76578529a14452903e4c86f796cbb5b6c9aff5fc93b9dee524a1ae56e
|
|
|
8.18-native
Expired
|
17.1 MB |
sha256:68387bb9f61d5d1f83e704e0b695f02f1a674967daa0f61a0362516d62b642ec
|
|
|
8.19-native
Expired
|
17.5 MB |
sha256:9551b1c40e36cfc42b638bde0821cb0d402997f130855c4aff3e69d0d456c49c
|
|
|
8.8
Expired
|
13.3 MB |
sha256:389bce7395f1995bb9df8e698229b1c00e334aae5caddab87d0c270c459f5cef
|
|
|
8.9
Expired
|
13.4 MB |
sha256:be3a09c424af92d8513f4561e6530189625da80ca11b0f2ebee2480c082588c8
|
|
|
dev-native
Expired
|
17.1 MB |
sha256:fe569d889ce5f54912ea28a984c0c3ce7920394f413c72a3ad41c78962ba3086
|
|